Ada Programming/Attributes/'Modulus
Description[edit]
X'Modulus is an Ada attribute where X is any modular type. This returns the modulus of X.
Example[edit]
type Unsigned_Byte is mod 2**8; type Unsigned_Word is mod 2**16; pragma Assert (Unsigned_Byte'Modulus = 256); -- Ok pragma Assert (Unsigned_Word'Modulus = 65536); -- Ok