1) Moved net.sourceforge.phpeclipse.ui\src\net\sourceforge\phpdt back to net.sourcefo...
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / compiler / ast / Statement.java
index c16f91f..12893a4 100644 (file)
@@ -1,15 +1,81 @@
+/*******************************************************************************
+ * 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.phpdt.internal.compiler.ast;
 
-/**
- * A Statement.
- * @author Matthieu Casanova
- */
-public class Statement extends AstNode {
+import net.sourceforge.phpdt.internal.compiler.codegen.Label;
+import net.sourceforge.phpdt.internal.compiler.flow.FlowContext;
+import net.sourceforge.phpdt.internal.compiler.flow.FlowInfo;
+import net.sourceforge.phpdt.internal.compiler.impl.Constant;
+import net.sourceforge.phpdt.internal.compiler.lookup.BlockScope;
+import net.sourceforge.phpdt.internal.compiler.lookup.TypeBinding;
 
-  public Statement() {
-  }
+public abstract class Statement extends ASTNode {
 
-  public boolean isEmptyBlock() {
-    return false;
-  }
+       /**
+        * Statement constructor comment.
+        */
+       public Statement() {
+               super();
+       }
+
+       public abstract FlowInfo analyseCode(BlockScope currentScope,
+                       FlowContext flowContext, FlowInfo flowInfo);
+
+       // public abstract void generateCode(BlockScope currentScope, CodeStream
+       // codeStream);
+
+       public boolean isEmptyBlock() {
+               return false;
+       }
+
+       public boolean isValidJavaStatement() {
+               // the use of this method should be avoid in most cases
+               // and is here mostly for documentation purpose.....
+               // while the parser is responsable for creating
+               // welled formed expression statement, which results
+               // in the fact that java-non-semantic-expression-used-as-statement
+               // should not be parsable...thus not being built.
+               // It sounds like the java grammar as help the compiler job in removing
+               // -by construction- some statement that would have no effect....
+               // (for example all expression that may do side-effects are valid
+               // statement
+               // -this is an appromative idea.....-)
+
+               return true;
+       }
+
+       public StringBuffer print(int indent, StringBuffer output) {
+               return printStatement(indent, output);
+       }
+
+       public abstract StringBuffer printStatement(int indent, StringBuffer output);
+
+       public abstract void resolve(BlockScope scope);
+
+       public Constant resolveCase(BlockScope scope, TypeBinding testType,
+                       SwitchStatement switchStatement) {
+               // statement within a switch that are not case are treated as normal
+               // statement....
+
+               resolve(scope);
+               return null;
+       }
+
+       public void resetStateForCodeGeneration() {
+       }
+
+       /**
+        * INTERNAL USE ONLY. Do nothing by default. This is used to redirect
+        * inter-statements jumps.
+        */
+       public void branchChainTo(Label label) {
+       }
 }