@TypeQualifier @InvisibleQualifier @SubtypeOf(value={ArrayLen.class,BoolVal.class,CharVal.class,DoubleVal.class,IntVal.class,StringVal.class}) @Target(value={}) public @interface BottomVal
This annotation may not be written in source code; it is an implementation detail of the checker.