@Override public DefUse getDU(CGNode node) { return shrikeCI.getDU(node); }
@Override public IRView getIRView(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getIRView(node); } } assert B.understands(node); return B.getIRView(node); }
@Override public ControlFlowGraph<SSAInstruction, ISSABasicBlock> getCFG(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getCFG(node); } } assert B.understands(node); return B.getCFG(node); }
@Override public IR getIR(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getIR(node); } } assert B.understands(node); return B.getIR(node); }
public ConstraintVisitor(SSAPropagationCallGraphBuilder builder, CGNode node) { this.builder = builder; this.node = node; this.callGraph = builder.getCallGraph(); this.system = builder.getPropagationSystem(); SSAContextInterpreter interp = builder.getCFAContextInterpreter(); this.ir = interp.getIRView(node); this.symbolTable = this.ir.getSymbolTable(); this.du = interp.getDU(node); assert symbolTable != null; }
@Override public DefUse getDU(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getDU(node); } } assert B.understands(node); return B.getDU(node); } }
IRView ir = interp.getIRView(N); if (ir != null) { System.err.println(ir);
@Override public int getNumberOfStatements(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getNumberOfStatements(node); } } assert B.understands(node); return B.getNumberOfStatements(node); }
@Override public ControlFlowGraph<SSAInstruction, ISSABasicBlock> getCFG(CGNode n) { return shrikeCI.getCFG(n); } }
@Override public Iterator<NewSiteReference> iterateNewSites(CGNode node) { return getCFAInterpreter(node).iterateNewSites(node); }
@Override public IR getIR(CGNode node) { return shrikeCI.getIR(node); }
@Override public Iterator<CallSiteReference> iterateCallSites(CGNode node) { return getCFAInterpreter(node).iterateCallSites(node); }
@Override public int getNumberOfStatements(CGNode node) { return shrikeCI.getNumberOfStatements(node); }
@Override public Iterator<FieldReference> iterateFieldsWritten(CGNode node) { return shrikeCI.iterateFieldsWritten(node); }
@Override public Iterator<FieldReference> iterateFieldsRead(CGNode node) { return shrikeCI.iterateFieldsRead(node); }
public ConstraintVisitor(SSAPropagationCallGraphBuilder builder, CGNode node) { this.builder = builder; this.node = node; this.callGraph = builder.getCallGraph(); this.system = builder.getPropagationSystem(); SSAContextInterpreter interp = builder.getCFAContextInterpreter(); this.ir = interp.getIRView(node); this.symbolTable = this.ir.getSymbolTable(); this.du = interp.getDU(node); assert symbolTable != null; }
@Override public DefUse getDU(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getDU(node); } } assert B.understands(node); return B.getDU(node); } }
IRView ir = interp.getIRView(N); if (ir != null) { System.err.println(ir);
@Override public IR getIR(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getIR(node); } } assert B.understands(node); return B.getIR(node); }
@Override public int getNumberOfStatements(CGNode node) { if (A != null) { if (A.understands(node)) { return A.getNumberOfStatements(node); } } assert B.understands(node); return B.getNumberOfStatements(node); }