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 final class SpyPoints.SpyPointExitEvent
extends SpyPoints.SpyPointEvent

Method Summary

Modifier and Type	Method	Description
ClauseModel	getClauseModel()
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

Method Details

getFormattedClause

public String getFormattedClause()

getClauseModel

public ClauseModel getClauseModel()