Checker Qual 3.38.0 · org.checkerframework.dataflow.qual

Annotation Summary

Modifier and Type	Annotation and Description
public @interface	Deterministic A method is called deterministic if it returns the same value (according to `==`) every time it is called with the same parameters and in the same environment.
public @interface	Impure `Impure` is a method annotation that means the method might have side effects and/or might be nondeterministic.
public @interface	Pure `Pure` is a method annotation that means both `SideEffectFree` and `Deterministic`.
public @interface	SideEffectFree A method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed before the method was called.
public @interface	TerminatesExecution `TerminatesExecution` is a method annotation that indicates that a method terminates the execution of the program.