├── COPYING ├── README.md ├── cofoja.pom ├── default.properties ├── ivy.xml ├── script ├── cofojab.sh └── cofojac.sh ├── src ├── META-INF │ ├── MANIFEST.MF │ └── services │ │ └── javax.annotation.processing.Processor └── com │ └── google │ └── java │ └── contract │ ├── AllowUnusedImport.java │ ├── ContractAssertionError.java │ ├── ContractEnvironment.java │ ├── ContractEnvironmentConfigurator.java │ ├── ContractImport.java │ ├── Ensures.java │ ├── Invariant.java │ ├── InvariantError.java │ ├── PostconditionError.java │ ├── PreconditionError.java │ ├── Requires.java │ ├── SpecificationError.java │ ├── ThrowEnsures.java │ ├── core │ ├── agent │ │ ├── ActivationRuleManager.java │ │ ├── AgentContractEnvironment.java │ │ ├── ClassContractHandle.java │ │ ├── ContractAnalyzer.java │ │ ├── ContractClassFileTransformer.java │ │ ├── ContractFixingClassAdapter.java │ │ ├── ContractHandle.java │ │ ├── ContractMethodSignature.java │ │ ├── ContractMethodSignatures.java │ │ ├── HelperClassAdapter.java │ │ ├── LineNumberingClassAdapter.java │ │ ├── LineNumberingMethodAdapter.java │ │ ├── MethodContractHandle.java │ │ ├── PreMain.java │ │ ├── SpecificationClassAdapter.java │ │ └── SpecificationMethodAdapter.java │ ├── apt │ │ ├── AbstractTypeBuilder.java │ │ ├── AnnotationProcessor.java │ │ ├── AnnotationSourceInfo.java │ │ ├── ClassContractCreator.java │ │ ├── ContractCreation.java │ │ ├── ContractCreationTrait.java │ │ ├── ContractExpressionCreationTrait.java │ │ ├── ContractExpressionTransformer.java │ │ ├── ContractFinder.java │ │ ├── ContractJavaCompiler.java │ │ ├── ContractJavaFileManager.java │ │ ├── ContractWriter.java │ │ ├── DiagnosticManager.java │ │ ├── FactoryUtils.java │ │ ├── JavacUtils.java │ │ ├── MethodContractCreator.java │ │ ├── SimpleContractCreationTrait.java │ │ ├── SourceDependencyParser.java │ │ ├── SourcePreprocessor.java │ │ ├── SuperCallBuilder.java │ │ ├── TypeBuilder.java │ │ └── TypeFactory.java │ ├── model │ │ ├── ClassName.java │ │ ├── ContractAnnotationModel.java │ │ ├── ContractKind.java │ │ ├── ContractMethodModel.java │ │ ├── ContractVariance.java │ │ ├── ElementKind.java │ │ ├── ElementModel.java │ │ ├── ElementModifier.java │ │ ├── ElementVisitor.java │ │ ├── GenericElementModel.java │ │ ├── HelperTypeModel.java │ │ ├── MethodModel.java │ │ ├── QualifiedElementModel.java │ │ ├── TypeModel.java │ │ ├── TypeName.java │ │ └── VariableModel.java │ ├── runtime │ │ ├── BlacklistManager.java │ │ ├── ContractContext.java │ │ ├── ContractRuntime.java │ │ └── RuntimeContractEnvironment.java │ └── util │ │ ├── BalancedTokenizer.java │ │ ├── DebugUtils.java │ │ ├── ElementScanner.java │ │ ├── Elements.java │ │ ├── EmptyElementVisitor.java │ │ ├── JavaTokenizer.java │ │ ├── JavaUtils.java │ │ ├── LineNumberingTokenizer.java │ │ ├── PatternMap.java │ │ ├── PushbackTokenizer.java │ │ └── SyntheticJavaFile.java │ └── util │ ├── Iterables.java │ ├── Objects.java │ ├── Predicate.java │ └── Predicates.java └── test └── com └── google └── java └── contract ├── examples ├── ArrayListStack.java └── Stack.java └── tests ├── Cofoja.java ├── ConstantContracts.java ├── ConstantContractsTest.java ├── ConstructorTest.java ├── ContractedAnnotationTest.java ├── ContractedClass.java ├── EmptyContracts.java ├── EnclosedExtendsEnclosing.java ├── EnclosedExtendsEnclosingNoContracts.java ├── EnclosedExtendsEnclosingTest.java ├── EnumTest.java ├── ExceptionInPredicateTest.java ├── FinalFieldsTest.java ├── GenericsTest.java ├── InheritanceTest.java ├── InnerAnnotationTest.java ├── Java8StreamTest.java ├── MemberContractsTest.java ├── NestedClassTest.java ├── PatternMapTest.java ├── PublicCallTest.java ├── ReturnTypeTest.java ├── SelectiveContractsTest.java ├── SeparateGenericSuperclass.java ├── SeparateGenericSuperclassTest.java ├── SeparateInterface.java ├── SeparateInterfaceTest.java ├── SeparateInvariantSuperclass.java ├── SeparateInvariantSuperclassTest.java ├── SeparateMethodContractSuperclass.java ├── SeparateMethodContractSuperclassTest.java ├── SimpleMathTest.java ├── StackTest.java ├── VariadicTest.java └── selective ├── a ├── A.java └── x │ ├── X.java │ └── X1.java └── b ├── B.java └── y └── Y.java /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/COPYING -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/README.md -------------------------------------------------------------------------------- /cofoja.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/cofoja.pom -------------------------------------------------------------------------------- /default.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/default.properties -------------------------------------------------------------------------------- /ivy.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/ivy.xml -------------------------------------------------------------------------------- /script/cofojab.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/script/cofojab.sh -------------------------------------------------------------------------------- /script/cofojac.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/script/cofojac.sh -------------------------------------------------------------------------------- /src/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /src/META-INF/services/javax.annotation.processing.Processor: -------------------------------------------------------------------------------- 1 | com.google.java.contract.core.apt.AnnotationProcessor 2 | -------------------------------------------------------------------------------- /src/com/google/java/contract/AllowUnusedImport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/AllowUnusedImport.java -------------------------------------------------------------------------------- /src/com/google/java/contract/ContractAssertionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/ContractAssertionError.java -------------------------------------------------------------------------------- /src/com/google/java/contract/ContractEnvironment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/ContractEnvironment.java -------------------------------------------------------------------------------- /src/com/google/java/contract/ContractEnvironmentConfigurator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/ContractEnvironmentConfigurator.java -------------------------------------------------------------------------------- /src/com/google/java/contract/ContractImport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/ContractImport.java -------------------------------------------------------------------------------- /src/com/google/java/contract/Ensures.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/Ensures.java -------------------------------------------------------------------------------- /src/com/google/java/contract/Invariant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/Invariant.java -------------------------------------------------------------------------------- /src/com/google/java/contract/InvariantError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/InvariantError.java -------------------------------------------------------------------------------- /src/com/google/java/contract/PostconditionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/PostconditionError.java -------------------------------------------------------------------------------- /src/com/google/java/contract/PreconditionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/PreconditionError.java -------------------------------------------------------------------------------- /src/com/google/java/contract/Requires.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/Requires.java -------------------------------------------------------------------------------- /src/com/google/java/contract/SpecificationError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/SpecificationError.java -------------------------------------------------------------------------------- /src/com/google/java/contract/ThrowEnsures.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/ThrowEnsures.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ActivationRuleManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ActivationRuleManager.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/AgentContractEnvironment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/AgentContractEnvironment.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ClassContractHandle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ClassContractHandle.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ContractAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ContractAnalyzer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ContractClassFileTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ContractClassFileTransformer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ContractFixingClassAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ContractFixingClassAdapter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ContractHandle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ContractHandle.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ContractMethodSignature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ContractMethodSignature.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/ContractMethodSignatures.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/ContractMethodSignatures.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/HelperClassAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/HelperClassAdapter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/LineNumberingClassAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/LineNumberingClassAdapter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/LineNumberingMethodAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/LineNumberingMethodAdapter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/MethodContractHandle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/MethodContractHandle.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/PreMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/PreMain.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/SpecificationClassAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/SpecificationClassAdapter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/agent/SpecificationMethodAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/agent/SpecificationMethodAdapter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/AbstractTypeBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/AbstractTypeBuilder.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/AnnotationProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/AnnotationProcessor.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/AnnotationSourceInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/AnnotationSourceInfo.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ClassContractCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ClassContractCreator.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractCreation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractCreation.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractCreationTrait.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractCreationTrait.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractExpressionCreationTrait.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractExpressionCreationTrait.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractExpressionTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractExpressionTransformer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractFinder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractFinder.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractJavaCompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractJavaCompiler.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractJavaFileManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractJavaFileManager.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/ContractWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/ContractWriter.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/DiagnosticManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/DiagnosticManager.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/FactoryUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/FactoryUtils.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/JavacUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/JavacUtils.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/MethodContractCreator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/MethodContractCreator.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/SimpleContractCreationTrait.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/SimpleContractCreationTrait.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/SourceDependencyParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/SourceDependencyParser.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/SourcePreprocessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/SourcePreprocessor.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/SuperCallBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/SuperCallBuilder.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/TypeBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/TypeBuilder.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/apt/TypeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/apt/TypeFactory.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ClassName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ClassName.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ContractAnnotationModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ContractAnnotationModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ContractKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ContractKind.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ContractMethodModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ContractMethodModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ContractVariance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ContractVariance.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ElementKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ElementKind.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ElementModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ElementModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ElementModifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ElementModifier.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/ElementVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/ElementVisitor.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/GenericElementModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/GenericElementModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/HelperTypeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/HelperTypeModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/MethodModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/MethodModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/QualifiedElementModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/QualifiedElementModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/TypeModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/TypeModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/TypeName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/TypeName.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/model/VariableModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/model/VariableModel.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/runtime/BlacklistManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/runtime/BlacklistManager.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/runtime/ContractContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/runtime/ContractContext.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/runtime/ContractRuntime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/runtime/ContractRuntime.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/runtime/RuntimeContractEnvironment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/runtime/RuntimeContractEnvironment.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/BalancedTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/BalancedTokenizer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/DebugUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/DebugUtils.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/ElementScanner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/ElementScanner.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/Elements.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/Elements.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/EmptyElementVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/EmptyElementVisitor.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/JavaTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/JavaTokenizer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/JavaUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/JavaUtils.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/LineNumberingTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/LineNumberingTokenizer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/PatternMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/PatternMap.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/PushbackTokenizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/PushbackTokenizer.java -------------------------------------------------------------------------------- /src/com/google/java/contract/core/util/SyntheticJavaFile.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/core/util/SyntheticJavaFile.java -------------------------------------------------------------------------------- /src/com/google/java/contract/util/Iterables.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/util/Iterables.java -------------------------------------------------------------------------------- /src/com/google/java/contract/util/Objects.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/util/Objects.java -------------------------------------------------------------------------------- /src/com/google/java/contract/util/Predicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/util/Predicate.java -------------------------------------------------------------------------------- /src/com/google/java/contract/util/Predicates.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/src/com/google/java/contract/util/Predicates.java -------------------------------------------------------------------------------- /test/com/google/java/contract/examples/ArrayListStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/examples/ArrayListStack.java -------------------------------------------------------------------------------- /test/com/google/java/contract/examples/Stack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/examples/Stack.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/Cofoja.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/Cofoja.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ConstantContracts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ConstantContracts.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ConstantContractsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ConstantContractsTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ConstructorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ConstructorTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ContractedAnnotationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ContractedAnnotationTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ContractedClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ContractedClass.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/EmptyContracts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/EmptyContracts.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/EnclosedExtendsEnclosing.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/EnclosedExtendsEnclosing.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/EnclosedExtendsEnclosingNoContracts.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/EnclosedExtendsEnclosingNoContracts.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/EnclosedExtendsEnclosingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/EnclosedExtendsEnclosingTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/EnumTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/EnumTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ExceptionInPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ExceptionInPredicateTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/FinalFieldsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/FinalFieldsTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/GenericsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/GenericsTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/InheritanceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/InheritanceTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/InnerAnnotationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/InnerAnnotationTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/Java8StreamTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/Java8StreamTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/MemberContractsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/MemberContractsTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/NestedClassTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/NestedClassTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/PatternMapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/PatternMapTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/PublicCallTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/PublicCallTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/ReturnTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/ReturnTypeTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SelectiveContractsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SelectiveContractsTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateGenericSuperclass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateGenericSuperclass.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateGenericSuperclassTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateGenericSuperclassTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateInterface.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateInterfaceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateInterfaceTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateInvariantSuperclass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateInvariantSuperclass.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateInvariantSuperclassTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateInvariantSuperclassTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateMethodContractSuperclass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateMethodContractSuperclass.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SeparateMethodContractSuperclassTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SeparateMethodContractSuperclassTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/SimpleMathTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/SimpleMathTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/StackTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/StackTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/VariadicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/VariadicTest.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/selective/a/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/selective/a/A.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/selective/a/x/X.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/selective/a/x/X.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/selective/a/x/X1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/selective/a/x/X1.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/selective/b/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/selective/b/B.java -------------------------------------------------------------------------------- /test/com/google/java/contract/tests/selective/b/y/Y.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nhatminhle/cofoja/HEAD/test/com/google/java/contract/tests/selective/b/y/Y.java --------------------------------------------------------------------------------