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