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

#!/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
export DEBUGOPTS="-J-Xms48m -J-Xdebug -J-Xrunjdwp:transport=dt_socket,server=y,suspend=y,address=5005"
 
#CHECKER=checkers.nullness.NullnessChecker
#CHECKER=checkers.javari.JavariChecker
CHECKER=checkers.typestate.TypestateChecker
 
SOURCES=tests/work/work/Test6.java
#SOURCES=src/checkers/typestate/Any.java
 
javac $DEBUGOPTS -processor $CHECKER -sourcepath src -cp $CLASSPATH -d build $SOURCES