org.eclipse.jdt.internal.compiler.ast.ContinueStatement Maven / Gradle / Ivy
/*******************************************************************************
* Copyright (c) 2000, 2012 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
* Stephan Herrmann - Contribution for
* bug 345305 - [compiler][null] Compiler misidentifies a case of "variable can only be null"
*******************************************************************************/
package org.eclipse.jdt.internal.compiler.ast;
import org.eclipse.jdt.internal.compiler.ASTVisitor;
import org.eclipse.jdt.internal.compiler.flow.*;
import org.eclipse.jdt.internal.compiler.lookup.*;
public class ContinueStatement extends BranchStatement {
public ContinueStatement(char[] label, int sourceStart, int sourceEnd) {
super(label, sourceStart, sourceEnd);
}
public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) {
// here requires to generate a sequence of finally blocks invocations depending corresponding
// to each of the traversed try statements, so that execution will terminate properly.
// lookup the label, this should answer the returnContext
FlowContext targetContext = (this.label == null)
? flowContext.getTargetContextForDefaultContinue()
: flowContext.getTargetContextForContinueLabel(this.label);
if (targetContext == null) {
if (this.label == null) {
currentScope.problemReporter().invalidContinue(this);
} else {
currentScope.problemReporter().undefinedLabel(this);
}
return flowInfo; // pretend it did not continue since no actual target
}
targetContext.recordAbruptExit();
if (targetContext == FlowContext.NotContinuableContext) {
currentScope.problemReporter().invalidContinue(this);
return flowInfo; // pretend it did not continue since no actual target
}
this.initStateIndex =
currentScope.methodScope().recordInitializationStates(flowInfo);
this.targetLabel = targetContext.continueLabel();
FlowContext traversedContext = flowContext;
int subCount = 0;
this.subroutines = new SubRoutineStatement[5];
do {
SubRoutineStatement sub;
if ((sub = traversedContext.subroutine()) != null) {
if (subCount == this.subroutines.length) {
System.arraycopy(this.subroutines, 0, this.subroutines = new SubRoutineStatement[subCount*2], 0, subCount); // grow
}
this.subroutines[subCount++] = sub;
if (sub.isSubRoutineEscaping()) {
break;
}
}
traversedContext.recordReturnFrom(flowInfo.unconditionalInits());
if (traversedContext instanceof InsideSubRoutineFlowContext) {
ASTNode node = traversedContext.associatedNode;
if (node instanceof TryStatement) {
TryStatement tryStatement = (TryStatement) node;
flowInfo.addInitializationsFrom(tryStatement.subRoutineInits); // collect inits
}
} else if (traversedContext == targetContext) {
// only record continue info once accumulated through subroutines, and only against target context
targetContext.recordContinueFrom(flowContext, flowInfo);
break;
}
} while ((traversedContext = traversedContext.getLocalParent()) != null);
// resize subroutines
if (subCount != this.subroutines.length) {
System.arraycopy(this.subroutines, 0, this.subroutines = new SubRoutineStatement[subCount], 0, subCount);
}
return FlowInfo.DEAD_END;
}
public StringBuffer printStatement(int tab, StringBuffer output) {
printIndent(tab, output).append("continue "); //$NON-NLS-1$
if (this.label != null) output.append(this.label);
return output.append(';');
}
public void traverse(ASTVisitor visitor, BlockScope blockScope) {
visitor.visit(this, blockScope);
visitor.endVisit(this, blockScope);
}
}