|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjade.domain.introspection.Occurred
public class Occurred
This class represents the occurred predicate, whose
argument is a JADE introspection event.
| Constructor Summary | |
|---|---|
Occurred()
Default constructor. |
|
| Method Summary | |
|---|---|
EventRecord |
getWhat()
Retrieve the value of the what slot of this event,
containing the record of the occurred event, along with
location and timestamp information. |
void |
setWhat(EventRecord er)
Set the what slot of this event. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Occurred()
| Method Detail |
|---|
public void setWhat(EventRecord er)
what slot of this event.
er - The record of the occurred event, along with location
and timestamp information.public EventRecord getWhat()
what slot of this event,
containing the record of the occurred event, along with
location and timestamp information.
what slot, or
null if no value was set.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||