/******************************************************************************* * 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.ASTVisitor; import org.eclipse.jdt.internal.compiler.codegen.*; import org.eclipse.jdt.internal.compiler.flow.*; import org.eclipse.jdt.internal.compiler.lookup.*; public class LabeledStatement extends Statement { public Statement statement; public char[] label; public Label targetLabel; // for local variables table attributes int mergedInitStateIndex = -1; /** * LabeledStatement constructor comment. */ public LabeledStatement(char[] label, Statement statement, int sourceStart, int sourceEnd) { this.statement = statement; // remember useful empty statement if (statement instanceof EmptyStatement) statement.bits |= IsUsefulEmptyStatementMASK; this.label = label; this.sourceStart = sourceStart; this.sourceEnd = sourceEnd; } public FlowInfo analyseCode( BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) { // need to stack a context to store explicit label, answer inits in case of normal completion merged // with those relative to the exit path from break statement occurring inside the labeled statement. if (statement == null) { return flowInfo; } else { LabelFlowContext labelContext; FlowInfo mergedInfo = statement .analyseCode( currentScope, (labelContext = new LabelFlowContext( flowContext, this, label, (targetLabel = new Label()), currentScope)), flowInfo) .mergedWith(labelContext.initsOnBreak); mergedInitStateIndex = currentScope.methodScope().recordInitializationStates(mergedInfo); return mergedInfo; } } public ASTNode concreteStatement() { // return statement.concreteStatement(); // for supporting nested labels: a:b:c: someStatement (see 21912) return statement; } /** * Code generation for labeled statement * * may not need actual source positions recording * * @param currentScope org.eclipse.jdt.internal.compiler.lookup.BlockScope * @param codeStream org.eclipse.jdt.internal.compiler.codegen.CodeStream */ public void generateCode(BlockScope currentScope, CodeStream codeStream) { int pc = codeStream.position; if (targetLabel != null) { targetLabel.initialize(codeStream); if (statement != null) { statement.generateCode(currentScope, codeStream); } targetLabel.place(); } // May loose some local variable initializations : affecting the local variable attributes if (mergedInitStateIndex != -1) { codeStream.removeNotDefinitelyAssignedVariables(currentScope, mergedInitStateIndex); codeStream.addDefinitelyAssignedVariables(currentScope, mergedInitStateIndex); } codeStream.recordPositionsFrom(pc, this.sourceStart); } public StringBuffer printStatement(int tab, StringBuffer output) { printIndent(tab, output).append(label).append(": "); //$NON-NLS-1$ if (this.statement == null) output.append(';'); else this.statement.printStatement(0, output); return output; } public void resolve(BlockScope scope) { if (this.statement != null) { this.statement.resolve(scope); } } public void traverse( ASTVisitor visitor, BlockScope blockScope) { if (visitor.visit(this, blockScope)) { if (this.statement != null) this.statement.traverse(visitor, blockScope); } visitor.endVisit(this, blockScope); } }