example/example.sh example/jdk/java/io/InputStream.java example/jdk/java/util/Collection.java example/jdk/java/util/Iterator.java example/jdk/java/util/List.java example/jdk/java/util/Set.java example/src/checkers/typestate/iteratorexample/Example4.java example/states/checkers/typestate/ioexample/InputStreamStates.java example/states/checkers/typestate/iteratorexample/IteratorStates.java @@ -3,7 +3,7 @@ package checkers.typestate.iteratorexample; import java.util.*; /** - * Reading from stream with a recovery function. + * No errors - proper use of iterators. * @author Adam Warski (adam at warski dot org) */ public class Example3 { example/src/checkers/typestate/iteratorexample/Example3.java example/jdk/src/java/io/InputStream.java example/jdk/src/java/util/Collection.java example/jdk/src/java/util/Iterator.java example/jdk/src/java/util/List.java example/jdk/src/java/util/Set.java example/src/checkers/typestate/ioexample/InputStreamStates.java example/src/checkers/typestate/iteratorexample/IteratorStates.java 8b821d99a3ca84899994afeacfdefafba746a3ce Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/559ad758b4ce0558fba0b19c2d7acf67357d17f2 559ad758b4ce0558fba0b19c2d7acf67357d17f2 2009-09-23T09:22:05-07:00 2009-09-23T09:22:05-07:00 Nicer examples f03d6a6f67ef5edabca42f817d3a67f94f80ca7f Adam Warski adam@warski.org