signalValue
signalValue — Gives the value of a checkcase signal/variable
Content model
signalValue :
(#PCDATA)
Description
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.