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	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

Method Details

getFormattedClause

public String getFormattedClause()

getClauseModel

public ClauseModel getClauseModel()