Ada LRM - Index M

Machine code insertion 13.8 (13.8)

Machine dependent attribute 13.7.3 (13.7.3) 

Machine representation
  [see: representation] 

MACHINE_CODE (predefined package) 13.8 (13.8); C (C)

MACHINE_EMAX (predefined attribute) 13.7.3 (13.7.3); 3.5.8 (3.5.8), A (A) 

MACHINE_EMIN (predefined attribute) 13.7.3 (13.7.3); 3.5.8 (3.5.8), A (A) 

MACHINE_MANTISSA (predefined attribute) 13.7.3 (13.7.3); 3.5.8 (3.5.8), A (A)

MACHINE_OVERFLOWS (predefined attribute) 13.7.3 (13.7.3); 3.5.8 (3.5.8), 3.5.10 (3.5.10), A (A)

MACHINE_RADIX (predefined attribute) 13.7.3 (13.7.3); 3.5.8 (3.5.8), A (A) 

MACHINE_ROUNDS (predefined attribute) 13.7.3 (13.7.3); 3.5.8 (3.5.8), 3.5.10 (3.5.10), A (A)

Main program 10.1 (10.1)  
     execution requiring elaboration of library units 10.5 (10.5)
     included in the predefined package standard 8.6 (8.6)
     including a priority pragma 9.8 (9.8)
     raising an exception 11.4.1 (11.4.1), 11.4.2 (11.4.2)
     termination 9.4 (9.4) 

MANTISSA (predefined attribute) 3.5.8 (3.5.8), 3.5.10 (3.5.10); A (A) 

Mantissa
     of a fixed point number 3.5.9 (3.5.9)
     of a floating point number 3.5.7 (3.5.7); 13.7.3 (13.7.3)

Mark
  [see: type_mark] 

Master (task) 9.4 (9.4)

Matching components
     of arrays 4.5.2 (4.5.2); 4.5.1 (4.5.1), 5.2.1 (5.2.1)
     of records 4.5.2 (4.5.2) 

Matching generic formal
     and actual parameters 12.3 (12.3)
     access type 12.3.5 (12.3.5)
     array type 12.3.4 (12.3.4)
     default subprogram 12.3.6 (12.3.6); 12.1.3 (12.1.3)
     object 12.3.1 (12.3.1); 12.1.1 (12.1.1)
     private type 12.3.2 (12.3.2)
     scalar type 12.3.3 (12.3.3)
     subprogram 12.3.6 (12.3.6); 12.1.3 (12.1.3)
     type 12.3.2 (12.3.2), 12.3.3 (12.3.3), 12.3.4 (12.3.4), 12.3.5 (12.3.5); 12.1.2 (12.1.2) 

Mathematically correct result of a numeric operation 4.5 (4.5); 4.5.7 (4.5.7)

MAX_DIGITS
  [see: system.max_digits] 

MAX_INT
  [see: system.max_int] 

MAX_MANTISSA
  [see: system.max_mantissa] 

Maximum line length 14.3 (14.3) 

Maximum page length 14.3 (14.3) 
                      
Membership test 4.4 (4.4), 4.5.2 (4.5.2)
     cannot be overloaded 6.7 (6.7) 

Membership test operation 4.5 (4.5)
  [see also: overloading of...]
     as a basic operation 3.3.3 (3.3.3); 3.3 (3.3), 3.5.5 (3.5.5), 3.5.8 (3.5.8), 3.5.10 (3.5.10), 3.6.2 (3.6.2), 3.7.4 (3.7.4),
        3.8.2 (3.8.2), 7.4.2 (7.4.2)
     for a real type 4.5.7 (4.5.7) 

MEMORY_SIZE (predefined named number)
  [see: system.memory_size] 

MEMORY_SIZE (predefined pragma) 13.7 (13.7); B (B) 

MIN_INT
  [see: system.min_int] 

Minumization of storage
  [see: pack predefined pragma]

Minus
     character [see: hyphen character]
     character in an exponent of a numeric literal 2.4.1 (2.4.1)
     delimiter 2.2 (2.2)
     operator [see: binary adding operator, unary adding operator]
     unary operation 4.5.4 (4.5.4) 

