Definition

For any state-related aggregation SRA, whether a <State Related Features> or a <State Related Geometry>,

1. The state_tag of SRA shall be "state-applicable".
2. Each branch of SRA shall comply with the following constraints.

   2.1	The <State Data> associated with that branch shall have a state_value, the value_type of which matches that of SRA's active_state_value.
   2.2	The <State Data> associated with that branch shall have a state_value which does not overlap with that of any other branch's <State Data> within SRA.

3. If SRA has a <State Control Link> instance as a component, then the return type of each of the <Expression> components of the <State Control Link> shall match that of SRA's active_state_value's value_type.

Rationale

1. The state_tag shall specify some EAC that is actually legal for use as a state.

2. The active_state_value, and each of the possible <State Data>'s state_values, as well as the return types of the <State Control Link>'s <Expressions> (if any) are all designed to be interchangeable, since any one of them could determine the active state of SRA at some point.

3. The <State Data> may not overlap, because the active_state_value shall unambiguously specify which state that SRA is in.

Example

No Example supplied.

FAQs

No FAQs supplied.