Types
Class OBJECT

java.lang.Object
  Types.Type
      Types.OBJECT

public class OBJECT
extends Type

Field Summary

RECORD<Type>	data
boolean	finished
RECORD<FUN>	methods
CLASS	myClass

Constructor Summary

OBJECT(CLASS c)

Method Summary

void	accept(Types.Visitor v)
FIELD<Type>	addField(java.lang.String name, Type type)
FIELD<FUN>	addMethod(java.lang.String name, FUN type)
boolean	coerceTo(Type t)
FIELD<Type>	field(java.lang.String n)
FIELD<FUN>	method(java.lang.String n)
java.lang.String	toString()

Methods inherited from class Types.Type

actual

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

finished

public boolean finished

myClass

public CLASS myClass

data

public RECORD<Type> data

methods

public RECORD<FUN> methods

Constructor Detail

OBJECT

public OBJECT(CLASS c)

Method Detail

field

public FIELD<Type> field(java.lang.String n)

Overrides:

field in class Type

addField

public FIELD<Type> addField(java.lang.String name,
                            Type type)

method

public FIELD<FUN> method(java.lang.String n)

Overrides:

method in class Type

addMethod

public FIELD<FUN> addMethod(java.lang.String name,
                            FUN type)

coerceTo

public boolean coerceTo(Type t)

Specified by:

coerceTo in class Type

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

accept

public void accept(Types.Visitor v)

Specified by:

accept in class Type