|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
GetAlias | |
GetScalar | Wrapper around the VDM.GETSCALAR xml tag |
SetAlias | |
SetAliasWithoutReset | Sets an alias ONLY if it has not been set before. |
SetScalar | |
SetScalarWithoutReset | Sets a scalar attribute value without resetting it if it has already been set to the same value. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |