Typed data

---

 
In case a component in a reference path is not an entity instance, and its type is not unambiguous from the declared domain, typing should/may be added. The typing should occur in front of the component:
anInstance.{length_measure}length := 100.;
In case the component includes aggregate indexing and the elements should be typed, the typing should occur after the index. Note that the aggregate itself may be typed.
anInstance.{measure_aggr}anAggr[index1]{measure}[index2]{length_measure} := 100.;
In case an aggregate element is added by means of the ?++? operator and the element should be typed, the SYNTAX is as follows: anAggr{length_measure} := 100;
In case the value to be typed is a local variable declared as GENERIC, the typing should occur in front of the variable: {length_measure}aGeneric := 100.