Package org.projog.core.event

Class SpyPoints

java.lang.Object

org.projog.core.event.SpyPoints

public final class SpyPoints
extends java.lang.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 KnowledgeBase	kb
private java.lang.Object	lock
private ProjogListeners	projogListeners
private java.util.Map<PredicateKey,SpyPoints.SpyPoint>	spyPoints
private 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)
java.util.Map<PredicateKey,SpyPoints.SpyPoint>	getSpyPoints()
void	setSpyPoint(PredicateKey key, boolean set)
void	setTraceEnabled(boolean traceEnabled)

Methods inherited from class java.lang.Object

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

Field Detail

lock

private final java.lang.Object lock

spyPoints

private final java.util.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 Detail

SpyPoints

public SpyPoints(KnowledgeBase kb)

SpyPoints

public SpyPoints(ProjogListeners observable,
                 TermFormatter termFormatter)

Method Detail

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 java.util.Map<PredicateKey,SpyPoints.SpyPoint> getSpyPoints()