public final class Type
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static Type |
BOOL(int bitSize) |
static Type |
CARD(int bitSize) |
Type |
castTo(TypeId newTypeId) |
static Type |
def(java.lang.String name,
Type type) |
boolean |
equals(java.lang.Object obj) |
static Type |
FLOAT(int fracBitSize,
int expBitSize) |
int |
getBitSize() |
int |
getFieldCount() |
int |
getFieldSize(int index) |
TypeId |
getTypeId() |
int |
hashCode() |
static Type |
INT(int bitSize) |
boolean |
isInteger() |
Type |
resize(int newBitSize) |
java.lang.String |
toString() |
static Type |
typeOf(java.lang.String name,
int... params) |
public static Type typeOf(java.lang.String name, int... params)
public static Type INT(int bitSize)
public static Type CARD(int bitSize)
public static Type BOOL(int bitSize)
public static Type FLOAT(int fracBitSize, int expBitSize)
public boolean isInteger()
public Type resize(int newBitSize)
public TypeId getTypeId()
public int getBitSize()
public int getFieldCount()
public int getFieldSize(int index)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object