uk.ac.man.cs.rainbow.rapa.data
Class FunctionType

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.rapa.data.FunctionType

All Implemented Interfaces:

Argument, Type

public class FunctionType

extends Object

implements Type

Constructor Summary

FunctionType(Type domain, Type range)

Method Summary

void	compatableWith(Argument arg)
boolean	equals(Object o)
int	hashCode()
Type	subst(GeneralSubstitution s)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionType

public FunctionType(Type domain,
                    Type range)

Method Detail

compatableWith

public void compatableWith(Argument arg)

Specified by:

compatableWith in interface Argument

Following copied from interface: uk.ac.man.cs.rainbow.rapa.data.Argument

Throws:

CompatabilityFailure - If you are not allowed to map from this argument to the given one.

subst

public Type subst(GeneralSubstitution s)

Specified by:

subst in interface Type

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object