drcl.comp.contract
Class PropertyContract.Message

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

All Implemented Interfaces:

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

Enclosing class:

PropertyContract

public static class PropertyContract.Message

extends ComponentMessage

See Also:

Serialized Form

Constructor Summary

PropertyContract.Message(java.lang.Object property_)

Method Summary

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

PropertyContract.Message

public PropertyContract.Message(java.lang.Object property_)

Method Detail

getProperty

public java.lang.Object getProperty()

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