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

Method Summary

Modifier and Type	Method and 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 Detail

getFormattedClause

public String getFormattedClause()

getClauseModel

public ClauseModel getClauseModel()