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

Packages that use UnconditionalFlowInfo

Package	Description
org.aspectj.org.eclipse.jdt.internal.compiler.ast
org.aspectj.org.eclipse.jdt.internal.compiler.flow

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

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

Modifier and Type	Field	Description
UnconditionalFlowInfo	TryStatement.subRoutineInits

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

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

Modifier and Type	Field	Description
static final UnconditionalFlowInfo	FlowInfo.DEAD_END
UnconditionalFlowInfo	SwitchFlowContext.initsOnBreak
UnconditionalFlowInfo	LoopingFlowContext.initsOnContinue
UnconditionalFlowInfo	ExceptionHandlingFlowContext.initsOnReturn
UnconditionalFlowInfo	InsideSubRoutineFlowContext.initsOnReturn

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

Modifier and Type	Method	Description
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	UnconditionalFlowInfo.fakeInitializedFlowInfo(int localsCount, int maxFieldCount)
static UnconditionalFlowInfo	FlowInfo.initial(int maxFieldCount)
UnconditionalFlowInfo	ExceptionHandlingFlowContext.initsOnException(int index)
UnconditionalFlowInfo	ExceptionHandlingFlowContext.initsOnReturn()
UnconditionalFlowInfo	FlowContext.initsOnReturn()
UnconditionalFlowInfo	InsideSubRoutineFlowContext.initsOnReturn()
UnconditionalFlowInfo	ConditionalFlowInfo.mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
abstract UnconditionalFlowInfo	FlowInfo.mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
UnconditionalFlowInfo	UnconditionalFlowInfo.mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
static UnconditionalFlowInfo	FlowInfo.mergedOptimizedBranches(FlowInfo initsWhenTrue, boolean isOptimizedTrue, FlowInfo initsWhenFalse, boolean isOptimizedFalse, boolean allowFakeDeadBranch)	Merge branches using optimized boolean conditions
static UnconditionalFlowInfo	FlowInfo.mergedOptimizedBranchesIfElse(FlowInfo initsWhenTrue, boolean isOptimizedTrue, FlowInfo initsWhenFalse, boolean isOptimizedFalse, boolean allowFakeDeadBranch, FlowInfo flowInfo, IfStatement ifStatement, boolean reportDeadCodeInKnownPattern)	Merge if-else branches using optimized boolean conditions
UnconditionalFlowInfo	ConditionalFlowInfo.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	UnconditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
UnconditionalFlowInfo	ConditionalFlowInfo.nullInfoLessUnconditionalCopy()
abstract UnconditionalFlowInfo	FlowInfo.nullInfoLessUnconditionalCopy()	Return a copy of this unconditional flow info, deprived from its null info.
UnconditionalFlowInfo	UnconditionalFlowInfo.nullInfoLessUnconditionalCopy()
UnconditionalFlowInfo	ConditionalFlowInfo.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	UnconditionalFlowInfo.unconditionalCopy()
UnconditionalFlowInfo	ConditionalFlowInfo.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	UnconditionalFlowInfo.unconditionalFieldLessCopy()
UnconditionalFlowInfo	ConditionalFlowInfo.unconditionalInits()
abstract UnconditionalFlowInfo	FlowInfo.unconditionalInits()	Return a flow info that merges the possible paths of execution described by this flow info.
UnconditionalFlowInfo	UnconditionalFlowInfo.unconditionalInits()
UnconditionalFlowInfo	ConditionalFlowInfo.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	UnconditionalFlowInfo.unconditionalInitsWithoutSideEffect()

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

Modifier and Type	Method	Description
void	UnconditionalFlowInfo.acceptIncomingNullnessFrom(UnconditionalFlowInfo other)	If current info sits within a loop and where (non)nullness is known to reach this point, then corresponding (non)nullness from other should override existing state.
UnconditionalFlowInfo	UnconditionalFlowInfo.addPotentialNullInfoFrom(UnconditionalFlowInfo otherInits)	Compose other inits over this flow info, then return this.
UnconditionalFlowInfo	ConditionalFlowInfo.mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
abstract UnconditionalFlowInfo	FlowInfo.mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
UnconditionalFlowInfo	UnconditionalFlowInfo.mergeDefiniteInitsWith(UnconditionalFlowInfo otherInits)
UnconditionalFlowInfo	ConditionalFlowInfo.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	UnconditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
void	ExceptionHandlingFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, TypeBinding caughtException, ASTNode invocationSite, boolean wasAlreadyDefinitelyCaught)
void	InitializationFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, TypeBinding caughtException, ASTNode invocationSite, boolean wasMasked)
void	ExceptionHandlingFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)
void	FlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)
void	InsideSubRoutineFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)

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

Modifier	Constructor	Description
	ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)
	ExceptionInferenceFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)
	FieldInitsFakingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)