tom.library.sl
Class Omega
java.lang.Object
tom.library.sl.AbstractStrategy
tom.library.sl.AbstractStrategyCombinator
tom.library.sl.Omega
- All Implemented Interfaces:
- Strategy, Visitable
public class Omega
- extends AbstractStrategyCombinator
Omega(i,v)
Strategy combinator which applies v the i-th subterm
0-th subterm is the term itself
1-th subterm corresponds to the first subterm
...
arity-th subterm corresponds to the last subterm
Method Summary |
int |
getPos()
|
int |
visit(Introspector introspector)
Visit the current subject (found in the environment)
and place its result in the environment. |
|
visitLight(T any,
Introspector introspector)
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, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ARG
public static final int ARG
- See Also:
- Constant Field Values
indexPosition
protected int indexPosition
Omega
public Omega(int indexPosition,
Strategy v)
getPos
public int getPos()
visitLight
public <T> T visitLight(T any,
Introspector introspector)
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 introspector)
- 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:
introspector
- the introspector