code.subst
Class IdSubst

java.lang.Object
  code.subst.Subst
      code.subst.IdSubst

public class IdSubst
extends Subst

This class represents the identity substitution. The identity substitution is a singleton accessible in the base class.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

Fields inherited from class code.subst.Subst

id

Constructor Summary

protected

IdSubst() This constructor is protected since all identity substitutions are identical.

Method Summary

<R,T> R	accept(code.subst.visitor.SubstVisitor<R,T> v, T o)
Term	getBinding(Variable variable) Return the binding of a variable.

Methods inherited from class java.lang.Object

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

Constructor Detail

IdSubst

protected IdSubst()

This constructor is protected since all identity substitutions are identical. Look for an instance of this class in the base class.

Method Detail

getBinding

public Term getBinding(Variable variable)

Description copied from class: Subst

Return the binding of a variable.

Specified by:

getBinding in class Subst

Parameters:

variable - The variable to tell the binding

Returns:

The binding of the argument.

accept

public <R,T> R accept(code.subst.visitor.SubstVisitor<R,T> v,
                      T o)

Specified by:

accept in class Subst