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.

Type trees 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" .