CfaNode (ProGuardCORE)

All Known Implementing Classes:

JvmCatchCfaNode, JvmCfaNode, JvmUnknownCfaNode
```
public interface CfaNode<CfaEdgeT extends CfaEdge,SignatureT extends Signature>
```
A node for Cfa parametrized by its edges CfaEdgeT. A CFA node corresponds to a program point before the instruction at a specific offset.

Field Summary

Fields
Modifier and Type Field Description

static int EXCEPTION_EXIT_NODE_OFFSET

static int RETURN_EXIT_NODE_OFFSET

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`java.util.List<CfaEdgeT>`	`getEnteringEdges()`	Returns a list of entering edges.
`java.util.List<CfaEdgeT>`	`getLeavingEdges()`	Returns a list of leaving edges.
`int`	`getOffset()`	Returns the instruction offset.
`SignatureT`	`getSignature()`	Returns the function signature it belongs to.
`boolean`	`isEntryNode()`	Checks whether the node is a function entry.
`default boolean`	`isExceptionExitNode()`	Returns true if the node is the return location of the function (offset == `EXCEPTION_EXIT_NODE_OFFSET`).
`boolean`	`isExitNode()`	Checks whether the node is a function exit.
`default boolean`	`isReturnExitNode()`	Returns true if the node is the return location of the function (offset == `RETURN_EXIT_NODE_OFFSET`).
`default boolean`	`isUnknownNode()`	Returns true if the location of the node is unknown.

- Field Detail
  - RETURN_EXIT_NODE_OFFSET
```
static final int RETURN_EXIT_NODE_OFFSET
```
    See Also:
    
    Constant Field Values
  - EXCEPTION_EXIT_NODE_OFFSET
```
static final int EXCEPTION_EXIT_NODE_OFFSET
```
    See Also:
    
    Constant Field Values
- Method Detail
  - getLeavingEdges
```
java.util.List<CfaEdgeT> getLeavingEdges()
```
    Returns a list of leaving edges.
  - getEnteringEdges
```
java.util.List<CfaEdgeT> getEnteringEdges()
```
    Returns a list of entering edges.
  - isEntryNode
```
boolean isEntryNode()
```
    Checks whether the node is a function entry.
  - isExitNode
```
boolean isExitNode()
```
    Checks whether the node is a function exit.
  - getSignature
```
SignatureT getSignature()
```
    Returns the function signature it belongs to.
  - getOffset
```
int getOffset()
```
    Returns the instruction offset.
  - isReturnExitNode
```
default boolean isReturnExitNode()
```
    Returns true if the node is the return location of the function (offset == RETURN_EXIT_NODE_OFFSET).
  - isExceptionExitNode
```
default boolean isExceptionExitNode()
```
    Returns true if the node is the return location of the function (offset == EXCEPTION_EXIT_NODE_OFFSET).
  - isUnknownNode
```
default boolean isUnknownNode()
```
    Returns true if the location of the node is unknown.