Class SpyPoints.SpyPointEvent

java.lang.Object

org.projog.core.event.SpyPoints.SpyPointEvent

Direct Known Subclasses:

SpyPoints.SpyPointExitEvent

Enclosing class:

SpyPoints

public class SpyPoints.SpyPointEvent
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final Term[]	args
private final PredicateKey	key
private final Object	source

Constructor Summary

Constructors

Modifier	Constructor	Description
private	SpyPointEvent(PredicateKey key, Term[] args, Object source)

Method Summary

Modifier and Type	Method	Description
String	getFormattedTerm()
PredicateKey	getPredicateKey()
int	getSourceId()
String	toString()

Methods inherited from class Object

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

Field Details

key

private final PredicateKey key

args

private final Term[] args

source

private final Object source

Constructor Details

SpyPointEvent

private SpyPointEvent(PredicateKey key,
 Term[] args,
 Object source)

Method Details

getPredicateKey

public PredicateKey getPredicateKey()

getFormattedTerm

public String getFormattedTerm()

getSourceId

public int getSourceId()

toString

public String toString()

Overrides:

toString in class Object