Annotation Interface CalledMethodsBottom


The bottom type for the Called Methods type system.

It should rarely be written by a programmer.

See the Checker Framework Manual:
Called Methods Checker