Uses of Class
de.upb.hni.vmagic.type.RecordType.ElementDeclaration

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.