new version with WorkingCopy Management

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / internal / compiler / ast / Continue.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/internal/compiler/ast/Continue.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/internal/compiler/ast/Continue.java
new file mode 100644 (file)
index 0000000..c76da6a
--- /dev/null
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/internal/compiler/ast/Continue.java
@@ -0,0 +1,103 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2003 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials 
+ * are made available under the terms of the Common Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/cpl-v10.html
+ * 
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package net.sourceforge.phpeclipse.internal.compiler.ast;
+
+import net.sourceforge.phpdt.internal.compiler.IAbstractSyntaxTreeVisitor;
+import net.sourceforge.phpdt.internal.compiler.flow.FlowContext;
+import net.sourceforge.phpdt.internal.compiler.flow.FlowInfo;
+import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
+
+public class Continue extends BranchStatement {
+
+       public Continue(char[] l, int s, int e) {
+               
+               super(l, s, e);
+       }
+       
+       public FlowInfo analyseCode(
+               BlockScope currentScope,
+               FlowContext flowContext,
+               FlowInfo flowInfo) {
+
+               // here requires to generate a sequence of finally blocks invocations depending corresponding
+               // to each of the traversed try statements, so that execution will terminate properly.
+
+               // lookup the label, this should answer the returnContext
+               FlowContext targetContext = (label == null)
+                               ? flowContext.getTargetContextForDefaultContinue()
+                               : flowContext.getTargetContextForContinueLabel(label);
+
+               if (targetContext == null) {
+                       if (label == null) {
+                               currentScope.problemReporter().invalidContinue(this);
+                       } else {
+                               currentScope.problemReporter().undefinedLabel(this); 
+                       }
+                       return flowInfo; // pretend it did not continue since no actual target                  
+               } 
+
+               if (targetContext == FlowContext.NotContinuableContext) {
+                       currentScope.problemReporter().invalidContinue(this);
+                       return flowInfo; // pretend it did not continue since no actual target
+               }
+               targetLabel = targetContext.continueLabel();
+               FlowContext traversedContext = flowContext;
+               int subIndex = 0, maxSub = 5;
+               subroutines = new AstNode[maxSub];
+
+               do {
+                       AstNode sub;
+                       if ((sub = traversedContext.subRoutine()) != null) {
+                               if (subIndex == maxSub) {
+                                       System.arraycopy(subroutines, 0, (subroutines = new AstNode[maxSub*=2]), 0, subIndex); // grow
+                               }
+                               subroutines[subIndex++] = sub;
+                               if (sub.cannotReturn()) {
+                                       break;
+                               }
+                       }
+                       traversedContext.recordReturnFrom(flowInfo.unconditionalInits());
+
+                       AstNode node;
+                       if ((node = traversedContext.associatedNode) instanceof TryStatement) {
+                               TryStatement tryStatement = (TryStatement) node;
+                               flowInfo.addInitializationsFrom(tryStatement.subRoutineInits); // collect inits                 
+                       } else if (traversedContext == targetContext) {
+                               // only record continue info once accumulated through subroutines, and only against target context
+                               targetContext.recordContinueFrom(flowInfo);
+                               break;
+                       }
+               } while ((traversedContext = traversedContext.parent) != null);
+               
+               // resize subroutines
+               if (subIndex != maxSub) {
+                       System.arraycopy(subroutines, 0, (subroutines = new AstNode[subIndex]), 0, subIndex);
+               }
+               return FlowInfo.DEAD_END;
+       }
+
+       public String toString(int tab) {
+
+               String s = tabString(tab);
+               s += "continue "; //$NON-NLS-1$
+               if (label != null)
+                       s += new String(label);
+               return s;
+       }
+
+       public void traverse(
+               IAbstractSyntaxTreeVisitor visitor,
+               BlockScope blockScope) {
+
+               visitor.visit(this, blockScope);
+               visitor.endVisit(this, blockScope);
+       }
+}