| Class | Description |
|---|---|
| ConditionalFlowInfo |
Record conditional initialization status during definite assignment analysis
|
| ExceptionHandlingFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| ExceptionInferenceFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| FieldInitsFakingFlowContext |
For instances of this class,
FlowContext.getInitsForFinalBlankInitializationCheck(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.TypeBinding, FlowInfo)
will returns a FlowInfo.DEAD_END, which for which
FlowInfo.isDefinitelyAssigned(org.aspectj.org.eclipse.jdt.internal.compiler.lookup.FieldBinding) returns true for all
fields. |
| FinallyFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| FlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| FlowInfo | |
| InitializationFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| InsideSubRoutineFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| LabelFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| LoopingFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| SwitchFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc...
|
| TryFlowContext |
Shared implementation for try-statement-related flow contexts.
|
| UnconditionalFlowInfo |
Record initialization status during definite assignment analysis
No caching of pre-allocated instances.
|
| Exception | Description |
|---|---|
| UnconditionalFlowInfo.AssertionFailedException |
Exception raised when unexpected behavior is detected.
|