tom.library.sl
Class MuVar

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

All Implemented Interfaces:

Strategy, Visitable

public class MuVar
extends AbstractStrategyCombinator

Basic strategy combinator with one argument name which denotes the name of the mu-variable This basic argument combinator used to build recursive arguments After the mu-expansion, the private variable instance is a pointer to the strategy to execute

Field Summary

protected String

name

Fields inherited from class tom.library.sl.AbstractStrategyCombinator

arguments

Fields inherited from class tom.library.sl.AbstractStrategy

environment

Constructor Summary

MuVar(String name)

Method Summary

boolean	equals(Object o)
Strategy	getInstance()
String	getName()
int	hashCode()
boolean	isExpanded()
void	setInstance(Strategy v)
void	setName(String name)
String	toString()
int	visit(Introspector i) Visit the current subject (found in the environment) and place its result in the environment.
<T> T	visitLight(T any, Introspector i) Visit the subject any in a light way (without environment)

Methods inherited from class tom.library.sl.AbstractStrategyCombinator

getChildAt, getChildCount, getChildren, getVisitor, getVisitors, initSubterm, initSubterm, initSubterm, initSubterm, initSubterm, setChildAt, setChildren

Methods inherited from class tom.library.sl.AbstractStrategy

getAncestor, getEnvironment, getPosition, getRoot, getSubject, init, init, setEnvironment, setRoot, setSubject, visit, visit, visit, visit, visitLight

Methods inherited from class java.lang.Object

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

Field Detail

name

protected String name

Constructor Detail

MuVar

public MuVar(String name)

Method Detail

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

visitLight

public final <T> T visitLight(T any,
                              Introspector i)
                   throws VisitFailure

Description copied from interface: Strategy

Visit 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(Introspector i)

Description copied from interface: Strategy

Visit 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

Parameters:

i - the introspector

getInstance

public Strategy getInstance()

setInstance

public void setInstance(Strategy v)

setName

public void setName(String name)

isExpanded

public final boolean isExpanded()

getName

public String getName()

toString

public String toString()

Overrides:

toString in class Object