|
|
@ -433,13 +433,11 @@ public class LabelHelper { |
|
|
|
setContinue.addAll(arr[1]); |
|
|
|
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); |
|
|
|
|
|
|
|
if (shieldType) { |
|
|
|
for (StatEdge edge : stat.getLabelEdges()) { |
|
|
|
for (StatEdge edge : stat.getLabelEdges()) { |
|
|
|
if (edge.explicit) { |
|
|
|
if (edge.explicit && ((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; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|