drcl.comp.contract
Class DebugContract.Message

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

All Implemented Interfaces:

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

Enclosing class:

DebugContract

public static class DebugContract.Message

extends ComponentMessage

See Also:

Serialized Form

Constructor Summary

DebugContract.Message(double time_, java.lang.Object where_, java.lang.Object description_)

Method Summary

Contract	getContract() Returns the associated contract of this message.
java.lang.Object	getDescription()
double	getTime()
java.lang.Object	getWhere()
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

DebugContract.Message

public DebugContract.Message(double time_,
                             java.lang.Object where_,
                             java.lang.Object description_)

Method Detail

getTime

public double getTime()

getWhere

public java.lang.Object getWhere()

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