+/*******************************************************************************
+ * 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;
+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;
-/**
- * A Statement.
- * @author Matthieu Casanova
- */
-public abstract class Statement extends AstNode {
-
- /**
- * Create a node giving starting and ending offset
- * @param sourceStart starting offset
- * @param sourceEnd ending offset
- */
- public Statement(int sourceStart, int sourceEnd) {
- super(sourceStart, sourceEnd);
- }
-
- public boolean isEmptyBlock() {
- return false;
- }
+public abstract class Statement extends ASTNode {
+
+ /**
+ * 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) {
+ }
}