org.checkerframework.dataflow.qual

Enums

• Pure.Kind

Annotation Types

• Deterministic
• LockingFree
• Pure
• SideEffectFree
• TerminatesExecution