Types
Class OBJECT

java.lang.Object
  Types.Type
      Types.OBJECT

public class OBJECT

extends Type

Field Summary

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

Constructor Summary

OBJECT(CLASS c)

Method Summary

void	accept(Types.Visitor v)
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

fields

public RECORD<Type> fields

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

method

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

Overrides:

method in class 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