jar

org.seqdoop : cofoja

Maven & Gradle

Aug 09, 2014
3 usages

Cofoja · Contracts for Java enables you to annotate your code with contracts in the form of preconditions, postconditions and invariants.

Table Of Contents

Latest Version

Download org.seqdoop : cofoja JAR file - Latest Versions:

All Versions

Download org.seqdoop : cofoja JAR file - All Versions:

Version Vulnerabilities Size Updated
1.1

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-1.1-r150.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.objectweb.asm.signature

├─ org.objectweb.asm.signature.SignatureReader.class - [JAR]

├─ org.objectweb.asm.signature.SignatureVisitor.class - [JAR]

├─ org.objectweb.asm.signature.SignatureWriter.class - [JAR]

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.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]

org.objectweb.asm.tree.analysis

├─ org.objectweb.asm.tree.analysis.Analyzer.class - [JAR]

├─ org.objectweb.asm.tree.analysis.AnalyzerException.class - [JAR]

├─ org.objectweb.asm.tree.analysis.BasicInterpreter.class - [JAR]

├─ org.objectweb.asm.tree.analysis.BasicValue.class - [JAR]

├─ org.objectweb.asm.tree.analysis.BasicVerifier.class - [JAR]

├─ org.objectweb.asm.tree.analysis.Frame.class - [JAR]

├─ org.objectweb.asm.tree.analysis.Interpreter.class - [JAR]

├─ org.objectweb.asm.tree.analysis.SimpleVerifier.class - [JAR]

├─ org.objectweb.asm.tree.analysis.SmallSet.class - [JAR]

├─ org.objectweb.asm.tree.analysis.SourceInterpreter.class - [JAR]

├─ org.objectweb.asm.tree.analysis.SourceValue.class - [JAR]

├─ org.objectweb.asm.tree.analysis.Subroutine.class - [JAR]

├─ org.objectweb.asm.tree.analysis.Value.class - [JAR]

org.objectweb.asm

├─ org.objectweb.asm.AnnotationVisitor.class - [JAR]

├─ org.objectweb.asm.AnnotationWriter.class - [JAR]

├─ org.objectweb.asm.Attribute.class - [JAR]

├─ org.objectweb.asm.ByteVector.class - [JAR]

├─ org.objectweb.asm.ClassReader.class - [JAR]

├─ org.objectweb.asm.ClassVisitor.class - [JAR]

├─ org.objectweb.asm.ClassWriter.class - [JAR]

├─ org.objectweb.asm.Context.class - [JAR]

├─ org.objectweb.asm.Edge.class - [JAR]

├─ org.objectweb.asm.FieldVisitor.class - [JAR]

├─ org.objectweb.asm.FieldWriter.class - [JAR]

├─ org.objectweb.asm.Frame.class - [JAR]

├─ org.objectweb.asm.Handle.class - [JAR]

├─ org.objectweb.asm.Handler.class - [JAR]

├─ org.objectweb.asm.Item.class - [JAR]

├─ org.objectweb.asm.Label.class - [JAR]

├─ org.objectweb.asm.MethodVisitor.class - [JAR]

├─ org.objectweb.asm.MethodWriter.class - [JAR]

├─ org.objectweb.asm.Opcodes.class - [JAR]

├─ org.objectweb.asm.Type.class - [JAR]

org.objectweb.asm.xml

├─ org.objectweb.asm.xml.ASMContentHandler.class - [JAR]

├─ org.objectweb.asm.xml.Processor.class - [JAR]

├─ org.objectweb.asm.xml.SAXAdapter.class - [JAR]

├─ org.objectweb.asm.xml.SAXAnnotationAdapter.class - [JAR]

├─ org.objectweb.asm.xml.SAXClassAdapter.class - [JAR]

├─ org.objectweb.asm.xml.SAXCodeAdapter.class - [JAR]

├─ org.objectweb.asm.xml.SAXFieldAdapter.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]

org.objectweb.asm.commons

├─ org.objectweb.asm.commons.AdviceAdapter.class - [JAR]

├─ org.objectweb.asm.commons.AnalyzerAdapter.class - [JAR]

├─ org.objectweb.asm.commons.CodeSizeEvaluator.class - [JAR]

├─ org.objectweb.asm.commons.GeneratorAdapter.class - [JAR]

