Determining if a component is initiator-distinguishable from its following set
A component is initiator-distinguishable from its following set if:
- The component is not a member of the identifier set and
- The type of the component has an initiator and
- The following set is empty or
- The type of the component is initiator-distinguishable from each type in its following set.
Schemas are analyzed to determine if components are initiator-distinguishable. Each implicit sequence group, choice group, and unordered group is analyzed to determine if their components are initiator-distinguishable. A component is marked as initiator-distinguishable when that component is initiator-distinguishable from its following set. The basis for this determination is found in "Determining If Two Types are Initiator-Distinguishable" .