tom.library.sl
Class Omega

java.lang.Object
  extended by tom.library.sl.AbstractStrategy
      extended by tom.library.sl.AbstractStrategyCombinator
          extended by 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


Field Summary
static int ARG
           
protected  int indexPosition
           
 
Fields inherited from class tom.library.sl.AbstractStrategyCombinator
arguments
 
Fields inherited from class tom.library.sl.AbstractStrategy
environment
 
Constructor Summary
Omega(int indexPosition, Strategy v)
           
 
Method Summary
 int getPos()
           
 int visit(Introspector introspector)
          Visit the current subject (found in the environment) and place its result in the environment.
<T> T
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
 

Field Detail

ARG

public static final int ARG
See Also:
Constant Field Values

indexPosition

protected int indexPosition
Constructor Detail

Omega

public Omega(int indexPosition,
             Strategy v)
Method Detail

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