├─ org.objectweb.asm.commons.InstructionAdapter.class - [JAR]

├─ org.objectweb.asm.commons.JSRInlinerAdapter.class - [JAR]

├─ org.objectweb.asm.commons.LocalVariablesSorter.class - [JAR]

├─ org.objectweb.asm.commons.Method.class - [JAR]

├─ org.objectweb.asm.commons.Remapper.class - [JAR]

├─ org.objectweb.asm.commons.RemappingAnnotationAdapter.class - [JAR]

├─ org.objectweb.asm.commons.RemappingClassAdapter.class - [JAR]

├─ org.objectweb.asm.commons.RemappingFieldAdapter.class - [JAR]

├─ org.objectweb.asm.commons.RemappingMethodAdapter.class - [JAR]

├─ org.objectweb.asm.commons.RemappingSignatureAdapter.class - [JAR]

├─ org.objectweb.asm.commons.SerialVersionUIDAdder.class - [JAR]

├─ org.objectweb.asm.commons.SimpleRemapper.class - [JAR]

├─ org.objectweb.asm.commons.StaticInitMerger.class - [JAR]

├─ org.objectweb.asm.commons.TableSwitchGenerator.class - [JAR]

├─ org.objectweb.asm.commons.TryCatchBlockSorter.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]

org.objectweb.asm.util

├─ org.objectweb.asm.util.ASMifiable.class - [JAR]

├─ org.objectweb.asm.util.ASMifier.class - [JAR]

├─ org.objectweb.asm.util.CheckAnnotationAdapter.class - [JAR]

├─ org.objectweb.asm.util.CheckClassAdapter.class - [JAR]

├─ org.objectweb.asm.util.CheckFieldAdapter.class - [JAR]

├─ org.objectweb.asm.util.CheckMethodAdapter.class - [JAR]

├─ org.objectweb.asm.util.CheckSignatureAdapter.class - [JAR]

├─ org.objectweb.asm.util.Printer.class - [JAR]

├─ org.objectweb.asm.util.Textifiable.class - [JAR]

├─ org.objectweb.asm.util.Textifier.class - [JAR]

├─ org.objectweb.asm.util.TraceAnnotationVisitor.class - [JAR]

├─ org.objectweb.asm.util.TraceClassVisitor.class - [JAR]

├─ org.objectweb.asm.util.TraceFieldVisitor.class - [JAR]

├─ org.objectweb.asm.util.TraceMethodVisitor.class - [JAR]

├─ org.objectweb.asm.util.TraceSignatureVisitor.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.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.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]

org.objectweb.asm.tree

├─ org.objectweb.asm.tree.AbstractInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.AnnotationNode.class - [JAR]

├─ org.objectweb.asm.tree.ClassNode.class - [JAR]

├─ org.objectweb.asm.tree.FieldInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.FieldNode.class - [JAR]

├─ org.objectweb.asm.tree.FrameNode.class - [JAR]

├─ org.objectweb.asm.tree.IincInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.InnerClassNode.class - [JAR]

├─ org.objectweb.asm.tree.InsnList.class - [JAR]

├─ org.objectweb.asm.tree.InsnNode.class - [JAR]

├─ org.objectweb.asm.tree.IntInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.InvokeDynamicInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.JumpInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.LabelNode.class - [JAR]

├─ org.objectweb.asm.tree.LdcInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.LineNumberNode.class - [JAR]

├─ org.objectweb.asm.tree.LocalVariableNode.class - [JAR]

├─ org.objectweb.asm.tree.LookupSwitchInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.MethodInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.MethodNode.class - [JAR]

├─ org.objectweb.asm.tree.MultiANewArrayInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.TableSwitchInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.TryCatchBlockNode.class - [JAR]

├─ org.objectweb.asm.tree.TypeInsnNode.class - [JAR]

├─ org.objectweb.asm.tree.VarInsnNode.class - [JAR]

Advertisement

Dependencies from Group

Apr 23, 2018
43 usages
70 stars
Aug 13, 2014
6 usages
284 stars
Aug 09, 2014
3 usages

Discover Dependencies

Oct 30, 2014
Sep 04, 2013
3 usages
2 stars
Aug 13, 2012
2.6k stars
Aug 13, 2012
2.6k stars
Aug 13, 2012
1 usages
2.6k stars
Feb 19, 2012
1 stars