at.jku.risc.stout.nau.util

Class Traversable.TraverseCallBack<T>

java.lang.Object

at.jku.risc.stout.nau.util.Traversable.TraverseCallBack<T>

Enclosing interface:

Traversable<T>

public abstract static class Traversable.TraverseCallBack<T>
extends Object

This class may be used to traverse a term tree and execute an arbitrary operation on every node.The following example prints all variable occurences inside of a nominal term.

 term.traverse(new TraverseCallBack<NominalTerm>() {
        public boolean exec(NominalTerm term) {
                if (term instanceof Suspension)
                        System.out.println(((Suspension) term).getVar());
                return false;
        }
 });
 

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
Traversable.TraverseCallBack()

Method Summary

Methods

Modifier and Type	Method and Description
abstract boolean	exec(T term) Forward propagation will stop as soon as this method returns true.
boolean	execBackward(T term) Traversing will stop as soon as this method returns true.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Traversable.TraverseCallBack

public Traversable.TraverseCallBack()

Method Detail

exec

public abstract boolean exec(T term)

Forward propagation will stop as soon as this method returns true.

execBackward

public boolean execBackward(T term)

Traversing will stop as soon as this method returns true.