jade.domain.introspection
Class EventRecord

java.lang.Object
  jade.domain.introspection.EventRecord

All Implemented Interfaces:

Concept, Term, java.io.Serializable

public class EventRecord
extends java.lang.Object
implements Concept

This class represents the event-record concept in the jade-introspection ontology.

Version:

$Date: 2005-02-16 18:18:28 +0100 (mer, 16 feb 2005) $ $Revision: 5552 $

Author:

Giovanni Rimassa - Universita' di Parma

See Also:

Serialized Form

Constructor Summary

EventRecord()
Default constructor.

EventRecord(Event evt, Location l)
Construct an event record, attaching a location and a timestamp to an event object.

Method Summary

Event	getWhat() Retrieve the value of the what slot of this event, containing the occurred event.
java.util.Date	getWhen() Retrieve the value of the when slot of this event, containing the time instant when the event occurred.
Location	getWhere() Retrieve the value of the where slot of this event, containing the location where the event occurred.
void	setWhat(Event evt) Set the what slot of this event.
void	setWhen(java.util.Date d) Set the when slot of this event.
void	setWhere(Location l) Set the where slot of this event.

Methods inherited from class java.lang.Object

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

Constructor Detail

EventRecord

public EventRecord()

Default constructor. A default constructor is necessary for ontological classes.

EventRecord

public EventRecord(Event evt,
                   Location l)

Construct an event record, attaching a location and a timestamp to an event object.

Parameters:

evt - The occurred event.

l - The location where the event occurred.

Method Detail

setWhat

public void setWhat(Event evt)

Set the what slot of this event.

Parameters:

id - The occurred event.

getWhat

public Event getWhat()

Retrieve the value of the what slot of this event, containing the occurred event.

Returns:

The value of the what slot, or null if no value was set.

setWhen

public void setWhen(java.util.Date d)

Set the when slot of this event.

Parameters:

d - The time instant when the event occurred.

getWhen

public java.util.Date getWhen()

Retrieve the value of the when slot of this event, containing the time instant when the event occurred.

Returns:

The value of the when slot, or null if no value was set.

setWhere

public void setWhere(Location l)

Set the where slot of this event.

Parameters:

l - The location where the event occurred.

getWhere

public Location getWhere()

Retrieve the value of the where slot of this event, containing the location where the event occurred.

Returns:

The value of the where slot, or null if no value was set.