jar

io.konverge : cofoja

Maven & Gradle

Jan 23, 2014

Contracts for Java · Contracts for Java is a contract programming framework for Java.

Table Of Contents

Latest Version

Download io.konverge : cofoja JAR file - Latest Versions:

All Versions

Download io.konverge : cofoja JAR file - All Versions:

Version Vulnerabilities Size Updated
2.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window cofoja-2.0.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

com.google.java.contract.core.apt

├─ com.google.java.contract.core.apt.AbstractTypeBuilder.class - [JAR]

├─ com.google.java.contract.core.apt.AnnotationProcessor.class - [JAR]

├─ com.google.java.contract.core.apt.AnnotationSourceInfo.class - [JAR]

├─ com.google.java.contract.core.apt.ClassContractCreator.class - [JAR]

├─ com.google.java.contract.core.apt.ContractCreation.class - [JAR]

├─ com.google.java.contract.core.apt.ContractCreationTrait.class - [JAR]

├─ com.google.java.contract.core.apt.ContractExpressionCreationTrait.class - [JAR]

├─ com.google.java.contract.core.apt.ContractExpressionTransformer.class - [JAR]

├─ com.google.java.contract.core.apt.ContractFinder.class - [JAR]

├─ com.google.java.contract.core.apt.ContractJavaCompiler.class - [JAR]

├─ com.google.java.contract.core.apt.ContractJavaFileManager.class - [JAR]

├─ com.google.java.contract.core.apt.ContractWriter.class - [JAR]

├─ com.google.java.contract.core.apt.DiagnosticManager.class - [JAR]

├─ com.google.java.contract.core.apt.FactoryUtils.class - [JAR]

├─ com.google.java.contract.core.apt.JavacUtils.class - [JAR]

├─ com.google.java.contract.core.apt.MethodContractCreator.class - [JAR]

├─ com.google.java.contract.core.apt.SimpleContractCreationTrait.class - [JAR]

├─ com.google.java.contract.core.apt.SourceDependencyParser.class - [JAR]

├─ com.google.java.contract.core.apt.SourcePreprocessor.class - [JAR]

├─ com.google.java.contract.core.apt.SuperCallBuilder.class - [JAR]

├─ com.google.java.contract.core.apt.TypeBuilder.class - [JAR]

├─ com.google.java.contract.core.apt.TypeFactory.class - [JAR]

com.google.java.contract.core.util

├─ com.google.java.contract.core.util.BalancedTokenizer.class - [JAR]

├─ com.google.java.contract.core.util.DebugUtils.class - [JAR]

├─ com.google.java.contract.core.util.ElementScanner.class - [JAR]

├─ com.google.java.contract.core.util.Elements.class - [JAR]

├─ com.google.java.contract.core.util.EmptyElementVisitor.class - [JAR]

├─ com.google.java.contract.core.util.JavaTokenizer.class - [JAR]

├─ com.google.java.contract.core.util.JavaUtils.class - [JAR]

├─ com.google.java.contract.core.util.LineNumberingTokenizer.class - [JAR]

├─ com.google.java.contract.core.util.PatternMap.class - [JAR]

├─ com.google.java.contract.core.util.PushbackTokenizer.class - [JAR]

├─ com.google.java.contract.core.util.SyntheticJavaFile.class - [JAR]

com.google.java.contract

├─ com.google.java.contract.AllowUnusedImport.class - [JAR]

├─ com.google.java.contract.ContractAssertionError.class - [JAR]

├─ com.google.java.contract.ContractEnvironment.class - [JAR]

├─ com.google.java.contract.ContractEnvironmentConfigurator.class - [JAR]

├─ com.google.java.contract.Ensures.class - [JAR]

├─ com.google.java.contract.Invariant.class - [JAR]

├─ com.google.java.contract.InvariantError.class - [JAR]

├─ com.google.java.contract.PostconditionError.class - [JAR]

├─ com.google.java.contract.PreconditionError.class - [JAR]

├─ com.google.java.contract.Requires.class - [JAR]

├─ com.google.java.contract.SpecificationError.class - [JAR]

├─ com.google.java.contract.ThrowEnsures.class - [JAR]

com.google.java.contract.core.runtime

├─ com.google.java.contract.core.runtime.BlacklistManager.class - [JAR]

├─ com.google.java.contract.core.runtime.ContractContext.class - [JAR]

├─ com.google.java.contract.core.runtime.ContractRuntime.class - [JAR]

├─ com.google.java.contract.core.runtime.RuntimeContractEnvironment.class - [JAR]

com.google.java.contract.core.agent

├─ com.google.java.contract.core.agent.ActivationRuleManager.class - [JAR]

├─ com.google.java.contract.core.agent.AgentContractEnvironment.class - [JAR]

├─ com.google.java.contract.core.agent.ClassContractHandle.class - [JAR]

├─ com.google.java.contract.core.agent.ContractAnalyzer.class - [JAR]

├─ com.google.java.contract.core.agent.ContractClassFileTransformer.class - [JAR]

├─ com.google.java.contract.core.agent.ContractFixingClassAdapter.class - [JAR]

├─ com.google.java.contract.core.agent.ContractHandle.class - [JAR]

├─ com.google.java.contract.core.agent.ContractMethodSignature.class - [JAR]

├─ com.google.java.contract.core.agent.ContractMethodSignatures.class - [JAR]

├─ com.google.java.contract.core.agent.HelperClassAdapter.class - [JAR]

├─ com.google.java.contract.core.agent.LineNumberingClassAdapter.class - [JAR]

├─ com.google.java.contract.core.agent.LineNumberingMethodAdapter.class - [JAR]

├─ com.google.java.contract.core.agent.MethodContractHandle.class - [JAR]

├─ com.google.java.contract.core.agent.PreMain.class - [JAR]

├─ com.google.java.contract.core.agent.SpecificationClassAdapter.class - [JAR]

├─ com.google.java.contract.core.agent.SpecificationMethodAdapter.class - [JAR]

com.google.java.contract.core.model

├─ com.google.java.contract.core.model.ClassName.class - [JAR]

├─ com.google.java.contract.core.model.ContractAnnotationModel.class - [JAR]

├─ com.google.java.contract.core.model.ContractKind.class - [JAR]

├─ com.google.java.contract.core.model.ContractMethodModel.class - [JAR]

├─ com.google.java.contract.core.model.ContractVariance.class - [JAR]

├─ com.google.java.contract.core.model.ElementKind.class - [JAR]

├─ com.google.java.contract.core.model.ElementModel.class - [JAR]

├─ com.google.java.contract.core.model.ElementModifier.class - [JAR]

├─ com.google.java.contract.core.model.ElementVisitor.class - [JAR]

├─ com.google.java.contract.core.model.GenericElementModel.class - [JAR]

├─ com.google.java.contract.core.model.HelperTypeModel.class - [JAR]

├─ com.google.java.contract.core.model.MethodModel.class - [JAR]

├─ com.google.java.contract.core.model.QualifiedElementModel.class - [JAR]

├─ com.google.java.contract.core.model.TypeModel.class - [JAR]

├─ com.google.java.contract.core.model.TypeName.class - [JAR]

├─ com.google.java.contract.core.model.VariableModel.class - [JAR]

com.google.java.contract.util

├─ com.google.java.contract.util.Iterables.class - [JAR]

├─ com.google.java.contract.util.Objects.class - [JAR]

├─ com.google.java.contract.util.Predicate.class - [JAR]

├─ com.google.java.contract.util.Predicates.class - [JAR]

Advertisement