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 (9 lines) | stat: -rw-r--r-- 469 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
This directory shows how to create:
 * a qualifier which denotes that the representation of an object (such as a String, CharSequence, or byte[]) is encrypted, @Encrypted
 * a qualifier which denotes that the representation of an object may be unencrypted, @PossiblyUnencrypted

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

You can model your own new units and unit checkers after it.

To see the demo, run: make demo