The description of the
<sw-param-contents> is possible in
<sw-function-spec-variant> as well as in
<sw-param-contents-spec>. The implicit variant handling
<sw-param-content> is given at both points by the fact that
<sw-param> is referenced in
<sw-param-content>.
<sw-function-variant> contains an explicit variant cross-reference. The arrangement of
<sw-param> to the variants is given by the
<variant-def-ref>s of the
<sw-function-variant>s where these are referenced (implicit allocation
).
The allocation of parameters to variants is thus exclusively by the use in function variants. An explicit arrangement of parameters to variants would be necessary (by
<variant-def-refs> in
<sw-param>) for an automated testing of contradiction-free variant descriptions for functions and parameters. This has been put back for the time being since it has not been clarified whether the thereby resulting complexity is necessary and justified

.