adamw / jsr308-typestate-checker
watch download tarball
public
Forks0Right
Watchers1Right
Description: JSR308 Typestate Checker
Homepage: http://www.warski.org/typestate.html
Clone URL: git://github.com/adamw/jsr308-typestate-checker.git
100755 16 lines (11 sloc) 0.59 kb
raw blame history 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#!/bin/bash
export PATH=/Users/adamw/jsr308/soylatte16-i386-1.0.3/bin:$PATH
export CLASSPATH=/Users/adamw/jsr308/checkers/checkers.jar:/Users/adamw/jsr308/jsr308-typestate-checker/build
 
#CHECKER=checkers.nullness.NullnessChecker
#CHECKER=checkers.javari.JavariChecker
CHECKER=checkers.typestate.TypestateChecker
 
SOURCES=tests/work/work/Test6.java
#SOURCES=src/checkers/typestate/Any.java
#SOURCES=tests/typestate/SimpleReceiverTransitionState.java
 
SOURCEPATH=src:../checkers/jdk/nullness/src
 
javac -processor $CHECKER -proc:only -sourcepath $SOURCEPATH -cp $CLASSPATH -d build $SOURCES