| 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. |