Module dev.civl.abc

Package dev.civl.abc.ast.node.IF.type

Enum Class TypeNode.TypeNodeKind

java.lang.Object

java.lang.Enum<TypeNode.TypeNodeKind>

dev.civl.abc.ast.node.IF.type.TypeNode.TypeNodeKind

All Implemented Interfaces:

Serializable, Comparable<TypeNode.TypeNodeKind>, Constable

Enclosing interface:

TypeNode

public static enum TypeNode.TypeNodeKind
extends Enum<TypeNode.TypeNodeKind>

The different kinds of type nodes.

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
ARRAY
ATOMIC
BASIC
DOMAIN
ENUMERATION
FUNCTION
LAMBDA	$lambda_t TypeNode represents a LambdaType
MEM	$mem TypeNode represents a invalid reference MemTypeNode
POINTER
RANGE
SCOPE
STRUCTURE_OR_UNION
TYPEDEF_NAME
TYPEOF	typeof() of GNU C extension
VOID

Method Summary

Modifier and Type	Method	Description
static TypeNode.TypeNodeKind	valueOf(String name)	Returns the enum constant of this class with the specified name.
static TypeNode.TypeNodeKind[]	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

ARRAY

public static final TypeNode.TypeNodeKind ARRAY

ATOMIC

public static final TypeNode.TypeNodeKind ATOMIC

BASIC

public static final TypeNode.TypeNodeKind BASIC

DOMAIN

public static final TypeNode.TypeNodeKind DOMAIN

ENUMERATION

public static final TypeNode.TypeNodeKind ENUMERATION

FUNCTION

public static final TypeNode.TypeNodeKind FUNCTION

MEM

public static final TypeNode.TypeNodeKind MEM

$mem TypeNode represents a

invalid reference

MemTypeNode

LAMBDA

public static final TypeNode.TypeNodeKind LAMBDA

$lambda_t TypeNode represents a LambdaType

POINTER

public static final TypeNode.TypeNodeKind POINTER

RANGE

public static final TypeNode.TypeNodeKind RANGE

SCOPE

public static final TypeNode.TypeNodeKind SCOPE

STRUCTURE_OR_UNION

public static final TypeNode.TypeNodeKind STRUCTURE_OR_UNION

TYPEDEF_NAME

public static final TypeNode.TypeNodeKind TYPEDEF_NAME

VOID

public static final TypeNode.TypeNodeKind VOID

TYPEOF

public static final TypeNode.TypeNodeKind TYPEOF

typeof() of GNU C extension

Method Details

values

public static TypeNode.TypeNodeKind[] 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 TypeNode.TypeNodeKind 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