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:


  FAMILY nominal


    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")





Related Topics

Testing RecordsTesting a Record with Ada ExpressionsTesting a Record with Another RecordTesting Records with DiscriminantsTesting Tagged Records