Determining if two types are initiator-distinguishable

The following table lists ways two types may be initiator-distinguishable. This is helpful if data validation errors indicate a type does not exist.

Type1 Type2 How to define them as initiator-distinguishable
item item If Type1 and Type2 have an initiator, and the initiators are different.
item sequence group Either:
  • Type1 and Type2 both have an initiator and the initiators are different.

or

  • Type1 has an initiator, Type2 does not, Type2 has no delimiter, and Type1 is initiator distinguishable from type of each component in the starting component set of Type2.
item choice group or unordered group Either:
  • The Type1 and Type2 both have an initiator and the initiators are different.

or

  • Type1 has an initiator, Type2 does not, Type2 has no delimiter, and Type1 is initiator distinguishable from type of each component of Type2.
item partitioned item or partitioned group Type1 has an initiator and is initiator distinguishable from each partition of Type2.
partitioned item item or sequence group Type1 has an initiator and each partition is initiator distinguishable from Type2.
partitioned item partitioned item or partitioned group Type1 has an initiator and each partition is initiator distinguishable from each partition of Type2.
sequence group item Type1 has no identifier, Type1 and Type2 both have initiators, and the initiators are different.
sequence group sequence group Type1 has no identifier and
  • Type1 and Type2 both have initiators and the initiators are different

or

  • Type1 has an initiator, Type2 does not have an initiator, Type2 has no delimiter, and Type1 is initiator distinguishable from the starting component set of Type2.
sequence group choice group or unordered group Type1 has no identifier and
  • Type1 and Type2 both have initiators and the initiators are different.

or

  • Type1 has an initiator, Type2 does not have an initiator, Type2 has no delimiter, and Type1 is initiator distinguishable from the type of each component of the Type2.
sequence group partitioned item Type1 has no identifier and Type1 must be initiator distinguishable from each partition of Type2.
sequence group partitioned group Type1 has no identifier and the Type1 must be initiator distinguishable from each partition of Type2.
partitioned group partitioned item Type1 has no identifier and each partition Type1 must be initiator distinguishable from Type2.
partitioned group sequence group Type1 has no identifier and each partition of the Type1 must be initiator distinguishable from Type2.
partitioned group partitioned item Type1 has no identifier and each partition of Type1 must be initiator distinguishable from each partition of Type2.
partitioned group partitioned group Type1 has no identifier and each partition of Type1 must be initiator distinguishable from each partition of Type2.
choice group or unordered group item Type1 and Type2 both have an initiator and the initiators are different.
choice group or unordered group partitioned item Type1 is initiator-distinguishable from each partition of Type2.
choice group or unordered group choice group or unordered group Either:
  • Type1 and Type2 both have an initiator and the initiators are different.

or

  • Type1 has an initiator and Type2 does not, Type2 has no delimiter, and Type1 is initiator-distinguishable from the type of each component of Type2.
choice group or unordered group sequence group Either:
  • Type1 and Type2 both have an initiator and they are different.

or

  • Type1 has an initiator and Type2 has no initiator and no delimiter, and Type1 is initiator-distinguishable from the type of each component in the starting component set of Type2.
choice group or unordered group partitioned group Type1 is initiator distinguishable from each partition of the Type2.