org.checkerframework.dataflow.qual

Enums

• Pure.Kind

Annotation Types

• Deterministic
• Pure
• SideEffectFree
• TerminatesExecution