All Downloads are FREE. Search and download functionalities are using the official Maven repository.
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.

Artifact cofoja
Group org.huoc
Version 1.3.1
Last update 16. October 2016
Tags: contract eiffel java annotations like
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 - 2024 Weber Informatics LLC | Privacy Policy