File: README

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (8 lines) | stat: -rw-r--r-- 280 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
 
This directory shows how to create:
 * a specialized fenum annotation, @MyFenum

The make file shows how to invoke the Fenum Checker to utilize the specialized annotation.

You can model your own new fenum annotations and fenum checkers after it.

To see the demo, run: make demo