drcl.comp.contract
Class TraceContract.Message

java.lang.Object
  drcl.comp.Message
      drcl.comp.contract.ComponentMessage
          drcl.comp.contract.TraceContract.Message

All Implemented Interfaces:

java.lang.Cloneable, ObjectCloneable

Enclosing class:

TraceContract

public static class TraceContract.Message

extends ComponentMessage

Constructor Summary

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

Method Summary

java.lang.Object	clone() Returns a clone of this object.
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 java.lang.Object

equals, 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.

Specified by:

getContract in class Message

clone

public java.lang.Object clone()

Description copied from interface: ObjectCloneable

Returns a clone of this object.

Specified by:

clone in interface ObjectCloneable

Specified by:

clone 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.

Specified by:

toString in class Message