drcl.comp.contract
Class TraceContract.Message

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

All Implemented Interfaces:

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

Enclosing class:

TraceContract

public static class TraceContract.Message

extends ComponentMessage

See Also:

Serialized Form

Constructor Summary

TraceContract.Message(java.lang.String trace_, 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.String	getTrace()
java.lang.String	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

TraceContract.Message

public TraceContract.Message(java.lang.String trace_,
                             double time_,
                             java.lang.Object where_,
                             java.lang.Object description_)

Method Detail

getTrace

public java.lang.String getTrace()

getTime

public double getTime()

getWhere

public java.lang.String 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