Changes:

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 16ae718187bc98b01cd4ef796df4de4b7f2fffb8..de6b3bbc1597e7d1636a4163db873a25a40d3ff4 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -11,6 +11,8 @@ import IR.Flat.BuildCode;
 import IR.State;
 import IR.TypeUtil;
 import Analysis.TaskStateAnalysis.TaskAnalysis;
+import Analysis.CallGraph.CallGraph;
+import Analysis.TaskStateAnalysis.TagAnalysis;
 
 public class Main {
 
@@ -105,7 +107,10 @@ public class Main {
       bf.buildFlat();
 
       if (state.TASKSTATE) {
-         TaskAnalysis ta=new TaskAnalysis(state);
+         CallGraph callgraph=new CallGraph(state);
+         TagAnalysis taganalysis=new TagAnalysis(state, callgraph);
+         
+         TaskAnalysis ta=new TaskAnalysis(state, taganalysis);
          ta.taskAnalysis();
       }