|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use EnumeratorT | |
|---|---|
| xtc.type | |
| Uses of EnumeratorT in xtc.type |
|---|
| Methods in xtc.type that return EnumeratorT | |
|---|---|
EnumeratorT |
EnumeratorT.copy()
|
EnumeratorT |
EnumT.getMember(int index)
|
EnumeratorT |
WrappedT.toEnumerator()
|
EnumeratorT |
EnumeratorT.toEnumerator()
|
EnumeratorT |
Type.toEnumerator()
Get this type as an enumerator. |
| Methods in xtc.type that return types with arguments of type EnumeratorT | |
|---|---|
java.util.List<EnumeratorT> |
EnumT.getMembers()
|
| Methods in xtc.type with parameters of type EnumeratorT | |
|---|---|
void |
TypePrinter.visit(EnumeratorT t)
Print the specified enumerator. |
| Method parameters in xtc.type with type arguments of type EnumeratorT | |
|---|---|
void |
EnumT.setMembers(java.util.List<EnumeratorT> enumerators)
Set the list of enumerators. |
| Constructor parameters in xtc.type with type arguments of type EnumeratorT | |
|---|---|
EnumT(Type type,
java.lang.String name,
java.util.List<EnumeratorT> enumerators)
Create a new enum type. |
|
EnumT(Type template,
Type type,
Nonce nonce,
java.lang.String name,
java.util.List<EnumeratorT> enumerators)
Create a new enum type. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||