Module dev.civl.abc

Package dev.civl.abc.ast.conversion.IF

Enum Class Conversion.ConversionKind

java.lang.Object

java.lang.Enum<Conversion.ConversionKind>

dev.civl.abc.ast.conversion.IF.Conversion.ConversionKind

All Implemented Interfaces:

Serializable, Comparable<Conversion.ConversionKind>, Constable

Enclosing interface:

Conversion

public static enum Conversion.ConversionKind
extends Enum<Conversion.ConversionKind>

Kind of conversions

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
ARITHMETIC	can be safely casted to ArithmeticConversion
ARRAY	can be safely casted to ArrayConversion
COMPATIBLE_POINTER	can be safely casted to CompatiblePointerConversion
COMPATIBLE_STRUCT_UNION	can be safely casted to CompatibleStructureOrUnionConversion
FUNCTION	can be safely casted to FunctionConversion
INTEGER_POINTER	can be safely casted to Integer2PointerConversion
LVALUE	can be safely casted to LvalueConversion
MEM	can be safely casted to MemConversion
NULL_POINTER	can be safely casted to NullPointerConversion
POINTER_BOOL	can be safely casted to PointerBoolConversion
POINTER_INTEGER	can be safely casted to Pointer2IntegerConversion
REG_RANGE_DOMAIN	can be safely casted to RegularRangeToDomainConversion
VOID_POINTER	can be safely casted to VoidPointerConversion

Method Summary

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

ARITHMETIC

public static final Conversion.ConversionKind ARITHMETIC

can be safely casted to ArithmeticConversion

ARRAY

public static final Conversion.ConversionKind ARRAY

can be safely casted to ArrayConversion

COMPATIBLE_POINTER

public static final Conversion.ConversionKind COMPATIBLE_POINTER

can be safely casted to CompatiblePointerConversion

COMPATIBLE_STRUCT_UNION

public static final Conversion.ConversionKind COMPATIBLE_STRUCT_UNION

can be safely casted to CompatibleStructureOrUnionConversion

FUNCTION

public static final Conversion.ConversionKind FUNCTION

can be safely casted to FunctionConversion

INTEGER_POINTER

public static final Conversion.ConversionKind INTEGER_POINTER

can be safely casted to Integer2PointerConversion

LVALUE

public static final Conversion.ConversionKind LVALUE

can be safely casted to LvalueConversion

MEM

public static final Conversion.ConversionKind MEM

can be safely casted to MemConversion

NULL_POINTER

public static final Conversion.ConversionKind NULL_POINTER

can be safely casted to NullPointerConversion

POINTER_BOOL

public static final Conversion.ConversionKind POINTER_BOOL

can be safely casted to PointerBoolConversion

POINTER_INTEGER

public static final Conversion.ConversionKind POINTER_INTEGER

can be safely casted to Pointer2IntegerConversion

REG_RANGE_DOMAIN

public static final Conversion.ConversionKind REG_RANGE_DOMAIN

can be safely casted to RegularRangeToDomainConversion

VOID_POINTER

public static final Conversion.ConversionKind VOID_POINTER

can be safely casted to VoidPointerConversion

Method Details

values

public static Conversion.ConversionKind[] 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 Conversion.ConversionKind 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