at.jku.risc.stout.nau.data.atom

Class Sort

java.lang.Object

at.jku.risc.stout.nau.data.atom.Sort

Direct Known Subclasses:

SortAtom, SortData

public abstract class Sort
extends Object

The super class for the different sets of sorts (e.g. SortAtom, SortData).

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
Sort(String name) Instantiates a type of the specified name.

Method Summary

Methods

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Sort

public Sort(String name)

Instantiates a type of the specified name. Use the NodeFactory to create new Sorts! The use of NodeFactory guarantees the uniqueness of equal Sorts. This uniqueness enables very fast equality testing, hash-code generation, comparison of types,... and it keeps the memory overhead as small as possible.

Method Detail

toString

public String toString()

Overrides:

toString in class Object