blob: 4ffc764b249e0a5a4f5b828bb1004dbc374efabd [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2009 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 FlowContext {
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) == 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;
}
}