|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttuffy.mln.Type
public class Type
A domain/type of constants; i.e., a subset of constants.
Field Summary | |
---|---|
static Type |
Bool
|
static Type |
Float
|
static Type |
Generic
Built-in types |
static Type |
Integer
|
java.lang.String |
name
Name of this Type. |
static Type |
String
|
Constructor Summary | |
---|---|
Type(java.lang.String name)
Constructor of Type. |
Method Summary | |
---|---|
void |
addConstant(int con)
Add a constant to this type. |
boolean |
contains(int x)
Return true if this type contains the constant x |
Type |
getNonSymbolicType()
|
java.lang.String |
getNonSymbolicTypeInSQL()
|
java.lang.String |
getRelName()
Return the name of the DB relational table of this type. |
boolean |
isNonSymbolicType()
See if this type is non-symbolic. |
java.lang.String |
name()
Return the name of this type. |
int |
size()
Return the number of constants in this type domain. |
void |
storeConstantList(RDB db)
Store the list of constants in a DB table. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static Type Bool
public static Type Float
public static Type Generic
public static Type Integer
public java.lang.String name
public static Type String
Constructor Detail |
---|
public Type(java.lang.String name)
name
- the name of this new type; it must be unique among all typesMethod Detail |
---|
public void addConstant(int con)
con
- the constant to be addedpublic boolean contains(int x)
public Type getNonSymbolicType()
public java.lang.String getNonSymbolicTypeInSQL()
public java.lang.String getRelName()
public boolean isNonSymbolicType()
public java.lang.String name()
public int size()
public void storeConstantList(RDB db)
db
-
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |