The following restrictions apply to the dynamic part of an application program (violations are detected by the Check function)
·Each parameterBlock must have a ParameterRef or type ParameterTypeNone assigned
·There must be at most one ParameterRefRef or ParameterBlock assigned to a ParameterRef
·There must be at most one ComObjectRefRef assigned to a ComObjectRef
Additional restrictions apply to the use of choose. Consider the chain of choose elements (only the choose elements are written down) from the dynamic root to any dynamic element, e.g.
Choose(Parameter1) - Choose(Parameter2) - Choose(Parameter3)
The condition chain in this example contains conditions for Parameter1, Parameter2 and Parameter3.
The first restriction is a restriction on all these condition chains: if a parameter appears in several of these condition chains, everything to the left of this choose must be identical in all the condition chains.
It is e.g. not allowed to have another condition chain
Choose(Parameter1) - Choose(Parameter3)
The second restriction is about the parameters used in the choose conditions. There must be a ParameterRefRef on this parameter, and this ParameterRefRef must have a condition chain identical to that of the choose element itself. In the above example, there must be a ParameterRefRef on Parameter2 with a condition chain