de.rwth.i2.attestor.types

Class Types

java.lang.Object

de.rwth.i2.attestor.types.Types

public final class Types
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static Type	BOOL
static Type	BYTE
static Type	CHAR
static Type	DOUBLE
static Type	INT
static Type	INT_0
static Type	INT_MINUS_1
static Type	INT_PLUS_1
static Type	LONG
static Type	NULL
static Type	SHORT
static Type	STRING
static Type	UNDEFINED

Constructor Summary

Constructors

Constructor and Description
Types()

Method Summary

Modifier and Type	Method and Description
static boolean	isConstantType(Type type)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NULL

public static final Type NULL

UNDEFINED

public static final Type UNDEFINED

INT

public static final Type INT

BOOL

public static final Type BOOL

CHAR

public static final Type CHAR

BYTE

public static final Type BYTE

LONG

public static final Type LONG

DOUBLE

public static final Type DOUBLE

SHORT

public static final Type SHORT

STRING

public static final Type STRING

INT_0

public static final Type INT_0

INT_PLUS_1

public static final Type INT_PLUS_1

INT_MINUS_1

public static final Type INT_MINUS_1

Constructor Detail

Types

public Types()

Method Detail

isConstantType

public static boolean isConstantType(Type type)