Examples of SideEffectVisitor

Examples of joust.analysers.sideeffects.SideEffectVisitor

153
154
155
156
157
158
159
160
161
162
163
     */
    public void initialAnalysis() {
        long t = System.currentTimeMillis();
        log.info("Initial side effect analysis started on {} nodes", rootNodes.size());

        effectVisitor = new SideEffectVisitor(!analysisPerformed);
        Effects.numCalls = 0;

        VisitorResultPurger purger = new VisitorResultPurger();

        log.info("Purging...");
View Full Code Here

Examples of joust.analysers.sideeffects.SideEffectVisitor

36
37
38
39
40
41
42
43
44
45
46
47
    @Ignore
    @Test
    @Parameters(method = "invarFinderArgs")
    public void findInvariants(AJCEffectAnnotatedTree inputTree, Set<AJCExpressionTree> expectedInvariants) {
        SideEffectVisitor effects = new SideEffectVisitor(true);
        effects.visitTree(inputTree);

        EffectSet loopEffects = inputTree.effects.getEffectSet();

        Set<VarSymbol> writtenInLoop = loopEffects.writeInternal;
        Set<VarSymbol> readInLoop = loopEffects.readInternal;
View Full Code Here

Examples of joust.analysers.sideeffects.SideEffectVisitor

34
35
36
37
38
39
40
41
42
43
44
    @Ignore
    @Test
    @Parameters(method = "unusedArgs")
    public void testUnused(AJCMethodDecl input, AJCMethodDecl expected) {
        SideEffectVisitor effects = new SideEffectVisitor(true);
        effects.visitMethodDef(input);

        log.debug("Unused assignment strip for: {}", input);
        testVisitNodeBluntForce(input, expected);
    }
View Full Code Here

Examples of joust.analysers.sideeffects.SideEffectVisitor

50
51
52
53
54
55
56
57
58
59
            }

            symbolSets[i] = expected;
        }

        SideEffectVisitor effects = new SideEffectVisitor(true);
        effects.visitMethodDef(inputTree);

        testVisitNode(inputTree, targetNodes, symbolSets);
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.