Types
Class CLASS

java.lang.Object
  Types.Type
      Types.CLASS

public class CLASS
extends Type

Field Summary

RECORD<Type>	data
OBJECT	instance
boolean	isFinal
RECORD<FUN>	methods
java.lang.String	name
CLASS	parent

Constructor Summary

CLASS(java.lang.String n)

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)
boolean	isLoop()
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

name

public java.lang.String name

parent

public CLASS parent

instance

public OBJECT instance

data

public RECORD<Type> data

methods

public RECORD<FUN> methods

isFinal

public boolean isFinal

Constructor Detail

CLASS

public CLASS(java.lang.String n)

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)

isLoop

public boolean isLoop()

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