Examples of org.gcontracts.ast.visitor.AnnotationClosureVisitor$ClosureExpressionValidator

org.gcontracts.ast.visitor.AnnotationClosureVisitor

Visits interfaces & classes and looks for @Requires or @Ensures and creates {@link groovy.lang.Closure}classes for the annotation closures.

The annotation closure classes are used later on to check interface contract pre- and post-conditions in implementation classes. @see org.gcontracts.annotations.Requires @see org.gcontracts.annotations.Ensures @see org.gcontracts.ast.visitor.BaseVisitor @author ast

 */
@GroovyASTTransformation(phase = CompilePhase.SEMANTIC_ANALYSIS)
public class ClosureExpressionEvaluationASTTransformation extends BaseASTTransformation {


    private void generateAnnotationClosureClasses(SourceUnit unit, ReaderSource source, List<ClassNode> classNodes) {
        final AnnotationClosureVisitor annotationClosureVisitor = new AnnotationClosureVisitor(unit, source);


        for (final ClassNode classNode : classNodes)  {
            annotationClosureVisitor.visitClass(classNode);


            if (!CandidateChecks.isContractsCandidate(classNode)) continue;


            final ContractElementVisitor contractElementVisitor = new ContractElementVisitor(unit, source);
            contractElementVisitor.visitClass(classNode);


            if (!contractElementVisitor.isFoundContractElement()) continue;


            annotationClosureVisitor.visitClass(classNode);
            markClassNodeAsContracted(classNode);


            new ConfigurationSetup().init(classNode);
        }
    }

Related Classes of org.gcontracts.ast.visitor.AnnotationClosureVisitor$ClosureExpressionValidator

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.