|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use jPrologServiceEvent | |
|---|---|
| ubc.cs.JLog.Foundation | |
| Uses of jPrologServiceEvent in ubc.cs.JLog.Foundation |
|---|
| Subclasses of jPrologServiceEvent in ubc.cs.JLog.Foundation | |
|---|---|
class |
jDebugFailGoalEvent
|
class |
jDebugProvedGoalsEvent
|
class |
jDebugProveGoalEvent
|
class |
jDebugProverGoalStackEvent
|
class |
jDebugProverStartedEvent
|
class |
jDebugRetryGoalEvent
|
class |
jDebugTryGoalEvent
|
class |
jThreadStoppedEvent
|
class |
jUserQueryEvent
|
| Methods in ubc.cs.JLog.Foundation with parameters of type jPrologServiceEvent | |
|---|---|
void |
jPrologServiceBroadcaster.broadcastEvent(jPrologServiceEvent event)
Sends provided event to all registered jPrologServiceListeners. |
abstract void |
jPrologServiceListener.handleEvent(jPrologServiceEvent e)
Receive broadcast event for this class to process. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||