jar

org.gcontracts : gcontracts-core

Maven & Gradle

Apr 08, 2013
18 usages
114 stars

GContracts - Programming by Contract for Groovy · GContracts provides annotations to implement interface contracts aka design by contract in Groovy classes.

Table Of Contents

Latest Version

Download org.gcontracts : gcontracts-core JAR file - Latest Versions:

All Versions

Download org.gcontracts : gcontracts-core JAR file - All Versions:

Version Vulnerabilities Size Updated
1.2.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 gcontracts-core-1.2.12.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.gcontracts.generation

├─ org.gcontracts.generation.AssertStatementCreationUtility.class - [JAR]

├─ org.gcontracts.generation.BaseGenerator.class - [JAR]

├─ org.gcontracts.generation.CandidateChecks.class - [JAR]

├─ org.gcontracts.generation.ClassInvariantGenerator.class - [JAR]

├─ org.gcontracts.generation.Configurator.class - [JAR]

├─ org.gcontracts.generation.ContractExecutionTracker.class - [JAR]

├─ org.gcontracts.generation.OldVariableGenerationUtility.class - [JAR]

├─ org.gcontracts.generation.PostconditionGenerator.class - [JAR]

├─ org.gcontracts.generation.PreconditionGenerator.class - [JAR]

├─ org.gcontracts.generation.TryCatchBlockGenerator.class - [JAR]

org.gcontracts.common.spi

├─ org.gcontracts.common.spi.AnnotationProcessor.class - [JAR]

├─ org.gcontracts.common.spi.Lifecycle.class - [JAR]

├─ org.gcontracts.common.spi.ProcessingContextInformation.class - [JAR]

org.gcontracts.common.base

├─ org.gcontracts.common.base.BaseLifecycle.class - [JAR]

org.gcontracts.common.impl.lc

├─ org.gcontracts.common.impl.lc.ClassInvariantLifecycle.class - [JAR]

├─ org.gcontracts.common.impl.lc.PostconditionLifecycle.class - [JAR]

├─ org.gcontracts.common.impl.lc.PreconditionLifecycle.class - [JAR]

org.gcontracts

├─ org.gcontracts.AssertionViolation.class - [JAR]

├─ org.gcontracts.CircularAssertionCallException.class - [JAR]

├─ org.gcontracts.ClassInvariantViolation.class - [JAR]

├─ org.gcontracts.PostconditionViolation.class - [JAR]

├─ org.gcontracts.PreconditionViolation.class - [JAR]

├─ org.gcontracts.ViolationTracker.class - [JAR]

org.gcontracts.annotations

├─ org.gcontracts.annotations.Contracted.class - [JAR]

├─ org.gcontracts.annotations.Ensures.class - [JAR]

├─ org.gcontracts.annotations.Invariant.class - [JAR]

├─ org.gcontracts.annotations.Requires.class - [JAR]

org.gcontracts.annotations.meta

├─ org.gcontracts.annotations.meta.AnnotationProcessorImplementation.class - [JAR]

├─ org.gcontracts.annotations.meta.ClassInvariant.class - [JAR]

├─ org.gcontracts.annotations.meta.ContractElement.class - [JAR]

├─ org.gcontracts.annotations.meta.Postcondition.class - [JAR]

├─ org.gcontracts.annotations.meta.Precondition.class - [JAR]

org.gcontracts.ast.visitor

├─ org.gcontracts.ast.visitor.ASTNodeMetaData.class - [JAR]

├─ org.gcontracts.ast.visitor.AnnotationClosureVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.AnnotationContractParameterVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.AnnotationProcessorVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.BaseVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.ConfigurationSetup.class - [JAR]

├─ org.gcontracts.ast.visitor.ContractElementVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.DomainModelInjectionVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.DynamicSetterInjectionVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.LifecycleAfterTransformationVisitor.class - [JAR]

├─ org.gcontracts.ast.visitor.LifecycleBeforeTransformationVisitor.class - [JAR]

org.gcontracts.common.impl

├─ org.gcontracts.common.impl.ClassInvariantAnnotationProcessor.class - [JAR]

├─ org.gcontracts.common.impl.EnsuresAnnotationProcessor.class - [JAR]

├─ org.gcontracts.common.impl.RequiresAnnotationProcessor.class - [JAR]

org.gcontracts.util

├─ org.gcontracts.util.AnnotationUtils.class - [JAR]

├─ org.gcontracts.util.ExpressionUtils.class - [JAR]

├─ org.gcontracts.util.FieldValues.class - [JAR]

├─ org.gcontracts.util.LifecycleImplementationLoader.class - [JAR]

├─ org.gcontracts.util.ReflectionUtils.class - [JAR]

├─ org.gcontracts.util.Validate.class - [JAR]

org.gcontracts.classgen.asm

├─ org.gcontracts.classgen.asm.ContractClosureWriter.class - [JAR]

org.gcontracts.domain

├─ org.gcontracts.domain.Assertion.class - [JAR]

├─ org.gcontracts.domain.AssertionMap.class - [JAR]

├─ org.gcontracts.domain.ClassInvariant.class - [JAR]

├─ org.gcontracts.domain.Contract.class - [JAR]

├─ org.gcontracts.domain.Postcondition.class - [JAR]

├─ org.gcontracts.domain.Precondition.class - [JAR]

org.gcontracts.ast

├─ org.gcontracts.ast.BaseASTTransformation.class - [JAR]

├─ org.gcontracts.ast.ClosureExpressionEvaluationASTTransformation.class - [JAR]

├─ org.gcontracts.ast.GContractsASTTransformation.class - [JAR]

Advertisement

Dependencies from Group

Apr 08, 2013
18 usages
114 stars
Apr 08, 2013
114 stars
Nov 16, 2010
114 stars
Apr 08, 2013
114 stars

Discover Dependencies

Oct 16, 2013
7 usages
38 stars
Jul 23, 2023
36 usages
72 stars
Aug 15, 2023
78 usages
1.1k stars
Aug 08, 2023
9 usages
3 stars
Aug 25, 2023
7 usages
2k stars
Oct 13, 2017
8 usages
27 stars
Nov 29, 2018
8 usages
11 stars
Jul 03, 2019
6 usages
347 stars
Jul 21, 2023
5 usages
14 stars
Mar 07, 2017
25 usages