| Class | Description |
|---|---|
| JvmAssumeCaseCfaEdge |
An edge representing an assumption that a case of a switch statement is taken.
|
| JvmAssumeCfaEdge |
An edge representing an assumption on a JVM branch instruction that can be either taken or not
taken.
|
| JvmAssumeDefaultCfaEdge |
An edge representing an assumption that the default case of a switch statement is taken.
|
| JvmAssumeExceptionCfaEdge |
An edge representing an assumption on a JVM exception of a specific type that can be either
caught or not caught.
|
| JvmCallCfaEdge |
A
JvmCfaEdge representing a call to another method, linking to the first node of the
called method. |
| JvmCfaEdge |
Default implementation of
CfaEdge for JVM instructions. |
| JvmInstructionCfaEdge |
A
JvmCfaEdge the operation of which is defined by an instruction. |