|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RecordType.ElementDeclaration | |
---|---|
de.upb.hni.vmagic.type | Contains type meta classes. |
Uses of RecordType.ElementDeclaration in de.upb.hni.vmagic.type |
---|
Methods in de.upb.hni.vmagic.type that return RecordType.ElementDeclaration | |
---|---|
RecordType.ElementDeclaration |
RecordType.createElement(SubtypeIndication type,
java.util.List<java.lang.String> identifiers)
Creates a new element declaration and adds it to this record. |
RecordType.ElementDeclaration |
RecordType.createElement(SubtypeIndication type,
java.lang.String... identifiers)
Creates a new element declaration and adds it to this record. |
Methods in de.upb.hni.vmagic.type that return types with arguments of type RecordType.ElementDeclaration | |
---|---|
java.util.List<RecordType.ElementDeclaration> |
RecordType.getElements()
Returns the elements. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |