Ada Programming/Attributes/'Modulus

Computing » Computer Science » Computer Programming » Ada Programming

---

Description

X'Modulus is an Ada attribute where X is any modular type. This returns the modulus of X.

Example

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

Wikibook

• Ada Programming
• Ada Programming/Attributes

Ada Reference Manual

• 3.5-4 Integer Types (Annotated)
• Annex K Language-Defined Attributes (Annotated)