|
||||||||||
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 |