|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Datatype
instead
public interface Datatype
Method Summary | |
---|---|
boolean |
contains(java.lang.Object value)
Deprecated. |
boolean |
contains(java.lang.Object value,
AtomicDatatype datatype)
Deprecated. |
aterm.ATermAppl |
getName()
Deprecated. |
java.lang.String |
getURI()
Deprecated. |
aterm.ATermAppl |
getValue(int i)
Deprecated. |
java.lang.Object |
getValue(java.lang.String value,
java.lang.String datatypeURI)
Deprecated. |
boolean |
isEmpty()
Deprecated. |
Datatype |
singleton(java.lang.Object value)
Deprecated. |
int |
size()
Deprecated. |
Method Detail |
---|
java.lang.String getURI()
aterm.ATermAppl getName()
int size()
boolean isEmpty()
boolean contains(java.lang.Object value)
boolean contains(java.lang.Object value, AtomicDatatype datatype)
java.lang.Object getValue(java.lang.String value, java.lang.String datatypeURI)
aterm.ATermAppl getValue(int i)
Datatype singleton(java.lang.Object value)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |