Types
Class CLASS

java.lang.Object
  Types.Type
      Types.CLASS

public class CLASS

extends Type

Field Summary

RECORD<Type>	fields
OBJECT	instance
RECORD<FUN>	methods
java.lang.String	name
CLASS	parent

Constructor Summary

CLASS(java.lang.String n)

Method Summary

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

fields

public RECORD<Type> fields

methods

public RECORD<FUN> methods

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

method

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

Overrides:

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