No Test

Component Testing for Ada

You can only initialize and test records with the following forms:

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 RecordsTesting a Record with Ada ExpressionsTesting a Record with Another RecordTesting Records with DiscriminantsTesting Tagged Records