org.eclipse.jdt.internal.compiler.flow.InsideSubRoutineFlowContext Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of ecj Show documentation
Show all versions of ecj Show documentation
This is Eclipse JDT Core Batch Compiler used by Scout SDK
The newest version!
/*******************************************************************************
* Copyright (c) 2000, 2013 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
*******************************************************************************/
package org.eclipse.jdt.internal.compiler.flow;
import org.eclipse.jdt.internal.compiler.ast.ASTNode;
import org.eclipse.jdt.internal.compiler.ast.SubRoutineStatement;
/**
* Reflects the context of code analysis, keeping track of enclosing
* try statements, exception handlers, etc...
*/
public class InsideSubRoutineFlowContext extends TryFlowContext {
public UnconditionalFlowInfo initsOnReturn;
public InsideSubRoutineFlowContext(
FlowContext parent,
ASTNode associatedNode) {
super(parent, associatedNode);
this.initsOnReturn = FlowInfo.DEAD_END;
}
public String individualToString() {
StringBuffer buffer = new StringBuffer("Inside SubRoutine flow context"); //$NON-NLS-1$
buffer.append("[initsOnReturn -").append(this.initsOnReturn.toString()).append(']'); //$NON-NLS-1$
return buffer.toString();
}
public UnconditionalFlowInfo initsOnReturn(){
return this.initsOnReturn;
}
public boolean isNonReturningContext() {
return ((SubRoutineStatement) this.associatedNode).isSubRoutineEscaping();
}
public void recordReturnFrom(UnconditionalFlowInfo flowInfo) {
if ((flowInfo.tagBits & FlowInfo.UNREACHABLE_OR_DEAD) == 0) {
if (this.initsOnReturn == FlowInfo.DEAD_END) {
this.initsOnReturn = (UnconditionalFlowInfo) flowInfo.copy();
} else {
this.initsOnReturn = this.initsOnReturn.mergedWith(flowInfo);
}
}
}
public SubRoutineStatement subroutine() {
return (SubRoutineStatement) this.associatedNode;
}
}