You cannot post messages because only members can post, and you are not currently a member.
|
Annotation File Utilities version 3.0 has been released
|
| |
We have released version 3.0 of the Annotation File Utilities. The Annotation File Utilities homepage, which includes installation instructions, is [link] . The Annotation File Utilities let you read annotations from, and write annotations to, 3 types of files: .java files, .class files, and... more »
|
|
|
Release 1.0.4 of the Checker Framework and Type Annotations compiler
|
| |
We have released a new version of the Type Annotations (JSR 308) compiler and of the Checker Framework. The Type Annotations compiler supports the Java 7 annotation syntax. The Checker Framework lets you create and/or run pluggable type-checkers, in order to detect and prevent bugs in your code.... more »
|
|
|
Release 1.0.3 of the Checker Framework and Type Annotations compiler
|
| |
We have released a new version of the Type Annotations (JSR 308) compiler
and of the Checker Framework. The Type Annotations compiler supports the
Java 7 annotation syntax. The Checker Framework lets you create and/or run
pluggable type-checkers, in order to detect and prevent bugs in your code.... more »
|
|
|
Classfile representation for an annotation that applies to declarations and types
|
| |
Background: It is bad style for an annotation to apply to both
declarations and types. We have never encountered a reason to do this.
But, such annotations are possible: if the @Target meta-annotation is
missing, or if it perversely specifies both declaration and type targets.
This note is about the classfile representation for such annotations.... more »
|
|
|
Type annotations on static member access.
|
| |
Hello,
Section "B.1 Examples of annotation syntax" of the Type
annotations specification indicates
that type annotations could be applied to static member access as in
@NonNull Type.field
Such a construct though is rejected by javac (7b75).
Also, as far as I can tell, the "detailed grammar changes"... more »
|
|
|
JSR 308 and @SuppressWarnings
|
| |
I was wondering if it is technically possible to add @Target.TYPE_USE
to @SuppressWarnings so that it's no longer necessary to declare a
variable to suppress an unchecked warning?
Given a method like this:
static void doSomething(Collection<? extends Something> coll);
I would like to do this:... more »
|
|
|
Checking annotations in enum types
|
| |
Hi all,
we have a problem when checking annotated enum types.
E.g. for enum where each keyword is annotated as well:
public @SCJAllowed enum Level {
@SCJAllowed
LEVEL_0 {
@Override
public int value() {
return 0;
}
},
...
...
When the checker calls our visitClass method, we receive a node that... more »
|
|
|
Checking More .java at once
|
| |
Hi all,
We have a problem when checking more .java files at once.
When executing:
javac -processor checkers.nullness.NullnessChec ker *.java
- where GetStarted.java and GetStarted2.java (the classes from the
tutorial containing each 1 error) are present in the directory.
We receive only 1 error message = the checker stops after finding an... more »
|
|
|
|
Discussions about Java's type annotation syntax.