org.checkerframework.dataflow.qual

Annotations

  1. Deterministic
  2. Impure
  3. Pure
  4. Side­Effect­Free
  5. Terminates­Execution