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 13 lines (8 sloc) 0.5 kb
raw blame history 
1
2
3
4
5
6
7
8
9
10
11
12
13

#!/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.typestate.TypestateChecker
 
#SOURCES=example/src/checkers/typestate/ioexample/Example2.java
SOURCES=example/src/checkers/typestate/iteratorexample/Example3.java
 
SOURCEPATH=example/jdk/src:example/src
 
javac -processor $CHECKER -proc:only -sourcepath $SOURCEPATH -cp $CLASSPATH -d build $SOURCES