Types

Class OBJECT

java.lang.Object

Types.Type

Types.OBJECT

All Implemented Interfaces:

Visitable

public class OBJECT
extends Type

Type for object with inheritance taken into account.

Field Summary

Fields

Modifier and Type	Field and Description
RECORD	fields
RECORD	methods
CLASS	myClass

Constructor Summary

Constructors

Constructor and Description
OBJECT(CLASS myClass)
OBJECT(CLASS myClass, RECORD methods, RECORD fields)

Method Summary

Modifier and Type	Method and Description
void	accept(Visitor v) Visitor pattern dispatch.
boolean	coerceTo(Type t)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

myClass

public CLASS myClass

methods

public RECORD methods

fields

public RECORD fields

Constructor Detail

OBJECT

public OBJECT(CLASS myClass,
              RECORD methods,
              RECORD fields)

OBJECT

public OBJECT(CLASS myClass)

Method Detail

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