I was looking at the bytecode of the .jar file of the custom annotated jdk-8 in the central maven repository supplied by the Checker Framework.
There I noticed some invalid Java Code in Object.class
and Class.class
files. When I loaded the jar in Eclipse it was an annotation with the following syntax:
@jdk.Profile+Annotation(value=(int) 1)
public class java.lang.Object {
Now, as far as my knowledge goes, this annotation name is invalid Java. But, I'm assuming it might mean something to the compiler (similar to the names that the compiler assigns to anonymous classes). I'm not sure what and I couldn't find anything about it on searching online either. Hence, the query.
Any help is appreciated.