Annotations

1. Array­Len
2. Array­Len­Range
3. Bool­Val
4. Bottom­Val
5. Does­Not­Match­Regex
6. Double­Val
7. Ensures­Min­Len­If
8. Enum­Val
9. Int­Range
10. Int­Range­From­GTE­Negative­One
11. Int­Range­From­Non­Negative
12. Int­Range­From­Positive
13. Int­Val
14. Matches­Regex
15. Min­Len
16. Min­Len­Field­Invariant
17. Poly­Value
18. Statically­Executable
19. String­Val
20. Unknown­Val