signalValue — Gives the value of a checkcase signal/variable
signalValue : (#PCDATA)
NONE |
Used inside a checkCase element to give the current value of an internal signal or input/output variable, for verification of proper implementation of a model.
signal |
NONE |