package org.eclipse.jdt.internal.compiler.ast;
import org.eclipse.jdt.internal.compiler.ASTVisitor;
import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
import org.eclipse.jdt.internal.compiler.codegen.CodeStream;
import org.eclipse.jdt.internal.compiler.flow.*;
import org.eclipse.jdt.internal.compiler.lookup.*;
public class YieldStatement extends BranchStatement {
public Expression expression;
public SwitchExpression switchExpression;
public boolean isImplicit;
public YieldStatement(Expression exp, int sourceStart, int sourceEnd) {
super(null, sourceStart, sourceEnd);
this.expression = exp;
}
@Override
public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo) {
FlowContext targetContext = this.isImplicit ? flowContext.getTargetContextForDefaultBreak() :
flowContext.getTargetContextForDefaultYield();
flowInfo = this.expression.analyseCode(currentScope, flowContext, flowInfo);
this.expression.checkNPEbyUnboxing(currentScope, flowContext, flowInfo);
if (flowInfo.reachMode() == FlowInfo.REACHABLE && currentScope.compilerOptions().isAnnotationBasedNullAnalysisEnabled)
checkAgainstNullAnnotation(currentScope, flowContext, flowInfo, this.expression);
targetContext.recordAbruptExit();
targetContext.expireNullCheckedFieldInfo();
this.initStateIndex =
currentScope.methodScope().recordInitializationStates(flowInfo);
this.targetLabel = targetContext.breakLabel();
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);
}
this.subroutines[subCount++] = sub;
if (sub.isSubRoutineEscaping()) {
break;
}
}
traversedContext.recordReturnFrom(flowInfo.unconditionalInits());
traversedContext.recordBreakTo(targetContext);
if (traversedContext instanceof InsideSubRoutineFlowContext) {
ASTNode node = traversedContext.associatedNode;
if (node instanceof TryStatement) {
TryStatement tryStatement = (TryStatement) node;
flowInfo.addInitializationsFrom(tryStatement.subRoutineInits);
}
} else if (traversedContext == targetContext) {
targetContext.recordBreakFrom(flowInfo);
break;
}
} while ((traversedContext = traversedContext.getLocalParent()) != null);
if (subCount != this.subroutines.length) {
System.arraycopy(this.subroutines, 0, (this.subroutines = new SubRoutineStatement[subCount]), 0, subCount);
}
return FlowInfo.DEAD_END;
}
@Override
protected void generateExpressionResultCode(BlockScope currentScope, CodeStream codeStream) {
this.expression.generateCode(currentScope, codeStream, this.switchExpression != null);
}
@Override
protected void adjustStackSize(BlockScope currentScope, CodeStream codeStream) {
if (this.label == null && this.expression != null && this.switchExpression != null) {
TypeBinding postConversionType = this.expression.postConversionType(currentScope);
switch(postConversionType.id) {
case TypeIds.T_long :
case TypeIds.T_double :
codeStream.decrStackSize(2);
break;
case TypeIds.T_void :
break;
default :
codeStream.decrStackSize(1);
break;
}
}
}
@Override
public void resolve(BlockScope scope) {
super.resolve(scope);
if (this.expression == null) {
return;
}
if (this.switchExpression != null || this.isImplicit) {
if (this.switchExpression == null && this.isImplicit && !this.expression.statementExpression()) {
if (scope.compilerOptions().sourceLevel >= ClassFileConstants.JDK12 && scope.compilerOptions().enablePreviewFeatures) {
scope.problemReporter().invalidExpressionAsStatement(this.expression);
return;
}
}
} else {
if (scope.compilerOptions().sourceLevel >= ClassFileConstants.JDK13) {
if (scope.compilerOptions().enablePreviewFeatures) {
scope.problemReporter().switchExpressionsYieldOutsideSwitchExpression(this);
} else {
scope.problemReporter().switchExpressionsYieldIllegalStatement(this);
}
}
}
this.expression.resolveType(scope);
}
@Override
public TypeBinding resolveExpressionType(BlockScope scope) {
return this.expression != null ? this.expression.resolveType(scope) : null;
}
@Override
public StringBuffer printStatement(int tab, StringBuffer output) {
if (!this.isImplicit)
printIndent(tab, output).append("yield");
if (this.expression != null) {
output.append(' ');
this.expression.printExpression(tab, output);
}
return output.append(';');
}
@Override
public void traverse(ASTVisitor visitor, BlockScope blockscope) {
if (visitor.visit(this, blockscope)) {
if (this.expression != null)
this.expression.traverse(visitor, blockscope);
}
visitor.endVisit(this, blockscope);
}
@Override
public boolean doesNotCompleteNormally() {
return true;
}
}