Package jason.stdlib
Class wait.WaitEvent
java.lang.Object
jason.stdlib.wait.WaitEvent
- All Implemented Interfaces:
CircumstanceListener
,java.io.Serializable
- Enclosing class:
- wait
class wait.WaitEvent extends java.lang.Object implements CircumstanceListener, java.io.Serializable
-
Field Summary
Fields Modifier and Type Field Description private Circumstance
c
private boolean
dropped
private Term
elapsedTimeTerm
private LogicalFormula
formula
private Literal
pendingReason
private Intention
si
private long
startTime
private Trigger
te
private java.lang.String
tEvt
private long
timeout
private TransitionSystem
ts
private Unifier
un
-
Constructor Summary
Constructors Constructor Description WaitEvent(Trigger te, LogicalFormula f, Unifier un, TransitionSystem ts, long timeout, Term elapsedTimeTerm)
-
Method Summary
Modifier and Type Method Description void
eventAdded(Event e)
void
intentionAdded(Intention i)
void
intentionDropped(Intention i)
void
intentionExecuting(Intention i, Term reason)
void
intentionResumed(Intention i, Term reason)
void
intentionSuspended(Trigger t, Intention i, Term reason)
void
intentionWaiting(Intention i, Term reason)
private void
readObject(java.io.ObjectInputStream inputStream)
(package private) void
resume(boolean stopByTimeout)
private void
testResumeCondition(Event e)
java.lang.String
toString()
private void
writeObject(java.io.ObjectOutputStream outputStream)
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Field Details
-
te
-
formula
-
pendingReason
-
tEvt
private java.lang.String tEvt -
un
-
si
-
ts
-
c
-
dropped
private boolean dropped -
elapsedTimeTerm
-
startTime
private long startTime -
timeout
private long timeout
-
-
Constructor Details
-
WaitEvent
WaitEvent(Trigger te, LogicalFormula f, Unifier un, TransitionSystem ts, long timeout, Term elapsedTimeTerm)
-
-
Method Details
-
writeObject
private void writeObject(java.io.ObjectOutputStream outputStream) throws java.io.IOException, java.lang.ClassNotFoundException- Throws:
java.io.IOException
java.lang.ClassNotFoundException
-
readObject
private void readObject(java.io.ObjectInputStream inputStream) throws java.io.IOException, java.lang.ClassNotFoundException- Throws:
java.io.IOException
java.lang.ClassNotFoundException
-
resume
void resume(boolean stopByTimeout) -
eventAdded
- Specified by:
eventAdded
in interfaceCircumstanceListener
-
testResumeCondition
-
intentionDropped
- Specified by:
intentionDropped
in interfaceCircumstanceListener
-
intentionSuspended
- Specified by:
intentionSuspended
in interfaceCircumstanceListener
-
intentionAdded
- Specified by:
intentionAdded
in interfaceCircumstanceListener
-
intentionExecuting
- Specified by:
intentionExecuting
in interfaceCircumstanceListener
-
intentionResumed
- Specified by:
intentionResumed
in interfaceCircumstanceListener
-
intentionWaiting
- Specified by:
intentionWaiting
in interfaceCircumstanceListener
-
toString
public java.lang.String toString()- Overrides:
toString
in classjava.lang.Object
-