build.properties build.xml debug.sh src/checkers/flow/MainFlow.java src/checkers/types/TypestateTypeFromExpression.java src/checkers/typestate/AnnotationAsAnnotationValueVisitor.java src/checkers/typestate/Any.java src/checkers/typestate/NoChange.java src/checkers/typestate/State.java src/checkers/typestate/StateAnnotationsDetector.java src/checkers/typestate/TypestateAnnotatedTypeFactory.java src/checkers/typestate/TypestateChecker.java src/checkers/typestate/TypestateFlow.java src/checkers/typestate/TypestateUtil.java src/checkers/typestate/messages.properties test.sh tests/src/checkers/typestate/test/TypestateTest.java tests/typestate/AnyInMethodReceiverState.java tests/typestate/AnyInMethodReceiverState.out tests/typestate/AnyInParameterState.java tests/typestate/AnyInParameterState.out tests/typestate/ConstructorState.java tests/typestate/ConstructorState.out tests/typestate/DoubleReceiverTransitionState.java tests/typestate/DoubleReceiverTransitionState.out tests/typestate/DoubleVariableTransitionState.java tests/typestate/DoubleVariableTransitionState.out tests/typestate/MethodReturnParameterState.java tests/typestate/MethodReturnParameterState.out tests/typestate/MethodReturnReceiverState.java tests/typestate/MethodReturnReceiverState.out tests/typestate/SimpleReceiverTransitionState.java tests/typestate/SimpleReceiverTransitionState.out tests/typestate/SimpleVariableTransitionState.java tests/typestate/SimpleVariableTransitionState.out tests/typestate/VariableParameterState.java tests/typestate/VariableParameterState.out tests/typestate/VariableReceiverState.java tests/typestate/VariableReceiverState.out tests/work/work/Test1.java Adam Warski adam@warski.org http://github.com/adamw/jsr308-typestate-checker/commit/bbf5f6a54514fd1e74a59f33dc0112abf42b0901 bbf5f6a54514fd1e74a59f33dc0112abf42b0901 2009-03-05T09:47:48-08:00 2009-03-05T09:47:48-08:00 Initial import d88c09ec5c1e83e26a56d0f9dcc0ef1c7890dfc8 Adam Warski adam@warski.org