| Package | Description |
|---|---|
| org.eclipse.jdt.internal.compiler.ast | |
| org.eclipse.jdt.internal.compiler.flow |
| Modifier and Type | Field and Description |
|---|---|
UnconditionalFlowInfo |
TryStatement.subRoutineInits |
| Modifier and Type | Field and Description |
|---|---|
static UnconditionalFlowInfo |
FlowInfo.DEAD_END |
UnconditionalFlowInfo |
SwitchFlowContext.initsOnBreak |
UnconditionalFlowInfo |
LoopingFlowContext.initsOnContinue |
UnconditionalFlowInfo |
ExceptionHandlingFlowContext.initsOnReturn |
UnconditionalFlowInfo |
InsideSubRoutineFlowContext.initsOnReturn |
| Modifier and Type | Method and 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 |
InsideSubRoutineFlowContext.initsOnReturn() |
UnconditionalFlowInfo |
FlowContext.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,
boolean reportDeadCodeInKnownPattern)
Merge if-else branches using optimized boolean conditions
|
UnconditionalFlowInfo |
ConditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits) |
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.nullInfoLessUnconditionalCopy() |
UnconditionalFlowInfo |
UnconditionalFlowInfo.nullInfoLessUnconditionalCopy() |
abstract UnconditionalFlowInfo |
FlowInfo.nullInfoLessUnconditionalCopy()
Return a copy of this unconditional flow info, deprived from its null
info.
|
UnconditionalFlowInfo |
ConditionalFlowInfo.unconditionalCopy() |
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.unconditionalFieldLessCopy() |
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.unconditionalInits() |
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.unconditionalInitsWithoutSideEffect() |
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. |
| Modifier and Type | Method and Description |
|---|---|
UnconditionalFlowInfo |
UnconditionalFlowInfo.addPotentialNullInfoFrom(UnconditionalFlowInfo otherInits)
Compose other inits over this flow info, then return this.
|
UnconditionalFlowInfo |
ConditionalFlowInfo.mergedWith(UnconditionalFlowInfo otherInits) |
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).
|
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 |
ExceptionHandlingFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo) |
void |
InsideSubRoutineFlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo) |
void |
FlowContext.recordReturnFrom(UnconditionalFlowInfo flowInfo) |
| Constructor and Description |
|---|
ExceptionHandlingFlowContext(FlowContext parent,
ASTNode associatedNode,
ReferenceBinding[] handledExceptions,
FlowContext initializationParent,
BlockScope scope,
UnconditionalFlowInfo flowInfo) |
Copyright © 2015. All rights reserved.