edu.buffalo.cse.jive.sequence
Interface MessageReceive

All Superinterfaces:

EventOccurrence

public interface MessageReceive
extends EventOccurrence

An EventOccurrence that results in the termination of a Message. A message receive typically marks the destination of a method call or return.

See Also:

SequenceModel, EventOccurrence, Message

Method Summary

Message

message() Returns the Message that was received.

Methods inherited from interface edu.buffalo.cse.jive.sequence.EventOccurrence

accept, containingExecution, underlyingEvent

Method Detail

message

Message message()

Returns the Message that was received.

Returns:

the message received