|
|
@ -420,37 +420,43 @@ public class LabelHelper { |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
private static void processStatementLabel(Statement stat) { |
|
|
|
private static HashSet<Statement>[] processStatementLabel(Statement stat) { |
|
|
|
processStatementLabel(stat, new HashSet<Statement>(), new HashSet<Statement>()); |
|
|
|
|
|
|
|
} |
|
|
|
HashSet<Statement> setBreak = new HashSet<Statement>(); |
|
|
|
|
|
|
|
HashSet<Statement> setContinue = new HashSet<Statement>(); |
|
|
|
|
|
|
|
|
|
|
|
private static void processStatementLabel(Statement stat, Set<Statement> setBreak, Set<Statement> setContinue) { |
|
|
|
|
|
|
|
if (stat.getExprents() == null) { |
|
|
|
if (stat.getExprents() == null) { |
|
|
|
for (Statement st : stat.getStats()) { |
|
|
|
for(Statement st : stat.getStats()) { |
|
|
|
processStatementLabel(st, setBreak, setContinue); |
|
|
|
HashSet<Statement>[] arr = processStatementLabel(st); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
setBreak.addAll(arr[0]); |
|
|
|
|
|
|
|
setContinue.addAll(arr[1]); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
boolean shieldtype = (stat.type == Statement.TYPE_DO || stat.type == Statement.TYPE_SWITCH); |
|
|
|
boolean shieldtype = (stat.type == Statement.TYPE_DO || stat.type == Statement.TYPE_SWITCH); |
|
|
|
|
|
|
|
|
|
|
|
for (StatEdge edge : stat.getLabelEdges()) { |
|
|
|
for(StatEdge edge : stat.getLabelEdges()) { |
|
|
|
if (edge.explicit) { |
|
|
|
if (edge.explicit) { |
|
|
|
if (shieldtype && ((edge.getType() == StatEdge.TYPE_BREAK && setBreak.contains(edge.getSource())) || |
|
|
|
if (shieldtype |
|
|
|
(edge.getType() == StatEdge.TYPE_CONTINUE && setContinue.contains(edge.getSource())))) { |
|
|
|
&& ((edge.getType() == StatEdge.TYPE_BREAK && setBreak.contains(edge.getSource())) || (edge.getType() == StatEdge.TYPE_CONTINUE && setContinue.contains(edge |
|
|
|
|
|
|
|
.getSource())))) { |
|
|
|
edge.labeled = false; |
|
|
|
edge.labeled = false; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
switch (stat.type) { |
|
|
|
switch (stat.type) { |
|
|
|
case Statement.TYPE_DO: |
|
|
|
case Statement.TYPE_DO: |
|
|
|
setContinue.clear(); |
|
|
|
setContinue.clear(); |
|
|
|
case Statement.TYPE_SWITCH: |
|
|
|
case Statement.TYPE_SWITCH: |
|
|
|
setBreak.clear(); |
|
|
|
setBreak.clear(); |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
setBreak.add(stat); |
|
|
|
setBreak.add(stat); |
|
|
|
setContinue.add(stat); |
|
|
|
setContinue.add(stat); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
return new HashSet[] { setBreak, setContinue }; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
public static void replaceContinueWithBreak(Statement stat) { |
|
|
|
public static void replaceContinueWithBreak(Statement stat) { |
|
|
|