Uses of Interface
edu.buffalo.cse.jive.sequence.MessageSend

Packages that use MessageSend

edu.buffalo.cse.jive.sequence	Sequence model used to represent program execution history.
edu.buffalo.cse.jive.ui.search.queries	JIVE search queries.

Uses of MessageSend in edu.buffalo.cse.jive.sequence

Methods in edu.buffalo.cse.jive.sequence that return MessageSend

MessageSend	ExecutionOccurrence.initiator() Returns the Message which initiated the execution occurrence.
MessageSend	ExecutionOccurrence.Importer.provideInitiator()
MessageSend	Message.sendEvent() The MessageSend marking the message origin.

Methods in edu.buffalo.cse.jive.sequence with parameters of type MessageSend

void	ExecutionOccurrence.Exporter.addInitiator(MessageSend initiator)
void	SequenceModel.Listener.executionAdded(SequenceModel model, ExecutionOccurrence execution, MessageSend initiator) Called by the model when an ExecutionOccurrence is added to the model.
void	SequenceModel.EventVisitor.visit(MessageSend event) Visits an occurrence of a MessageSend event.

Uses of MessageSend in edu.buffalo.cse.jive.ui.search.queries

Methods in edu.buffalo.cse.jive.ui.search.queries with parameters of type MessageSend

protected boolean	InvariantViolatedSearchQuery.checkInvariantViolated(MessageSend event) Checks whether the invariant was violated at the current point in the execution history.
void	VariableChangedSearchQuery.visit(MessageSend event)
void	ObjectCreatedSearchQuery.visit(MessageSend event)
void	MethodReturnedSearchQuery.visit(MessageSend event)
void	MethodCalledSearchQuery.visit(MessageSend event)
void	LineExecutedSearchQuery.visit(MessageSend event)
void	InvariantViolatedSearchQuery.visit(MessageSend event)
void	ExceptionCaughtSearchQuery.visit(MessageSend event)