de.upb.hni.vmagic.type
Class RecordType

java.lang.Object
  extended by de.upb.hni.vmagic.VhdlElement
      extended by de.upb.hni.vmagic.type.Type
          extended by de.upb.hni.vmagic.type.RecordType
All Implemented Interfaces:
BlockDeclarativeItem, DeclarativeItemMarker, EntityDeclarativeItem, PackageBodyDeclarativeItem, PackageDeclarativeItem, ProcessDeclarativeItem, SubprogramDeclarativeItem, NamedEntity, SubtypeIndication

public class RecordType
extends Type

Record type.


Nested Class Summary
static class RecordType.ElementDeclaration
          Element declaration in a record type.
 
Constructor Summary
RecordType(java.lang.String identifier)
          Creates a record type.
 
Method Summary
 RecordType.ElementDeclaration createElement(SubtypeIndication type, java.util.List<java.lang.String> identifiers)
          Creates a new element declaration and adds it to this record.
 RecordType.ElementDeclaration createElement(SubtypeIndication type, java.lang.String... identifiers)
          Creates a new element declaration and adds it to this record.
 java.util.List<RecordType.ElementDeclaration> getElements()
          Returns the elements.
 
Methods inherited from class de.upb.hni.vmagic.type.Type
getIdentifier, setIdentifier
 
Methods inherited from class de.upb.hni.vmagic.VhdlElement
getParent, setParent
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RecordType

public RecordType(java.lang.String identifier)
Creates a record type.

Parameters:
identifier - the identifier of this type
Method Detail

createElement

public RecordType.ElementDeclaration createElement(SubtypeIndication type,
                                                   java.util.List<java.lang.String> identifiers)
Creates a new element declaration and adds it to this record.

Parameters:
type - the type
identifiers - a list of identifiers
Returns:
the created element

createElement

public RecordType.ElementDeclaration createElement(SubtypeIndication type,
                                                   java.lang.String... identifiers)
Creates a new element declaration and adds it to this record.

Parameters:
type - the type
identifiers - a variable number of identifiers
Returns:
the created element

getElements

public java.util.List<RecordType.ElementDeclaration> getElements()
Returns the elements.

Returns:
a modifiable list of element declarations