Uses of Class
org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo

Packages that use UnconditionalFlowInfo

org.eclipse.jdt.internal.compiler.ast
org.eclipse.jdt.internal.compiler.flow

Uses of UnconditionalFlowInfo in org.eclipse.jdt.internal.compiler.ast

Fields in org.eclipse.jdt.internal.compiler.ast declared as UnconditionalFlowInfo

UnconditionalFlowInfo

TryStatement.subRoutineInits

Uses of UnconditionalFlowInfo in org.eclipse.jdt.internal.compiler.flow

Subclasses of UnconditionalFlowInfo in org.eclipse.jdt.internal.compiler.flow

class

NullInfoRegistry A degenerate form of UnconditionalFlowInfo explicitly meant to capture the effects of null related operations within try blocks.

Fields in org.eclipse.jdt.internal.compiler.flow declared as UnconditionalFlowInfo

static UnconditionalFlowInfo	FlowInfo.DEAD_END
UnconditionalFlowInfo	SwitchFlowContext.initsOnBreak
UnconditionalFlowInfo	LoopingFlowContext.initsOnContinue
UnconditionalFlowInfo	InsideSubRoutineFlowContext.initsOnReturn
UnconditionalFlowInfo	ExceptionHandlingFlowContext.initsOnReturn

Methods in org.eclipse.jdt.internal.compiler.flow that return UnconditionalFlowInfo

UnconditionalFlowInfo	UnconditionalFlowInfo.addPotentialNullInfoFrom(UnconditionalFlowInfo otherInits) Compose other inits over this flow info, then return this.
UnconditionalFlowInfo	UnconditionalFlowInfo.discardInitializationInfo() Discard definite inits and potential inits from this, then return this.
UnconditionalFlowInfo	UnconditionalFlowInfo.discardNonFieldInitializations() Remove local variables information from this flow info and return this.
static UnconditionalFlowInfo	FlowInfo.initial(int maxFieldCount)
UnconditionalFlowInfo	ExceptionHandlingFlowContext.initsOnException(ReferenceBinding exceptionType)
UnconditionalFlowInfo	InsideSubRoutineFlowContext.initsOnReturn()
UnconditionalFlowInfo	FlowContext.initsOnReturn()
UnconditionalFlowInfo	ExceptionHandlingFlowContext.initsOnReturn()
static UnconditionalFlowInfo	FlowInfo.mergedOptimizedBranches(FlowInfo initsWhenTrue, boolean isOptimizedTrue, FlowInfo initsWhenFalse, boolean isOptimizedFalse, boolean allowFakeDeadBranch) Merge branches using optimized boolean conditions
UnconditionalFlowInfo	UnconditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
abstract UnconditionalFlowInfo	FlowInfo.mergedWith(UnconditionalFlowInfo otherInits) Return the intersection of this and otherInits, that is one of: the receiver updated in the following way: intersection of definitely assigned variables, union of potentially assigned variables, similar operations for null, or the receiver or otherInits if the other one is non reachable. otherInits is not affected, and is not returned either (no need to protect the result).
UnconditionalFlowInfo	ConditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
UnconditionalFlowInfo	NullInfoRegistry.mitigateNullInfoOf(FlowInfo flowInfo) Mitigate the definite and protected info of flowInfo, depending on what this null info registry knows about potential assignments and messages sends involving locals.
UnconditionalFlowInfo	UnconditionalFlowInfo.nullInfoLessUnconditionalCopy()
abstract UnconditionalFlowInfo	FlowInfo.nullInfoLessUnconditionalCopy() Return a copy of this unconditional flow info, deprived from its null info.
UnconditionalFlowInfo	ConditionalFlowInfo.nullInfoLessUnconditionalCopy()
UnconditionalFlowInfo	UnconditionalFlowInfo.unconditionalCopy()
abstract UnconditionalFlowInfo	FlowInfo.unconditionalCopy() Return a new flow info that holds the same information as this would after a call to unconditionalInits, but leaving this info unaffected.
UnconditionalFlowInfo	ConditionalFlowInfo.unconditionalCopy()
UnconditionalFlowInfo	UnconditionalFlowInfo.unconditionalFieldLessCopy()
abstract UnconditionalFlowInfo	FlowInfo.unconditionalFieldLessCopy() Return a new flow info that holds the same information as this would after a call to unconditionalInits followed by the erasure of fields specific information, but leaving this flow info unaffected.
UnconditionalFlowInfo	ConditionalFlowInfo.unconditionalFieldLessCopy()
UnconditionalFlowInfo	UnconditionalFlowInfo.unconditionalInits()
abstract UnconditionalFlowInfo	FlowInfo.unconditionalInits() Return a flow info that merges the possible paths of execution described by this flow info.
UnconditionalFlowInfo	ConditionalFlowInfo.unconditionalInits()
UnconditionalFlowInfo	UnconditionalFlowInfo.unconditionalInitsWithoutSideEffect()
abstract UnconditionalFlowInfo	FlowInfo.unconditionalInitsWithoutSideEffect() Return a new flow info that holds the same information as this would after a call to unconditionalInits, but leaving this info unaffected.
UnconditionalFlowInfo	ConditionalFlowInfo.unconditionalInitsWithoutSideEffect()

Methods in org.eclipse.jdt.internal.compiler.flow with parameters of type UnconditionalFlowInfo

UnconditionalFlowInfo	UnconditionalFlowInfo.addPotentialNullInfoFrom(UnconditionalFlowInfo otherInits) Compose other inits over this flow info, then return this.
UnconditionalFlowInfo	UnconditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
abstract UnconditionalFlowInfo	FlowInfo.mergedWith(UnconditionalFlowInfo otherInits) Return the intersection of this and otherInits, that is one of: the receiver updated in the following way: intersection of definitely assigned variables, union of potentially assigned variables, similar operations for null, or the receiver or otherInits if the other one is non reachable. otherInits is not affected, and is not returned either (no need to protect the result).
UnconditionalFlowInfo	ConditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
void	InitializationFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, ASTNode invocationSite, boolean wasMasked)
void	ExceptionHandlingFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, ASTNode invocationSite, boolean wasAlreadyDefinitelyCaught)
void	InsideSubRoutineFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)
void	FlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)
void	ExceptionHandlingFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)

Constructors in org.eclipse.jdt.internal.compiler.flow with parameters of type UnconditionalFlowInfo

ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, BlockScope scope, UnconditionalFlowInfo flowInfo)

NullInfoRegistry(UnconditionalFlowInfo upstream)
Make a new null info registry, using an upstream flow info.