public class WaitAbstraction
extends java.lang.Object
| Modifier and Type | Field and Description | 
|---|---|
| protected java.util.Set<java.lang.String> | changeeventtypesThe event types. | 
| protected java.util.Set<MElement> | modelelementsThe model elements. | 
| protected java.util.Set<Tuple2<RMessageEvent,java.util.Set<MMessageEvent>>> | replyelementsThe reply elements. | 
| protected java.util.Set<RElement> | runtimeelementsThe 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)