| Class | Description |
|---|---|
| BytecodeAnalysisContext |
It effectively contains a context chain, i.e.
|
| BytecodeAnalysisContextPolicy | |
| BytecodeSensitiveAnalysisPolicy | |
| ContextSensitiveMultiTypeState | |
| ContextSensitiveMultiTypeState.Range |
A [left, right) range (interval), i.e., left is inclusive, right is exclusive.
|
| ContextSensitiveSingleTypeState |