X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Forg%2Feclipse%2Fjdt%2Finternal%2Fcompiler%2Fast%2FStatement.java;fp=src%2Forg%2Feclipse%2Fjdt%2Finternal%2Fcompiler%2Fast%2FStatement.java;h=2e240f72cff30b9c91a2e5309d75342496b80dc9;hb=040fa5af2cd00017cf3575950cdaade34a6d7f6c;hp=0000000000000000000000000000000000000000;hpb=a580fb8376d315d05e4d6bfdff9ff1101a151cd6;p=org.ibex.tool.git

diff --git a/src/org/eclipse/jdt/internal/compiler/ast/Statement.java b/src/org/eclipse/jdt/internal/compiler/ast/Statement.java
new file mode 100644
index 0000000..2e240f7
--- /dev/null
+++ b/src/org/eclipse/jdt/internal/compiler/ast/Statement.java
@@ -0,0 +1,79 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2004 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 org.eclipse.jdt.internal.compiler.ast;
+
+import org.eclipse.jdt.internal.compiler.impl.*;
+import org.eclipse.jdt.internal.compiler.codegen.*;
+import org.eclipse.jdt.internal.compiler.flow.*;
+import org.eclipse.jdt.internal.compiler.lookup.*;
+
+public abstract class Statement extends ASTNode {
+	
+	public abstract FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo);
+	
+	/**
+	 * INTERNAL USE ONLY.
+	 * This is used to redirect inter-statements jumps.
+	 */
+	public void branchChainTo(Label label) {
+		// do nothing by default
+	}
+	
+	// Report an error if necessary
+	public boolean complainIfUnreachable(FlowInfo flowInfo, BlockScope scope, boolean didAlreadyComplain) {
+	
+		if ((flowInfo.reachMode() & FlowInfo.UNREACHABLE) != 0) {
+			this.bits &= ~ASTNode.IsReachableMASK;
+			boolean reported = flowInfo == FlowInfo.DEAD_END;
+			if (!didAlreadyComplain && reported) {
+				scope.problemReporter().unreachableCode(this);
+			}
+			return reported; // keep going for fake reachable
+		}
+		return false;
+	}
+	
+	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;
+	}
+
+}