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)