Skip to content

Commit edb6e7a

Browse files
mernstmernst
authored
Print error key in brackets (#7525)
1 parent a79b1de commit edb6e7a

1,314 files changed

Lines changed: 7097 additions & 7091 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎checker-qual/src/main/java/org/checkerframework/checker/index/qual/EnsuresLTLengthOf.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@
3636
*
3737
* <pre>{@code
3838
* public void useShiftIndex(@NonNegative int x) {
39-
* // :: error: (argument)
39+
* // :: error: [argument]
4040
* Arrays.fill(array, end, end + x, null);
4141
* shiftIndex(x);
4242
* Arrays.fill(array, end, end + x, null);

‎checker-qual/src/main/java/org/checkerframework/checker/units/qual/PolyUnit.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@
2929
* {@literal @}s int sec1 = 7 * UnitsTools.s;
3030
* {@literal @}s int sec2 = triplePolyUnit(sec1);
3131
*
32-
* // :: error: (assignment)
32+
* // :: error: [assignment]
3333
* {@literal @}s int sec3 = triplePolyUnit(m1);
3434
* }
3535
* </code></pre>

‎checker/build.gradle‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -465,7 +465,7 @@ tasks.register("ainferTestCheckerGenerateAjava", Test) {
465465
doLast {
466466
copyNonannotatedToAnnotatedDirectory("ainfer-testchecker")
467467

468-
// AinferTestCheckerAjavaValidationTest fails with "warning: (purity.methodref)", whenever
468+
// AinferTestCheckerAjavaValidationTest fails with "warning: [purity.methodref]", whenever
469469
// there is a user-defined generic interface, and a variable of that type is assigned a
470470
// method reference.
471471
delete("tests/ainfer-testchecker/annotated/all-systems/java8/memberref/Issue946.java")

‎checker/jtreg/multiplecheckers/NullnessInterning1.out‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
NullnessInterning.java:19:14: compiler.warn.proc.messager: (assignment)
2-
NullnessInterning.java:22:9: compiler.warn.proc.messager: (not.interned)
3-
NullnessInterning.java:22:14: compiler.warn.proc.messager: (not.interned)
1+
NullnessInterning.java:19:14: compiler.warn.proc.messager: [assignment]
2+
NullnessInterning.java:22:9: compiler.warn.proc.messager: [not.interned]
3+
NullnessInterning.java:22:14: compiler.warn.proc.messager: [not.interned]
44
3 warnings

‎checker/jtreg/multiplecheckers/NullnessInterning2.out‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
NullnessInterning.java:22:9: compiler.warn.proc.messager: (not.interned)
2-
NullnessInterning.java:22:14: compiler.warn.proc.messager: (not.interned)
1+
NullnessInterning.java:22:9: compiler.warn.proc.messager: [not.interned]
2+
NullnessInterning.java:22:14: compiler.warn.proc.messager: [not.interned]
33
2 warnings

‎checker/jtreg/multiplecheckers/NullnessInterning3.out‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
NullnessInterning.java:19:14: compiler.warn.proc.messager: (assignment)
1+
NullnessInterning.java:19:14: compiler.warn.proc.messager: [assignment]
22
1 warning

‎checker/jtreg/nullness/issue1582/Foo.out‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
Foo.java:15:18: compiler.err.proc.messager: (flowexpr.parse.error)
1+
Foo.java:15:18: compiler.err.proc.messager: [flowexpr.parse.error]
22
1 error

‎checker/jtreg/nullness/issue1582/JavaExpressionParseError.out‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
JavaExpressionParseError.java:8:25: compiler.err.proc.messager: (flowexpr.parse.error.postcondition)
1+
JavaExpressionParseError.java:8:25: compiler.err.proc.messager: [flowexpr.parse.error.postcondition]
22
1 error

‎checker/jtreg/nullness/issue1929/Issue1929.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ String[] fails2(Collection<String> c) {
2525

2626
String[] fails3(Collection<String> c) {
2727
// We don't determine field types from initialization expressions.
28-
// :: error: (return)
28+
// :: error: [return]
2929
return c.toArray(EMPTY_STRING_ARRAY_3);
3030
}
3131
}

‎checker/jtreg/nullness/issue1958/NPE2Test.out‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
NPE2Test.java:3:39: compiler.err.proc.messager: (assignment)
2-
NPE2Test.java:8:42: compiler.err.proc.messager: (assignment)
3-
NPE2Test.java:13:42: compiler.err.proc.messager: (assignment)
4-
NPE2Test.java:16:40: compiler.err.proc.messager: (assignment)
1+
NPE2Test.java:3:39: compiler.err.proc.messager: [assignment]
2+
NPE2Test.java:8:42: compiler.err.proc.messager: [assignment]
3+
NPE2Test.java:13:42: compiler.err.proc.messager: [assignment]
4+
NPE2Test.java:16:40: compiler.err.proc.messager: [assignment]
55
4 errors

0 commit comments

Comments
 (0)