Ada Programming/Attributes/'Modulus

From Wikibooks, open books for an open world
Jump to: navigation, search

Ada Lovelace 1838.jpg

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

See also[edit]

Wikibook[edit]

Ada Reference Manual[edit]