orc.ast.oil.type
Class Top

java.lang.Object
  orc.ast.oil.type.Type
      orc.ast.oil.type.Top

public class Top
extends Type

The syntactic type 'Top', supertype of all other types.

Author:

dkitchin

Field Summary

Fields inherited from class orc.ast.oil.type.Type

BOT, TOP

Constructor Summary

Top()

Method Summary

boolean	equals(java.lang.Object obj) All instances of Top are equal.
int	hashCode() All instances of Top return a constant hash code.
Type	marshal() Convert this type into an XML-isomorphic format for serialization.
java.lang.String	toString()
Type	transform(TypingContext ctx) Convert this syntactic type into an actual type, given an appropriate type context

Methods inherited from class orc.ast.oil.type.Type

inferredTypes, marshalAll, transformAll

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Top

public Top()

Method Detail

hashCode

public int hashCode()

All instances of Top return a constant hash code.

Specified by:

hashCode in class Type

See Also:

Object.hashCode()

equals

public boolean equals(java.lang.Object obj)

All instances of Top are equal.

Specified by:

equals in class Type

See Also:

Object.equals(java.lang.Object)

transform

public Type transform(TypingContext ctx)
               throws TypeException

Description copied from class: Type

Convert this syntactic type into an actual type, given an appropriate type context

Specified by:

transform in class Type

Parameters:

ctx - TODO

Returns:

A new node.

Throws:

TypeException - TODO

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

marshal

public Type marshal()

Description copied from class: Type

Convert this type into an XML-isomorphic format for serialization.

Specified by:

marshal in class Type