All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download cofoja JAR 1.3.1 with all dependencies


    Eiffel-like contract annotations for Java.

    Files of the artifact cofoja version 1.3.1 from the group org.huoc.

    Test

    Download cofoja (1.3.1)
    Artifact cofoja
    Group org.huoc
    Version 1.3.1
    Last update 16. October 2016
    Organization not specified
    URL https://github.com/nhatminhle/cofoja
    License GNU Lesser General Public License
    Dependencies amount 1
    Dependencies asm-all,
    There are maybe transitive dependencies!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of cofoja Show documentation

    Please rate this JAR file. Is it a good library?

    24 downloads

    Source code of cofoja version 1.3.1

    META-INF
    META-INF.META-INF.MANIFEST.MF
    META-INF.services
    META-INF.services.META-INF.servicesx.annotation.processing.Processor
    com.google.java.contract
    com.google.java.contract.com.google.contract.AllowUnusedImport
    com.google.java.contract.com.google.contract.ContractAssertionError
    com.google.java.contract.com.google.contract.ContractEnvironment
    com.google.java.contract.com.google.contract.ContractEnvironmentConfigurator
    com.google.java.contract.com.google.contract.ContractImport
    com.google.java.contract.com.google.contract.Ensures
    com.google.java.contract.com.google.contract.Invariant
    com.google.java.contract.com.google.contract.InvariantError
    com.google.java.contract.com.google.contract.PostconditionError
    com.google.java.contract.com.google.contract.PreconditionError
    com.google.java.contract.com.google.contract.Requires
    com.google.java.contract.com.google.contract.SpecificationError
    com.google.java.contract.com.google.contract.ThrowEnsures
    com.google.java.contract.core.agent
    com.google.java.contract.core.agent.com.google.contract.core.agent.ActivationRuleManager
    com.google.java.contract.core.agent.com.google.contract.core.agent.AgentContractEnvironment
    com.google.java.contract.core.agent.com.google.contract.core.agent.ClassContractHandle
    com.google.java.contract.core.agent.com.google.contract.core.agent.ContractAnalyzer
    com.google.java.contract.core.agent.com.google.contract.core.agent.ContractClassFileTransformer
    com.google.java.contract.core.agent.com.google.contract.core.agent.ContractFixingClassAdapter
    com.google.java.contract.core.agent.com.google.contract.core.agent.ContractHandle
    com.google.java.contract.core.agent.com.google.contract.core.agent.ContractMethodSignature
    com.google.java.contract.core.agent.com.google.contract.core.agent.ContractMethodSignatures
    com.google.java.contract.core.agent.com.google.contract.core.agent.HelperClassAdapter
    com.google.java.contract.core.agent.com.google.contract.core.agent.LineNumberingClassAdapter
    com.google.java.contract.core.agent.com.google.contract.core.agent.LineNumberingMethodAdapter
    com.google.java.contract.core.agent.com.google.contract.core.agent.MethodContractHandle
    com.google.java.contract.core.agent.com.google.contract.core.agent.PreMain
    com.google.java.contract.core.agent.com.google.contract.core.agent.SpecificationClassAdapter
    com.google.java.contract.core.agent.com.google.contract.core.agent.SpecificationMethodAdapter
    com.google.java.contract.core.apt
    com.google.java.contract.core.apt.com.google.contract.core.apt.AbstractTypeBuilder
    com.google.java.contract.core.apt.com.google.contract.core.apt.AnnotationProcessor
    com.google.java.contract.core.apt.com.google.contract.core.apt.AnnotationSourceInfo
    com.google.java.contract.core.apt.com.google.contract.core.apt.ClassContractCreator
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractCreation
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractCreationTrait
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractExpressionCreationTrait
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractExpressionTransformer
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractFinder
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractJavaCompiler
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractJavaFileManager
    com.google.java.contract.core.apt.com.google.contract.core.apt.ContractWriter
    com.google.java.contract.core.apt.com.google.contract.core.apt.DiagnosticManager
    com.google.java.contract.core.apt.com.google.contract.core.apt.FactoryUtils
    com.google.java.contract.core.apt.com.google.contract.core.apt.JavacUtils
    com.google.java.contract.core.apt.com.google.contract.core.apt.MethodContractCreator
    com.google.java.contract.core.apt.com.google.contract.core.apt.SimpleContractCreationTrait
    com.google.java.contract.core.apt.com.google.contract.core.apt.SourceDependencyParser
    com.google.java.contract.core.apt.com.google.contract.core.apt.SourcePreprocessor
    com.google.java.contract.core.apt.com.google.contract.core.apt.SuperCallBuilder
    com.google.java.contract.core.apt.com.google.contract.core.apt.TypeBuilder
    com.google.java.contract.core.apt.com.google.contract.core.apt.TypeFactory
    com.google.java.contract.core.model
    com.google.java.contract.core.model.com.google.contract.core.model.ClassName
    com.google.java.contract.core.model.com.google.contract.core.model.ContractAnnotationModel
    com.google.java.contract.core.model.com.google.contract.core.model.ContractKind
    com.google.java.contract.core.model.com.google.contract.core.model.ContractMethodModel
    com.google.java.contract.core.model.com.google.contract.core.model.ContractVariance
    com.google.java.contract.core.model.com.google.contract.core.model.ElementKind
    com.google.java.contract.core.model.com.google.contract.core.model.ElementModel
    com.google.java.contract.core.model.com.google.contract.core.model.ElementModifier
    com.google.java.contract.core.model.com.google.contract.core.model.ElementVisitor
    com.google.java.contract.core.model.com.google.contract.core.model.GenericElementModel
    com.google.java.contract.core.model.com.google.contract.core.model.HelperTypeModel
    com.google.java.contract.core.model.com.google.contract.core.model.MethodModel
    com.google.java.contract.core.model.com.google.contract.core.model.QualifiedElementModel
    com.google.java.contract.core.model.com.google.contract.core.model.TypeModel
    com.google.java.contract.core.model.com.google.contract.core.model.TypeName
    com.google.java.contract.core.model.com.google.contract.core.model.VariableModel
    com.google.java.contract.core.runtime
    com.google.java.contract.core.runtime.com.google.contract.core.runtime.BlacklistManager
    com.google.java.contract.core.runtime.com.google.contract.core.runtime.ContractContext
    com.google.java.contract.core.runtime.com.google.contract.core.runtime.ContractRuntime
    com.google.java.contract.core.runtime.com.google.contract.core.runtime.RuntimeContractEnvironment
    com.google.java.contract.core.util
    com.google.java.contract.core.util.com.google.contract.core.util.BalancedTokenizer
    com.google.java.contract.core.util.com.google.contract.core.util.DebugUtils
    com.google.java.contract.core.util.com.google.contract.core.util.ElementScanner
    com.google.java.contract.core.util.com.google.contract.core.util.Elements
    com.google.java.contract.core.util.com.google.contract.core.util.EmptyElementVisitor
    com.google.java.contract.core.util.com.google.contract.core.util.JavaTokenizer
    com.google.java.contract.core.util.com.google.contract.core.util.JavaUtils
    com.google.java.contract.core.util.com.google.contract.core.util.LineNumberingTokenizer
    com.google.java.contract.core.util.com.google.contract.core.util.PatternMap
    com.google.java.contract.core.util.com.google.contract.core.util.PushbackTokenizer
    com.google.java.contract.core.util.com.google.contract.core.util.SyntheticJavaFile
    com.google.java.contract.util
    com.google.java.contract.util.com.google.contract.util.Iterables
    com.google.java.contract.util.com.google.contract.util.Objects
    com.google.java.contract.util.com.google.contract.util.Predicate
    com.google.java.contract.util.com.google.contract.util.Predicates




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy