Package org.gcontracts.generation

Examples of org.gcontracts.generation.ClassInvariantGenerator

79
80
81
82
83
84
85
86
87
88
89
90
            postConstructAnnotationClass = SpringContractsLifecycle.class.getClassLoader().loadClass(POSTCONSTRUCT_ANNOTATION);

            final ClassNode postConstructAnnotationClassNode = ClassHelper.makeWithoutCaching(postConstructAnnotationClass);
            postConstructionMethodNode.addAnnotation(new AnnotationNode(postConstructAnnotationClassNode));

            final ClassInvariantGenerator classInvariantGenerator = new ClassInvariantGenerator(pci.readerSource());
            classInvariantGenerator.addInvariantAssertionStatement(type, postConstructionMethodNode);

        } catch (ClassNotFoundException e) {
            pci.addError("Annotation " + POSTCONSTRUCT_ANNOTATION + " could not be found in classpath!", type);
        }
    }
View Full Code Here
76
77
78
79
80
81
82
83
84
    public void injectClassInvariant(final ClassNode type, final ClassInvariant classInvariant) {
        if (!pci.isClassInvariantsEnabled() || !CandidateChecks.isContractsCandidate(type)) return;

        final ReaderSource source = pci.readerSource();
        final ClassInvariantGenerator classInvariantGenerator = new ClassInvariantGenerator(source);

        classInvariantGenerator.generateInvariantAssertionStatement(type, classInvariant);
    }
View Full Code Here
39
40
41
42
43
44
45
46
    @Override
    public void afterProcessingMethodNode(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode methodNode) {
         if (!CandidateChecks.isClassInvariantCandidate(classNode, methodNode)) return;
         if (processingContextInformation.contract().hasDefaultClassInvariant()) return;

         final ClassInvariantGenerator classInvariantGenerator = new ClassInvariantGenerator(processingContextInformation.readerSource());
         classInvariantGenerator.addInvariantAssertionStatement(classNode, methodNode);
    }
View Full Code Here
49
50
51
52
53
54
55
56
    public void afterProcessingContructorNode(ProcessingContextInformation processingContextInformation, ClassNode classNode, MethodNode constructorNode) {
        if (!CandidateChecks.isClassInvariantCandidate(classNode, constructorNode)) return;
        if (!processingContextInformation.isConstructorAssertionsEnabled()) return;
        if (processingContextInformation.contract().hasDefaultClassInvariant()) return;

        final ClassInvariantGenerator classInvariantGenerator = new ClassInvariantGenerator(processingContextInformation.readerSource());
        classInvariantGenerator.addInvariantAssertionStatement(classNode, constructorNode);
    }
View Full Code Here
TOP

Related Classes of org.gcontracts.generation.ClassInvariantGenerator

  • org.codehaus.groovy.ast.stmt.BlockStatement
  • org.codehaus.groovy.ast.stmt.ExpressionStatement
  • org.codehaus.groovy.ast.stmt.Statement
  • org.gcontracts.ast.visitor.DomainModelInjectionVisitor
  • org.gcontracts.common.impl.lc.ClassInvariantLifecycle
  • org.gcontracts.grails.SpringContractsLifecycle
    • 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.