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

java.lang.Object
  extended by de.upb.hni.vmagic.type.RecordType.ElementDeclaration
Enclosing class:
RecordType

public static class RecordType.ElementDeclaration
extends java.lang.Object

Element declaration in a record type.


Method Summary
 java.util.List<java.lang.String> getIdentifiers()
          Returns the declared identifiers in this element declaration.
 SubtypeIndication getType()
          Returns the type of this elements.
 void setType(SubtypeIndication type)
          Sets the type of this elements.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

getIdentifiers

public java.util.List<java.lang.String> getIdentifiers()
Returns the declared identifiers in this element declaration.

Returns:
a modifiable list of identifiers

getType

public SubtypeIndication getType()
Returns the type of this elements.

Returns:
the type

setType

public void setType(SubtypeIndication type)
Sets the type of this elements.

Parameters:
type - the type