Package pascal.taie.analysis.graph.cfg

Enum Class CFGEdge.Kind

java.lang.Object

java.lang.Enum<CFGEdge.Kind>

pascal.taie.analysis.graph.cfg.CFGEdge.Kind

All Implemented Interfaces:

Serializable, Comparable<CFGEdge.Kind>, Constable

Enclosing class:

CFGEdge<N>

public static enum CFGEdge.Kind
extends Enum<CFGEdge.Kind>

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
CAUGHT_EXCEPTION	Edge representing exceptional control flow from an exception-raising node to an explicit handler for the exception.
ENTRY	Edge from entry node to real start node.
FALL_THROUGH	Edge kind for fall-through to next statement.
GOTO	Edge kind for goto statements.
IF_FALSE	Edge kind for if statements when condition is false.
IF_TRUE	Edge kind for if statements when condition is true.
RETURN	Edge kind for return statements.
SWITCH_CASE	Edge kind for switch statements (explicit case).
SWITCH_DEFAULT	Edge kind for switch statements (default case).
UNCAUGHT_EXCEPTION	Edge representing the possibility that a node raise an exception that cannot be caught by the current method.

Method Summary

Modifier and Type	Method	Description
static CFGEdge.Kind	valueOf(String name)	Returns the enum constant of this class with the specified name.
static CFGEdge.Kind[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

ENTRY

public static final CFGEdge.Kind ENTRY

Edge from entry node to real start node.

FALL_THROUGH

public static final CFGEdge.Kind FALL_THROUGH

Edge kind for fall-through to next statement.

GOTO

public static final CFGEdge.Kind GOTO

Edge kind for goto statements.

IF_TRUE

public static final CFGEdge.Kind IF_TRUE

Edge kind for if statements when condition is true.

IF_FALSE

public static final CFGEdge.Kind IF_FALSE

Edge kind for if statements when condition is false.

SWITCH_CASE

public static final CFGEdge.Kind SWITCH_CASE

Edge kind for switch statements (explicit case).

SWITCH_DEFAULT

public static final CFGEdge.Kind SWITCH_DEFAULT

Edge kind for switch statements (default case).

CAUGHT_EXCEPTION

public static final CFGEdge.Kind CAUGHT_EXCEPTION

Edge representing exceptional control flow from an exception-raising node to an explicit handler for the exception.

UNCAUGHT_EXCEPTION

public static final CFGEdge.Kind UNCAUGHT_EXCEPTION

Edge representing the possibility that a node raise an exception that cannot be caught by the current method. These edges always go to the exit node of the CFG.

RETURN

public static final CFGEdge.Kind RETURN

Edge kind for return statements. These edges always go to the exit node of the CFG.

Method Details

values

public static CFGEdge.Kind[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static CFGEdge.Kind valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null