Class AlterSpyPoint

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.debug.AlterSpyPoint

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class AlterSpyPoint
extends AbstractSingleResultPredicate

spy(X) / nospy(X) - add or remove a spy point for a predicate.

spy(X) - add a spy point for a predicate. By adding a spy point for the predicate name instantiated to X the programmer will be informed how it is used in the resolution of a goal.

nospy(X) - removes a spy point for a predicate. By removing a spy point for the predicate name instantiated to X the programmer will no longer be informed how it is used in the resolution of a goal.

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term t)
static AlterSpyPoint	noSpy()
static AlterSpyPoint	spy()

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

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

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Method Details

spy

public static AlterSpyPoint spy()

noSpy

public static AlterSpyPoint noSpy()

evaluate

protected boolean evaluate(Term t)

Overrides:

evaluate in class AbstractSingleResultPredicate