Ending-distinguishable types

Ending-distinguishability is used to determine if the end of a data object is distinguishable from the start of any other data object that could be next in the data.

The following table describes how two types may be ending-distinguishable. This is helpful if you are validating data and you receive a message that says a type exists, but it belongs to the wrong component.

Type1 Type2 How to define them as ending-distinguishable
item item or sequence group or choice group or unordered group Type1 is bound or the value of Type1 is content-distinguishable from Type2.
item partitioned item or partitioned group Type1 is bound or the value of Type1 is content-distinguishable from each partition of Type2.
sequence group item or sequence group or choice group or unordered group Either:
  • Type1 is bound.

or

For each component in the unbound set of Type1

  • If the component has a fixed range it must be ending-distinguishable from Type2.
  • If the component range is variable, it must be content-distinguishable from Type2 and ending-distinguishable from Type2.
sequence group partitioned item or partitioned group Either:
  • Type1 is bound.

or

For each component in the unbound set of Type1

  • If the component has a fixed range it must be ending-distinguishable from each partition of Type2.
  • If the component range is variable, it must be content-distinguishable from each partition of Type2 and ending-distinguishable from each partition of Type2.
choice group or unordered group item or sequence group or choice group or unordered group Either:
  • Type1 is bound.

or

  • For each component of Type1,
The type of that component is bound, or The type of that component is unbound, and that type must be ending-distinguishable from Type2.
choice group or unordered group partitioned item or partitioned group Either:
  • Type1 is bound.

or

  • For each component of Type1,
The type of that component is bound, or The type of that component is unbound, and that type must be ending-distinguishable from each partition of Type2.
partitioned item or partitioned group item, sequence group, choice group, or unordered group For each partition of Type1, either:
  • The partition is a partitioned type and ending-distinguishable from the second type, or
  • The partition of the first type is bound, or
  • The partition of the first type is unbound and ending-distinguishable from the second type.
partitioned item or partitioned group partitioned item or partitioned group For each partition of the first type, either:
  • The partition is a partitioned type and ending-distinguishable from the second type, or
  • The partition of the first type is bound, or
  • The partition of the first type is unbound and ending-distinguishable from the second type.