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

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

public class GeneralSubstitution

extends Object

A list of substitutions of one argument for another.

See Also:

Call

Field Summary

static GeneralSubstitution

terminator

Constructor Summary

GeneralSubstitution(Argument from, Argument to)

GeneralSubstitution(Argument from, Argument to, GeneralSubstitution next)

GeneralSubstitution(Map map)

GeneralSubstitution(Map map, GeneralSubstitution next)

Method Summary

Argument	apply(Argument arg) Apply this substitution to the given argument.
Argument	lookup(Argument arg) Find if this substitution contains the given argument.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

terminator

public static final GeneralSubstitution terminator

Constructor Detail

GeneralSubstitution

public GeneralSubstitution(Argument from,
                           Argument to,
                           GeneralSubstitution next)

GeneralSubstitution

public GeneralSubstitution(Map map,
                           GeneralSubstitution next)

GeneralSubstitution

public GeneralSubstitution(Argument from,
                           Argument to)

GeneralSubstitution

public GeneralSubstitution(Map map)

Method Detail

apply

public Argument apply(Argument arg)

Apply this substitution to the given argument.

lookup

public Argument lookup(Argument arg)

Find if this substitution contains the given argument.

toString

public String toString()

Overrides:

toString in class Object