public SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg) { this(); this.pa = pa; this.cg = cg; this.tt = new TransitiveTargets(cg); }
public SideEffectAnalysis(PointsToAnalysis pa, CallGraph cg, Filter filter) { // This constructor allows customization of call graph edges to // consider via the use of a transitive targets filter. // For example, using the NonClinitEdgesPred, you can create a // SideEffectAnalysis that will ignore static initializers // - R. Halpert 2006-12-02 this(); this.pa = pa; this.cg = cg; this.tt = new TransitiveTargets(cg, filter); }
this.cg = cg; this.tve = new CriticalSectionVisibleEdgesPred(criticalSections); this.tt = new TransitiveTargets(cg, new Filter(tve)); this.normaltt = new TransitiveTargets(cg, null); this.normalsea = new SideEffectAnalysis(pa, cg); this.criticalSections = criticalSections;
TransitiveTargets tt = new TransitiveTargets(cg); statement: for (Iterator sIt = body.getUnits().iterator(); sIt.hasNext();) { final Stmt s = (Stmt) sIt.next();
TransitiveTargets runMethodTargets = new TransitiveTargets(callGraph, new Filter(new RunMethodsPred()));
public DeadlockDetector(boolean optionPrintDebug, boolean optionRepairDeadlock, boolean optionAllowSelfEdges, List<CriticalSection> criticalSections) { this.optionPrintDebug = optionPrintDebug; this.optionRepairDeadlock = optionRepairDeadlock; this.optionAllowSelfEdges = optionAllowSelfEdges && !optionRepairDeadlock; // can only do this if not repairing this.criticalSections = criticalSections; this.tt = new TransitiveTargets(Scene.v().getCallGraph(), new Filter(new CriticalSectionVisibleEdgesPred(null))); }
public SideEffectAnalysis( PointsToAnalysis pa, CallGraph cg, Filter filter ) { // This constructor allows customization of call graph edges to // consider via the use of a transitive targets filter. // For example, using the NonClinitEdgesPred, you can create a // SideEffectAnalysis that will ignore static initializers // - R. Halpert 2006-12-02 this.pa = pa; this.cg = cg; this.tt = new TransitiveTargets( cg, filter ); }
public SideEffectAnalysis( PointsToAnalysis pa, CallGraph cg, Filter filter ) { // This constructor allows customization of call graph edges to // consider via the use of a transitive targets filter. // For example, using the NonClinitEdgesPred, you can create a // SideEffectAnalysis that will ignore static initializers // - R. Halpert 2006-12-02 this.pa = pa; this.cg = cg; this.tt = new TransitiveTargets( cg, filter ); }
public SideEffectAnalysis( PointsToAnalysis pa, CallGraph cg ) { this.pa = pa; this.cg = cg; this.tt = new TransitiveTargets( cg ); }
public SideEffectAnalysis( PointsToAnalysis pa, CallGraph cg ) { this.pa = pa; this.cg = cg; this.tt = new TransitiveTargets( cg ); }