tom.library.sl
Class MuVar

java.lang.Object
  tom.library.sl.AbstractStrategy
      tom.library.sl.MuVar

All Implemented Interfaces:

Strategy, Visitable

public class MuVar
extends AbstractStrategy

MuVar(v) always raises a VisitFailure exception.

Basic visitor combinator used to build recursive visitors

Field Summary

protected java.lang.String

name

Fields inherited from class tom.library.sl.AbstractStrategy

environment, visitors

Constructor Summary

MuVar(java.lang.String name)

Method Summary

boolean	equals(java.lang.Object o)
Strategy	getInstance()
java.lang.String	getName()
int	hashCode()
protected boolean	isExpanded()
protected void	setInstance(Strategy v)
protected void	setName(java.lang.String name)
java.lang.String	toString()
int	visit() Visits the current subject (found in the environment) and place its result in the environment.
Visitable	visitLight(Visitable any) Visits the subject any in a light way (without environment)

Methods inherited from class tom.library.sl.AbstractStrategy

accept, getChildAt, getChildCount, getChildren, getEnvironment, getRoot, getSubject, init, init, initSubterm, initSubterm, initSubterm, initSubterm, initSubterm, setChildAt, setChildren, setEnvironment, setRoot, setSubject, visit, visit

Methods inherited from class java.lang.Object

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

Field Detail

name

protected java.lang.String name

Constructor Detail

MuVar

public MuVar(java.lang.String name)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

visitLight

public final Visitable visitLight(Visitable any)
                           throws VisitFailure

Description copied from interface: Strategy

Visits the subject any in a light way (without environment)

Parameters:

any - the subject to visit.

Throws:

VisitFailure - in case of failure.

visit

public int visit()

Description copied from interface: Strategy

Visits the current subject (found in the environment) and place its result in the environment. Sets the environment flag to Environment.FAILURE in case of failure

getInstance

public Strategy getInstance()

setInstance

protected void setInstance(Strategy v)

setName

protected void setName(java.lang.String name)

isExpanded

protected final boolean isExpanded()

getName

public java.lang.String getName()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object