|
ENTITY Scattering_parameter_data_element SUBTYPE OF (Value_with_unit); angle : REAL; SELF\Value_with_unit.value_component RENAMED radius : any_number_value; WHERE WR1: radius >= 0; WR2: {0 <= angle < 2*PI}; END_ENTITY; -- Scattering_parameter_data_element |
Entity data types and their attributesValue_with_unitunit: Unit; value_component: measure_value; Scattering_parameter_data_element angle: REAL; (RT) value_component->radius: any_number_value; |
Global rules for this entity data type- |