ASSERTION_VARIABLE Class Class ASSERTION_VARIABLE Description Definition of a named variable used in an assertion expression. Attributes Signature Meaning 1..1 name: String Name of variable. 1..1 definition: String Formal definition of the variable.