tom.library.sl
Class DeRef

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

All Implemented Interfaces:

Strategy, Visitable

public class DeRef
extends AbstractStrategy

Field Summary

static int

ARG

Fields inherited from class tom.library.sl.AbstractStrategy

environment, visitors

Method Summary

boolean	isRelative()
boolean	isStrict()
static DeRef	make(Strategy s)
static DeRef	makeRelative(Strategy s)
static DeRef	makeRelativeStrict(Strategy s)
static DeRef	makeStrict(Strategy s)
int	visit() Visits the current subject (found in the environment) and place its result in the environment.
Visitable	visitLight(Visitable x) 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

Method Detail

make

public static DeRef make(Strategy s)

makeRelative

public static DeRef makeRelative(Strategy s)

makeStrict

public static DeRef makeStrict(Strategy s)

makeRelativeStrict

public static DeRef makeRelativeStrict(Strategy s)

isRelative

public boolean isRelative()

isStrict

public boolean isStrict()

visitLight

public Visitable visitLight(Visitable x)
                     throws VisitFailure

Description copied from interface: Strategy

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

Parameters:

x - 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