|
Class Summary |
| 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... |
| 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... |
| NullInfoRegistry |
A degenerate form of UnconditionalFlowInfo explicitly meant to capture
the effects of null related operations within try blocks. |
| SwitchFlowContext |
Reflects the context of code analysis, keeping track of enclosing
try statements, exception handlers, etc... |
| UnconditionalFlowInfo |
Record initialization status during definite assignment analysis
No caching of pre-allocated instances. |