data/cofoja-1.3/COPYING: ASCII text data/cofoja-1.3/README.md: ASCII text data/cofoja-1.3/build/PreAgentAntTask.java: Java source, UTF-8 Unicode text data/cofoja-1.3/default.properties: ASCII text data/cofoja-1.3/ivy.xml: ASCII text data/cofoja-1.3/script/cofojab.sh: POSIX shell script, ASCII text executable data/cofoja-1.3/script/cofojac.sh: POSIX shell script, ASCII text executable data/cofoja-1.3/src/META-INF/MANIFEST.MF: ASCII text data/cofoja-1.3/src/META-INF/services/javax.annotation.processing.Processor: ASCII text data/cofoja-1.3/src/com/google/java/contract/AllowUnusedImport.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/ContractAssertionError.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/ContractEnvironment.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/ContractEnvironmentConfigurator.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/ContractImport.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/Ensures.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/Invariant.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/InvariantError.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/PostconditionError.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/PreconditionError.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/Requires.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/SpecificationError.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/ThrowEnsures.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ActivationRuleManager.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/AgentContractEnvironment.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ClassContractHandle.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ContractHandle.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ContractMethodSignature.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ContractMethodSignatures.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/MethodContractHandle.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/PreMain.java: C source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ContractAnalyzer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ContractClassFileTransformer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/ContractFixingClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/HelperClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/LineNumberingClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/LineNumberingMethodAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/SpecificationClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/agent/SpecificationMethodAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/AbstractTypeBuilder.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/AnnotationProcessor.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/AnnotationSourceInfo.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ClassContractCreator.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractCreation.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractCreationTrait.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractExpressionCreationTrait.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractExpressionTransformer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractFinder.java: Java source, ASCII text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractJavaCompiler.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractJavaFileManager.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/ContractWriter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/DiagnosticManager.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/FactoryUtils.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/JavacUtils.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/MethodContractCreator.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/SimpleContractCreationTrait.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/SourceDependencyParser.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/SourcePreprocessor.java: C source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/SuperCallBuilder.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/TypeBuilder.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/apt/TypeFactory.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ClassName.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ContractAnnotationModel.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ContractKind.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ContractMethodModel.java: Java source, ASCII text data/cofoja-1.3/src/com/google/java/contract/core/model/ContractVariance.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ElementKind.java: Java source, ASCII text data/cofoja-1.3/src/com/google/java/contract/core/model/ElementModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ElementModifier.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/ElementVisitor.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/GenericElementModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/HelperTypeModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/MethodModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/QualifiedElementModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/TypeModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/TypeName.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/model/VariableModel.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/runtime/BlacklistManager.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/runtime/ContractContext.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/runtime/ContractRuntime.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/runtime/RuntimeContractEnvironment.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/BalancedTokenizer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/DebugUtils.java: Java source, ASCII text data/cofoja-1.3/src/com/google/java/contract/core/util/ElementScanner.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/Elements.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/EmptyElementVisitor.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/JavaTokenizer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/JavaUtils.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/LineNumberingTokenizer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/PatternMap.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/PushbackTokenizer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/core/util/SyntheticJavaFile.java: Java source, UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/util/Iterables.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/util/Objects.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/util/Predicate.java: UTF-8 Unicode text data/cofoja-1.3/src/com/google/java/contract/util/Predicates.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/examples/ArrayListStack.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/examples/Stack.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/Cofoja.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/ConstantContracts.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/ConstantContractsTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/ConstructorTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/ContractedAnnotationTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/ContractedClass.java: C++ source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/EmptyContracts.java: C++ source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/EnclosedExtendsEnclosing.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/EnclosedExtendsEnclosingNoContracts.java: ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/EnclosedExtendsEnclosingTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/EnumTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/ExceptionInPredicateTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/FinalFieldsTest.java: C++ source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/GenericsTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/InheritanceTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/InnerAnnotationTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/Java8StreamTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/MemberContractsTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/NestedClassTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/PatternMapTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/PublicCallTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/ReturnTypeTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/SelectiveContractsTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateGenericSuperclass.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateGenericSuperclassTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateInterface.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateInterfaceTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateInvariantSuperclass.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateInvariantSuperclassTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateMethodContractSuperclass.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/SeparateMethodContractSuperclassTest.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/SimpleMathTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/StackTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/VariadicTest.java: Java source, UTF-8 Unicode text data/cofoja-1.3/test/com/google/java/contract/tests/selective/a/A.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/selective/a/x/X.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/selective/a/x/X1.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/selective/b/B.java: Java source, ASCII text data/cofoja-1.3/test/com/google/java/contract/tests/selective/b/y/Y.java: Java source, ASCII text data/cofoja-1.3/debian/changelog: ASCII text data/cofoja-1.3/debian/clean: ASCII text data/cofoja-1.3/debian/compat: ASCII text data/cofoja-1.3/debian/control: ASCII text data/cofoja-1.3/debian/copyright: UTF-8 Unicode text data/cofoja-1.3/debian/docs: ASCII text data/cofoja-1.3/debian/libcofoja-java.jlibs: ASCII text data/cofoja-1.3/debian/patches/01-java9-compatibility.patch: unified diff output, ASCII text data/cofoja-1.3/debian/patches/02-java11-compatibility.patch: unified diff output, ASCII text data/cofoja-1.3/debian/patches/series: ASCII text data/cofoja-1.3/debian/rules: a /usr/bin/make -f script, ASCII text executable data/cofoja-1.3/debian/source/format: ASCII text data/cofoja-1.3/debian/watch: ASCII text data/cofoja-1.3/.pc/.version: ASCII text data/cofoja-1.3/.pc/.quilt_patches: ASCII text data/cofoja-1.3/.pc/.quilt_series: ASCII text data/cofoja-1.3/.pc/applied-patches: ASCII text data/cofoja-1.3/.pc/01-java9-compatibility.patch/build.xml: exported SGML document, ASCII text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/ContractAnalyzer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/ContractClassFileTransformer.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/ContractFixingClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/HelperClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/LineNumberingClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/LineNumberingMethodAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/SpecificationClassAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/.pc/02-java11-compatibility.patch/src/com/google/java/contract/core/agent/SpecificationMethodAdapter.java: Java source, UTF-8 Unicode text data/cofoja-1.3/build.xml: exported SGML document, ASCII text