uk.ac.man.cs.rainbow.datamodel
Class Type.Integer

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.datamodel.Type
        |
        +--uk.ac.man.cs.rainbow.datamodel.Type.Integer

All Implemented Interfaces:

Argument, Data.Word.T, Serializable, Type

Enclosing class:

Type

public static class Type.Integer

extends Type

implements Data.Word.T

The class of types of integers.

See Also:

Data.Word, Serialized Form

Inner classes inherited from class uk.ac.man.cs.rainbow.datamodel.Type

Type.Boolean, Type.Enum, Type.Integer, Type.Tuple, Type.Union, Type.Vector

Field Summary

static Type.Integer

instance Standard instance of Integer.

Constructor Summary

Type.Integer()

Method Summary

boolean	equals(Type t) All instances are equal.
int	hashCode() Hash all instances the same way.
String	render(int value) How to display an Integer value.
String	toString() How to display an instance of Integer.

Methods inherited from class uk.ac.man.cs.rainbow.datamodel.Type

compatableWith, equals, parse, parse, subst

Methods inherited from class java.lang.Object

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

Field Detail

instance

public static Type.Integer instance

Standard instance of Integer. There only needs to be one instance of this class, as it has no internal data anyway, and none of its instances can be distinguished.

Constructor Detail

Type.Integer

public Type.Integer()

Method Detail

toString

public String toString()

How to display an instance of Integer.

Overrides:

toString in class Type

render

public String render(int value)

How to display an Integer value.

Specified by:

render in interface Data.Word.T

equals

public boolean equals(Type t)

All instances are equal.

Overrides:

equals in class Type

hashCode

public int hashCode()

Hash all instances the same way.

Overrides:

hashCode in class Object