}
}
- public Label continueLabel() {
- return continueLabel;
- }
+// public Label continueLabel() {
+// return continueLabel;
+// }
public String individualToString() {
StringBuffer buffer = new StringBuffer("Looping flow context"); //$NON-NLS-1$
return buffer.toString();
}
- public boolean isContinuable() {
- return true;
- }
-
- public boolean isContinuedTo() {
- return initsOnContinue != FlowInfo.DEAD_END;
- }
-
- public void recordContinueFrom(FlowInfo flowInfo) {
-
- if (!flowInfo.isReachable())
- return;
- if (initsOnContinue == FlowInfo.DEAD_END) {
- initsOnContinue = flowInfo.copy().unconditionalInits();
- } else {
- initsOnContinue = initsOnContinue.mergedWith(flowInfo
- .unconditionalInits());
- }
- ;
- }
+// public boolean isContinuable() {
+// return true;
+// }
+
+// public boolean isContinuedTo() {
+// return initsOnContinue != FlowInfo.DEAD_END;
+// }
+
+// public void recordContinueFrom(FlowInfo flowInfo) {
+//
+// if (!flowInfo.isReachable())
+// return;
+// if (initsOnContinue == FlowInfo.DEAD_END) {
+// initsOnContinue = flowInfo.copy().unconditionalInits();
+// } else {
+// initsOnContinue = initsOnContinue.mergedWith(flowInfo
+// .unconditionalInits());
+// }
+// ;
+// }
boolean recordFinalAssignment(VariableBinding binding,
Reference finalAssignment) {