Package org.projog.core.event

Class SpyPoints.SpyPointExitEvent

java.lang.Object

org.projog.core.event.SpyPoints.SpyPointEvent

org.projog.core.event.SpyPoints.SpyPointExitEvent

Enclosing class:

SpyPoints

public class SpyPoints.SpyPointExitEvent
extends SpyPoints.SpyPointEvent

Field Summary

Fields

Modifier and Type	Field	Description
private ClauseModel	clauseModel

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SpyPointExitEvent(PredicateKey key, Term[] args, java.lang.Object source, ClauseModel clauseModel)

Method Summary

Modifier and Type	Method	Description
ClauseModel	getClauseModel()
java.lang.String	getFormattedClause()

Methods inherited from class org.projog.core.event.SpyPoints.SpyPointEvent

getFormattedTerm, getPredicateKey, getSourceId, toString

Methods inherited from class java.lang.Object

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

Field Detail

clauseModel

private final ClauseModel clauseModel

Constructor Detail

SpyPointExitEvent

private SpyPointExitEvent(PredicateKey key,
                          Term[] args,
                          java.lang.Object source,
                          ClauseModel clauseModel)

Method Detail

getFormattedClause

public java.lang.String getFormattedClause()

getClauseModel

public ClauseModel getClauseModel()