example/jdk/src/java/util/Iterator.java example/src/checkers/typestate/iteratorexample/Example3.java example/src/checkers/typestate/iteratorexample/IteratorStates.java @@ -4,7 +4,8 @@ export CLASSPATH=/Users/adamw/jsr308/checkers/checkers.jar:/Users/adamw/jsr308/j CHECKER=checkers.typestate.TypestateChecker -SOURCES=example/src/checkers/typestate/ioexample/Example2.java +#SOURCES=example/src/checkers/typestate/ioexample/Example2.java +SOURCES=example/src/checkers/typestate/iteratorexample/Example3.java SOURCEPATH=example/jdk/src:example/src example.sh 818810d1c4023e690fae1bc6d9a349e7e9101aa4 Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/b6a0c015e9dd43b81c98b1b7a1846e19bf745107 b6a0c015e9dd43b81c98b1b7a1846e19bf745107 2009-09-22T12:32:57-07:00 2009-09-22T12:32:57-07:00 Iterator example 7fc0fb1fdf9119f23a060348cdb9b27bd90dd919 Adam Warski adam@warski.org