|
JIVE Platform Release 0.3.1 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use MessageReceive | |
|---|---|
| edu.buffalo.cse.jive.sequence | Sequence model used to represent program execution history. |
| Uses of MessageReceive in edu.buffalo.cse.jive.sequence |
|---|
| Methods in edu.buffalo.cse.jive.sequence that return MessageReceive | |
|---|---|
MessageReceive |
Message.receiveEvent()
The MessageReceive marking the message destination. |
|
JIVE Platform Release 0.3.1 |
|||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||