Package org.gcontracts.ast.visitor

Examples of org.gcontracts.ast.visitor.ContractElementVisitor

30
31
32
33
34
35
36
37
38
39
40
41
42
43
        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);
View Full Code Here
TOP

Related Classes of org.gcontracts.ast.visitor.ContractElementVisitor

  • org.gcontracts.ast.ClosureExpressionEvaluationASTTransformation
    • 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.