tom.library.sl
Class Omega

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

All Implemented Interfaces:

Strategy, Visitable

public class Omega
extends AbstractStrategy

Omega(i,v)

Basic visitor 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.AbstractStrategy

environment, visitors

Constructor Summary

Omega(int indexPosition, Strategy v)

Method Summary

int	getPos()
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, 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 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