Package org.checkerframework.dataflow.qual

package org.checkerframework.dataflow.qual

Annotation Interfaces

Class	Description
AssertMethod	AssertMethod is a method annotation that indicates that a method throws an exception if the value of a boolean argument is false.
Deterministic	A method is called deterministic if it returns the same value (according to ==) every time it is called with the same arguments and in the same environment.
Impure	Impure is a method annotation that means the method might have side effects and/or might be nondeterministic.
Pure	Pure is a method annotation that means both SideEffectFree and Deterministic.
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.
SideEffectsOnly	A method annotated with the declaration annotation @SideEffectsOnly({"A", "B"}) changes the value of at most the expressions A and B.
TerminatesExecution	TerminatesExecution is a method annotation that indicates that a method terminates the execution of the program.