Mod operator
  [see: multiplying operator] 

MODE (input-output function)
     in an instance of direct_io 14.2.1 (14.2.1); 14.2.5 (14.2.5)
     in an instance of sequential_io 14.2.1 (14.2.1); 14.2.3 (14.2.3)
     in text_io 14.2.1 (14.2.1); 14.3.3 (14.3.3), 14.3.4 (14.3.4), 14.3.10 (14.3.10)

Mode (of a file) 14.1 (14.1); 14.2.1 (14.2.1)
     of a direct access file 14.2 (14.2); 14.2.5 (14.2.5)
     of a sequential access file 14.2 (14.2); 14.2.3 (14.2.3)
     of a text_io file 14.3.1 (14.3.1); 14.3.4 (14.3.4) 

Mode (of a parameter) 6.2 (6.2); 6.1 (6.1), D (D)
  [see also: formal parameter, generic formal parameter]
     of a formal parameter of a derived subprogram 3.4 (3.4)
     of a formal parameter of a renamed entry or subprogram 8.5 (8.5)
     of a generic form object 12.1.1 (12.1.1)

Mode in out for a formal parameter 6.1 (6.1), 6.2 (6.2); 3.2.1 (3.2.1)
     of a function 6.5 (6.5)
     of an interrupt entry 13.5.1 (13.5.1)

Mode in for a generic formal object 12.1.1 (12.1.1); 3.2.1 (3.2.1), 12.3 (12.3), 12.3.1 (12.3.1)

Mode in for a formal parameter 6.1 (6.1), 6.2 (6.2); 3.2.1 (3.2.1)
     of a function is not allowed 6.5 (6.5)
     of an interrupt entry is not allowed 13.5.1 (13.5.1) 

Mode in out for a generic formal object 12.1.1 (12.1.1); 3.2.1 (3.2.1), 12.3 (12.3), 12.3.1 (12.3.1)

Mode out for a formal parameter 6.1 (6.1), 6.2 (6.2)
     of a function is not allowed 6.5 (6.5)
     of an interrupt entry is not allowed 13.5.1 (13.5.1) 

MODE_ERROR (input-output exception) 14.4 (14.4); 14.2.2 (14.2.2), 14.2.3 (14.2.3), 14.2.4 (14.2.4), 14.2.5 (14.2.5),
14.3.1 (14.3.1), 14.3.2 (14.3.2), 14.3.3 (14.3.3), 14.3.4 (14.3.4), 14.3.5 (14.3.5), 14.3.10 (14.3.10), 14.5 (14.5)

Model interval of a subtype 4.5.7 (4.5.7)

Model number (of a real type) 3.5.6 (3.5.6); D (D)
  [see also: real type, safe number]
     accuracy of a real operation 4.5.7 (4.5.7)
     of a fixed point type 3.5.9 (3.5.9); 3.5.10 (3.5.10)
     of a floating point type 3.5.7 (3.5.7); 3.5.8 (3.5.8)

Modulus operation 4.5.5 (4.5.5) 

MONTH (predefined function) 9.6 (9.6) 

Multidimensional array 3.6 (3.6) 

Multiple
     component definition 3.7 (3.7); 3.2 (3.2)
     deferred constant declaration 7.4 (7.4); 3.2 (3.2)
     discriminant specification 3.7.1 (3.7.1); 3.2 (3.2)
     generic parameter declaration 12.1 (12.1); 3.2 (3.2)
     number declaration 3.2.2 (3.2.2); 3.2 (3.2)
     object declaration 6.1 (6.1); 3.2 (3.2)
     parameter specification 6.1 (6.1); 3.2 (3.2)

Multiplication operation 4.5.5 (4.5.5)
     accuracy for a real type 4.5.7 (4.5.7) 

Multiplying operator 4.5 (4.5); 4.5.5 (4.5.5), C (C)
  [see also: arithmetic operator, overloading of an operator]
     in a term 4.4 (4.4)
     overloaded 6.7 (6.7) 

Must (legality requirement) 1.6 (1.6) 

Mutually recursive types 3.8.1 (3.8.1); 3.3.1 (3.3.1)