public class WaitAbstraction
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<java.lang.String> |
changeeventtypes
The event types.
|
protected java.util.Set<MElement> |
modelelements
The model elements.
|
protected java.util.Set<Tuple2<RMessageEvent,java.util.Set<MMessageEvent>>> |
replyelements
The reply elements.
|
protected java.util.Set<RElement> |
runtimeelements
The runtime elements.
|
Constructor and Description |
---|
WaitAbstraction() |
Modifier and Type | Method and Description |
---|---|
void |
addChangeEventType(java.lang.String eventtype) |
void |
addModelElement(MElement melement) |
void |
addReply(RMessageEvent event,
java.util.Set<MMessageEvent> mevents)
Add a message event reply.
|
void |
addRuntimeElement(RElement relement) |
java.util.Set<java.lang.String> |
getChangeeventtypes()
Get the change event types.
|
boolean |
isWaitingFor(java.lang.Object procelem)
Test if this wait abstraction is waiting for the element.
|
void |
removeChangeEventType(java.lang.String eventtype) |
void |
removeModelElement(MElement melement) |
void |
removeReply(RMessageEvent event)
Add a message event reply.
|
void |
removeRuntimeElement(RElement relement) |
protected java.util.Set<MElement> modelelements
protected java.util.Set<RElement> runtimeelements
protected java.util.Set<java.lang.String> changeeventtypes
protected java.util.Set<Tuple2<RMessageEvent,java.util.Set<MMessageEvent>>> replyelements
public void addReply(RMessageEvent event, java.util.Set<MMessageEvent> mevents)
me
- The message event.mevents
- Allowed message templates (null for any).public void removeReply(RMessageEvent event)
me
- The message event.public void addModelElement(MElement melement)
public void removeModelElement(MElement melement)
public void addRuntimeElement(RElement relement)
public void removeRuntimeElement(RElement relement)
public void addChangeEventType(java.lang.String eventtype)
public void removeChangeEventType(java.lang.String eventtype)
public java.util.Set<java.lang.String> getChangeeventtypes()
public boolean isWaitingFor(java.lang.Object procelem)