Bug fix...supposed to pass in bsm into Pointer analysis...

[IRC.git] / Robust / src / Analysis / Pointer / Pointer.java

diff --git a/Robust/src/Analysis/Pointer/Pointer.java b/Robust/src/Analysis/Pointer/Pointer.java
index 8e44798bb457a382e1626a676bacb4c4c05d165d..3e30f2c44aa88b399c03950c1efc4e4b672fe3f5 100644 (file)
--- a/Robust/src/Analysis/Pointer/Pointer.java
+++ b/Robust/src/Analysis/Pointer/Pointer.java
@@ -39,14 +39,14 @@ public class Pointer implements HeapAnalysis{
   EffectsAnalysis effectsAnalysis;
   Accessible accessible;
 
-  public Pointer(State state, TypeUtil typeUtil, CallGraph callGraph, RBlockRelationAnalysis taskAnalysis, Liveness liveness) {
+  public Pointer(State state, TypeUtil typeUtil, CallGraph callGraph, RBlockRelationAnalysis taskAnalysis, Liveness liveness, BuildStateMachines bsm) {
     this(state, typeUtil);
     this.callGraph=callGraph;
     this.OoOJava=true;
     this.taskAnalysis=taskAnalysis;
     this.effectsAnalysis=new EffectsAnalysis();
     effectsAnalysis.state=state;
-    effectsAnalysis.buildStateMachines=new BuildStateMachines();
+    effectsAnalysis.buildStateMachines=bsm;
     accessible=new Accessible(state, callGraph, taskAnalysis, liveness);
     accessible.doAnalysis();
     State.logEvent("Done Writing Accessible Analysis");