Module dev.civl.abc

Package dev.civl.abc.analysis.pointsTo.IF

Enum Class AssignExprIF.AssignExprKind

java.lang.Object

java.lang.Enum<AssignExprIF.AssignExprKind>

dev.civl.abc.analysis.pointsTo.IF.AssignExprIF.AssignExprKind

All Implemented Interfaces:

Serializable, Comparable<AssignExprIF.AssignExprKind>, Constable

Enclosing interface:

AssignExprIF

public static enum AssignExprIF.AssignExprKind
extends Enum<AssignExprIF.AssignExprKind>

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
AUX	represents an auxiliary abstract object that is associated with no actual program objects.
FIELD	represents the struct/union field of an abstract object
OFFSET	represents a abstract object with an integral offset
STORE	represents an actual program objects: it is either a variable, an allocated object or a string literal
SUBSCRIPT	represents an array element of an abstract object

Method Summary

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

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

STORE

public static final AssignExprIF.AssignExprKind STORE

represents an actual program objects: it is either a variable, an allocated object or a string literal

FIELD

public static final AssignExprIF.AssignExprKind FIELD

represents the struct/union field of an abstract object

SUBSCRIPT

public static final AssignExprIF.AssignExprKind SUBSCRIPT

represents an array element of an abstract object

OFFSET

public static final AssignExprIF.AssignExprKind OFFSET

represents a abstract object with an integral offset

AUX

public static final AssignExprIF.AssignExprKind AUX

represents an auxiliary abstract object that is associated with no actual program objects.

Method Details

values

public static AssignExprIF.AssignExprKind[] 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 AssignExprIF.AssignExprKind 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