Name

signalValue — Gives the value of a checkcase signal/variable

Content model

signalValue : 
     (#PCDATA)

Attributes

NONE

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.

Possible parents

signal

Allowable children

NONE