| Package | Description |
|---|---|
| org.eclipse.gmt.modisco.omg.kdm.platform | |
| org.eclipse.gmt.modisco.omg.kdm.platform.util |
| Modifier and Type | Method and Description |
|---|---|
PlatformEvent |
PlatformFactory.createPlatformEvent()
Returns a new object of class 'Event'.
|
| Modifier and Type | Method and Description |
|---|---|
T |
PlatformSwitch.casePlatformEvent(PlatformEvent object)
Returns the result of interpreting the object as an instance of 'Event'.
|