类 org.eclipse.jdt.internal.compiler.flow.UnconditionalFlowInfo
的使用

使用 UnconditionalFlowInfo 的软件包

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

org.eclipse.jdt.internal.compiler.ast 中 UnconditionalFlowInfo 的使用

声明为 UnconditionalFlowInfo 的 org.eclipse.jdt.internal.compiler.ast 中的字段

UnconditionalFlowInfo

TryStatement.subRoutineInits

org.eclipse.jdt.internal.compiler.flow 中 UnconditionalFlowInfo 的使用

org.eclipse.jdt.internal.compiler.flow 中 UnconditionalFlowInfo 的子类

class

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

声明为 UnconditionalFlowInfo 的 org.eclipse.jdt.internal.compiler.flow 中的字段

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

返回 UnconditionalFlowInfo 的 org.eclipse.jdt.internal.compiler.flow 中的方法

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(int index)
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
static UnconditionalFlowInfo	FlowInfo.mergedOptimizedBranchesIfElse(FlowInfo initsWhenTrue, boolean isOptimizedTrue, FlowInfo initsWhenFalse, boolean isOptimizedFalse, boolean allowFakeDeadBranch, FlowInfo flowInfo, IfStatement ifStatement) Merge if-else 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.
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()

参数类型为 UnconditionalFlowInfo 的 org.eclipse.jdt.internal.compiler.flow 中的方法

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.
UnconditionalFlowInfo	ConditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits)
void	InitializationFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, TypeBinding caughtException, ASTNode invocationSite, boolean wasMasked)
void	ExceptionHandlingFlowContext.recordHandlingException(ReferenceBinding exceptionType, UnconditionalFlowInfo flowInfo, TypeBinding raisedException, TypeBinding caughtException, ASTNode invocationSite, boolean wasAlreadyDefinitelyCaught)
void	InsideSubRoutineFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)
void	FlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)
void	ExceptionHandlingFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo)

参数类型为 UnconditionalFlowInfo 的 org.eclipse.jdt.internal.compiler.flow 中的构造方法

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

ExceptionHandlingFlowContext(FlowContext parent, ASTNode associatedNode, ReferenceBinding[] handledExceptions, int[] exceptionToCatchBlockMap, Argument[] catchArguments, FlowContext initializationParent, BlockScope scope, UnconditionalFlowInfo flowInfo)

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