TYPE common_datum_list = LIST [2:?] OF datum_reference_element; WHERE wr1: SIZEOF( QUERY(dre <* SELF | dre\shape_aspect.of_shape <> SELF[1]\shape_aspect.of_shape)) = 0; END_TYPE; -- common_datum_list |
Usersdatum_or_common_datumgeneral_datum_reference.base |
public interface ECommon_datum_list |