|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use PlatformEvent | |
|---|---|
| org.eclipse.gmt.modisco.omg.kdm.platform | |
| org.eclipse.gmt.modisco.omg.kdm.platform.util | |
| Uses of PlatformEvent in org.eclipse.gmt.modisco.omg.kdm.platform |
|---|
| Methods in org.eclipse.gmt.modisco.omg.kdm.platform that return PlatformEvent | |
|---|---|
PlatformEvent |
PlatformFactory.createPlatformEvent()
Returns a new object of class 'Event'. |
| Uses of PlatformEvent in org.eclipse.gmt.modisco.omg.kdm.platform.util |
|---|
| Methods in org.eclipse.gmt.modisco.omg.kdm.platform.util with parameters of type PlatformEvent | |
|---|---|
T |
PlatformSwitch.casePlatformEvent(PlatformEvent object)
Returns the result of interpreting the object as an instance of 'Event'. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||