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 final ClauseModel	clauseModel

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
ClauseModel	getClauseModel()
String	getFormattedClause()

Methods inherited from class SpyPoints.SpyPointEvent

getFormattedTerm, getPredicateKey, getSourceId, toString

Methods inherited from class Object

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

Field Details

clauseModel

private final ClauseModel clauseModel

Constructor Details

SpyPointExitEvent

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

Method Details

getFormattedClause

public String getFormattedClause()

getClauseModel

public ClauseModel getClauseModel()