drcl.comp.contract
Class EventContract.Message

java.lang.Object
  |
  +--drcl.DrclObj
        |
        +--drcl.comp.Message
              |
              +--drcl.comp.contract.ComponentMessage
                    |
                    +--drcl.comp.contract.EventContract.Message

All Implemented Interfaces:

java.lang.Cloneable, ObjectDuplicable, java.io.Serializable

Enclosing class:

EventContract

public static class EventContract.Message

extends ComponentMessage

See Also:

Serialized Form

Constructor Summary

EventContract.Message(double time_, java.lang.String evtName_, java.lang.String portPath_, java.lang.Object event_, java.lang.Object description_)

Method Summary

Contract	getContract() Returns the associated contract of this message.
java.lang.Object	getDescription()
java.lang.Object	getEvent()
java.lang.String	getEventName()
java.lang.String	getPortPath()
double	getTime()
java.lang.String	toString(java.lang.String separator_) Prints the content of the message by separating each field with the separator string.

Methods inherited from class drcl.comp.Message

toString

Methods inherited from class drcl.DrclObj

clone, duplicate

Methods inherited from class java.lang.Object

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

Constructor Detail

EventContract.Message

public EventContract.Message(double time_,
                             java.lang.String evtName_,
                             java.lang.String portPath_,
                             java.lang.Object event_,
                             java.lang.Object description_)

Method Detail

getTime

public double getTime()

getPortPath

public java.lang.String getPortPath()

getEventName

public java.lang.String getEventName()

getEvent

public java.lang.Object getEvent()

getDescription

public java.lang.Object getDescription()

getContract

public Contract getContract()

Description copied from class: Message

Returns the associated contract of this message.

Overrides:

getContract in class Message

toString

public java.lang.String toString(java.lang.String separator_)

Description copied from class: Message

Prints the content of the message by separating each field with the separator string.

Overrides:

toString in class Message