No Test
Component Testing for Ada
You can only initialize and test records with the following forms:
-
INIT =
-
INIT ==
-
EV =
-
EV ==
If a field of a structured variable needs to be initialized or tested in a different way, you can omit its initial and expected values from the global test of the structured variable, and run a separate test on this field.
The following example illustrates this:
TEST 4
FAMILY nominal
ELEMENT
VAR l, init = NIL, ev = NONIL
VAR l.all, init == , ev = (next=>NIL,prev=>NIL)
VAR s, init in ("foo","bar"), ev = init
VAR l.str, init ==, ev(s) in ("foo","bar")
#push(l,s);
END ELEMENT
END TEST
Related Topics
Testing Records | Testing a Record with Ada Expressions | Testing a Record with Another Record | Testing Records with Discriminants | Testing Tagged Records