X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/ast/Statement.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/ast/Statement.java index ff647a4..12893a4 100644 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/ast/Statement.java +++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpdt/internal/compiler/ast/Statement.java @@ -1,27 +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; +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 - */ - protected Statement(final int sourceStart, - final int sourceEnd) { - super(sourceStart, sourceEnd); - } - - /** - * Tell if the block is empty. - * @return a statement is not empty by default - */ - 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) { + } }