Types
Class RECORD

java.lang.Object
  extended by Types.Type
      extended by Types.RECORD
All Implemented Interfaces:
java.lang.Iterable<FIELD>, Visitable

public class RECORD
extends Type
implements java.lang.Iterable<FIELD>

Type for aggregate records.


Constructor Summary
RECORD()
           
 
Method Summary
 void accept(Visitor v)
          Visitor pattern dispatch.
 boolean coerceTo(Type t)
           
 FIELD get(java.lang.String name)
           
 java.util.Iterator<FIELD> iterator()
           
 FIELD put(Type type, java.lang.String name)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

RECORD

public RECORD()
Method Detail

put

public FIELD put(Type type,
                 java.lang.String name)

get

public FIELD get(java.lang.String name)

iterator

public java.util.Iterator<FIELD> iterator()
Specified by:
iterator in interface java.lang.Iterable<FIELD>

toString

public java.lang.String toString()
Specified by:
toString in class Type

coerceTo

public boolean coerceTo(Type t)
Specified by:
coerceTo in class Type

accept

public void accept(Visitor v)
Visitor pattern dispatch.

Specified by:
accept in interface Visitable
Specified by:
accept in class Type