Package org.gcontracts.generation

Examples of org.gcontracts.generation.PreconditionGenerator

49
50
51
52
53
54
55
56
    private void generatePrecondition(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode methodNode) {
        if (!processingContextInformation.isPreconditionsEnabled()) return;
        if (!CandidateChecks.isPreconditionCandidate(classNode, methodNode)) return;
        if (processingContextInformation.contract().preconditions().contains(methodNode)) return;

        final PreconditionGenerator preconditionGenerator = new PreconditionGenerator(processingContextInformation.readerSource());
        preconditionGenerator.generateDefaultPreconditionStatement(classNode, methodNode);
    }
View Full Code Here
85
86
87
88
89
90
91
92
93
    public void injectPrecondition(final MethodNode method, final Precondition precondition) {
        if (!pci.isPreconditionsEnabled() || !CandidateChecks.isPreconditionCandidate(method.getDeclaringClass(), method)) return;

        final ReaderSource source = pci.readerSource();
        final PreconditionGenerator preconditionGenerator = new PreconditionGenerator(source);

        preconditionGenerator.generatePreconditionAssertionStatement(method, precondition);
    }
View Full Code Here
TOP

Related Classes of org.gcontracts.generation.PreconditionGenerator

  • org.codehaus.groovy.ast.expr.BooleanExpression
  • org.codehaus.groovy.ast.stmt.BlockStatement
  • org.gcontracts.ast.visitor.DomainModelInjectionVisitor
  • org.gcontracts.common.impl.lc.PreconditionLifecycle
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.