|
ENTITY si_electric_charge_unit SUBTYPE OF (electric_charge_unit, si_unit); WHERE wr1: SELF \ si_unit . name = si_unit_name . coulomb ; wr2: NOT EXISTS ( SELF \ derived_unit . name ) ; END_ENTITY; -- si_electric_charge_unit |
Entity data types and their attributesderived_unitelements: SET [1:?] OF derived_unit_element; (DER) name: label; electric_charge_unit - named_unit dimensions: dimensional_exponents; si_unit (OPT) prefix: si_prefix; name: si_unit_name; (RT) (DER) dimensions: dimensional_exponents; si_electric_charge_unit - |
Global rules for this entity data type- |
public interface ESi_electric_charge_unit extends EElectric_charge_unit, ESi_unit |
public class CSi_electric_charge_unit implements ESi_electric_charge_unit |
public class ASi_electric_charge_unit extends AEntitypublic ESi_electric_charge_unit getByIndex(int index)public ESi_electric_charge_unit getCurrentMember(SdaiIterator it) |