|
|
@ -64,7 +64,7 @@ public class FlattenStatementsHelper { |
|
|
|
public int edgeIndex; |
|
|
|
public int edgeIndex; |
|
|
|
public List<StatEdge> succEdges; |
|
|
|
public List<StatEdge> succEdges; |
|
|
|
|
|
|
|
|
|
|
|
public StatementStackEntry(Statement statement, LinkedList<StackEntry> stackFinally, List<Exprent> tailExprents) { |
|
|
|
StatementStackEntry(Statement statement, LinkedList<StackEntry> stackFinally, List<Exprent> tailExprents) { |
|
|
|
this.statement = statement; |
|
|
|
this.statement = statement; |
|
|
|
this.stackFinally = stackFinally; |
|
|
|
this.stackFinally = stackFinally; |
|
|
|
this.tailExprents = tailExprents; |
|
|
|
this.tailExprents = tailExprents; |
|
|
@ -517,7 +517,7 @@ public class FlattenStatementsHelper { |
|
|
|
public final DirectNode finallyShortRangeSource; |
|
|
|
public final DirectNode finallyShortRangeSource; |
|
|
|
public final DirectNode finallyLongRangeSource; |
|
|
|
public final DirectNode finallyLongRangeSource; |
|
|
|
|
|
|
|
|
|
|
|
public StackEntry(CatchAllStatement catchstatement, |
|
|
|
StackEntry(CatchAllStatement catchstatement, |
|
|
|
boolean state, |
|
|
|
boolean state, |
|
|
|
int edgetype, |
|
|
|
int edgetype, |
|
|
|
Statement destination, |
|
|
|
Statement destination, |
|
|
@ -539,7 +539,7 @@ public class FlattenStatementsHelper { |
|
|
|
this.finallyLongRangeSource = finallyLongRangeSource; |
|
|
|
this.finallyLongRangeSource = finallyLongRangeSource; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
public StackEntry(CatchAllStatement catchstatement, boolean state) { |
|
|
|
StackEntry(CatchAllStatement catchstatement, boolean state) { |
|
|
|
this(catchstatement, state, -1, null, null, null, null, null, false); |
|
|
|
this(catchstatement, state, -1, null, null, null, null, null, false); |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
@ -549,7 +549,7 @@ public class FlattenStatementsHelper { |
|
|
|
public final Integer statid; |
|
|
|
public final Integer statid; |
|
|
|
public final int edgetype; |
|
|
|
public final int edgetype; |
|
|
|
|
|
|
|
|
|
|
|
public Edge(String sourceid, Integer statid, int edgetype) { |
|
|
|
Edge(String sourceid, Integer statid, int edgetype) { |
|
|
|
this.sourceid = sourceid; |
|
|
|
this.sourceid = sourceid; |
|
|
|
this.statid = statid; |
|
|
|
this.statid = statid; |
|
|
|
this.edgetype = edgetype; |
|
|
|
this.edgetype = edgetype; |
|
|
|