| Package | Description |
|---|---|
| org.scribble.model | |
| org.scribble.model.global | |
| org.scribble.model.local | |
| org.scribble.monitor.export.rules |
| Constructor and Description |
|---|
Message(Message copy) |
| Modifier and Type | Method and Description |
|---|---|
Message |
GMessageTransfer.getMessage()
This method returns the message.
|
| Modifier and Type | Method and Description |
|---|---|
List<Message> |
GInterruptible.Interrupt.getMessages()
This method gets the interrupt messages.
|
| Modifier and Type | Method and Description |
|---|---|
void |
GMessageTransfer.setMessage(Message message)
This method sets the message.
|
| Modifier and Type | Method and Description |
|---|---|
void |
GInterruptible.Interrupt.setMessages(List<Message> mesgs)
This method sets the interrupt messages.
|
| Constructor and Description |
|---|
GMessageTransfer(Message sig,
Role fromRole,
List<Role> toRoles)
This method initializes the 'from' and 'to' roles, and
message signature.
|
| Modifier and Type | Method and Description |
|---|---|
Message |
LReceive.getMessage()
This method returns the message.
|
Message |
LSend.getMessage()
This method returns the message.
|
| Modifier and Type | Method and Description |
|---|---|
List<Message> |
LInterruptible.Throw.getMessages()
This method gets the interrupt messages.
|
List<Message> |
LInterruptible.Catch.getMessages()
This method gets the interrupt messages.
|
| Modifier and Type | Method and Description |
|---|---|
void |
LReceive.setMessage(Message message)
This method sets the message.
|
void |
LSend.setMessage(Message message)
This method sets the message.
|
| Modifier and Type | Method and Description |
|---|---|
void |
LInterruptible.Throw.setMessages(List<Message> mesgs)
This method sets the interrupt messages.
|
void |
LInterruptible.Catch.setMessages(List<Message> mesgs)
This method sets the interrupt messages.
|
| Constructor and Description |
|---|
LReceive(Message sig,
Role fromRole)
This constructor initializes the 'from' role and message
signature.
|
LSend(Message sig,
Role toRole)
This constructor initializes the 'to' role and message
signature.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
LInterruptibleNodeExporter.exportCatch(ModuleContext context,
ExportState state,
LInterruptible.Catch elem,
SessionType type,
Message mesg) |
protected void |
LInterruptibleNodeExporter.exportThrow(ModuleContext context,
ExportState state,
LInterruptible elem,
SessionType type,
Message mesg) |
Copyright © 2014. All Rights Reserved.