Class SpyPoints

java.lang.Object

org.projog.core.event.SpyPoints

public final class SpyPoints
extends Object

Collection of spy points.

Spy points are useful in the debugging of Prolog programs. When a spy point is set on a predicate a SpyPoints.SpyPointEvent is generated every time the predicate is executed, fails or succeeds.

Each KnowledgeBase has a single unique SpyPoints instance.

See Also:

• KnowledgeBase.getSpyPoints()

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	SpyPoints.SpyPoint
class	SpyPoints.SpyPointEvent
class	SpyPoints.SpyPointExitEvent

Field Summary

Fields

Modifier and Type	Field	Description
private final KnowledgeBase	kb
private final Object	lock
private final ProjogListeners	projogListeners
private final Map<PredicateKey, SpyPoints.SpyPoint>	spyPoints
private final TermFormatter	termFormatter
private boolean	traceEnabled

Constructor Summary

Constructors

Constructor	Description
SpyPoints(ProjogListeners observable, TermFormatter termFormatter)
SpyPoints(KnowledgeBase kb)

Method Summary

Modifier and Type	Method	Description
private SpyPoints.SpyPoint	createNewSpyPoint(PredicateKey key)
SpyPoints.SpyPoint	getSpyPoint(PredicateKey key)
Map<PredicateKey, SpyPoints.SpyPoint>	getSpyPoints()
void	setSpyPoint(PredicateKey key, boolean set)
void	setTraceEnabled(boolean traceEnabled)

Methods inherited from class Object

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

Field Details

lock

private final Object lock

spyPoints

private final Map<PredicateKey, SpyPoints.SpyPoint> spyPoints

kb

private final KnowledgeBase kb

projogListeners

private final ProjogListeners projogListeners

termFormatter

private final TermFormatter termFormatter

traceEnabled

private boolean traceEnabled

Constructor Details

SpyPoints

public SpyPoints(KnowledgeBase kb)

SpyPoints

public SpyPoints(ProjogListeners observable,
 TermFormatter termFormatter)

Method Details

setTraceEnabled

public void setTraceEnabled(boolean traceEnabled)

setSpyPoint

public void setSpyPoint(PredicateKey key,
 boolean set)

getSpyPoint

public SpyPoints.SpyPoint getSpyPoint(PredicateKey key)

createNewSpyPoint

private SpyPoints.SpyPoint createNewSpyPoint(PredicateKey key)

getSpyPoints

public Map<PredicateKey, SpyPoints.SpyPoint> getSpyPoints()