Ada LRM - Index F

Factor 4.4 (4.4)
     in a term 4.4 (4.4) 

FALSE boolean enumeration literal 3.5.3 (3.5.3); C (C) 

Family of entries
  [see: entry family]

FIELD (predefined integer subtype) 14.3.5 (14.3.5); 14.3.7 (14.3.7), 14.3.10 (14.3.10)

File (object of a file type) 14.1 (14.1)
  [see also: external file] 

File management 14.2.1 (14.2.1)
     in text_io 14.3.1 (14.3.1) 

File terminator 14.3 (14.3); 14.3.1 (14.3.1), 14.3.4 (14.3.4), 14.3.5 (14.3.5), 14.3.6 (14.3.6), 14.3.7 (14.3.7), 14.3.8 (14.3.8), 14.3.9 (14.3.9)

FILE_MODE (input-output type)
     in an instance of direct_io 14.1 (14.1), 14.2.1 (14.2.1); 14.2.5 (14.2.5)
     in an instance of sequential_io 14.1 (14.1), 14.2.1 (14.2.1); 14.2.3 (14.2.3)
     in text_io 14.1 (14.1), 14.2.1 (14.2.1); 14.3.10 (14.3.10)

FILE_TYPE (input-output type)
     in an instance of direct_io 14.1 (14.1), 14.2.1 (14.2.1); 14.2 (14.2), 14.2.4 (14.2.4), 14.2.5 (14.2.5)
     in an instance of sequential_io 14.1 (14.1), 14.2.1 (14.2.1); 14.2 (14.2), 14.2.2 (14.2.2), 14.2.3 (14.2.3)
     in text_io 14.1 (14.1), 14.2.1 (14.2.1); 14.2 (14.2), 14.3.3 (14.3.3), 14.3.4 (14.3.4), 14.3.6 (14.3.6), 14.3.7 (14.3.7), 14.3.8 (14.3.8),
        14.3.9 (14.3.9), 14.3.10 (14.3.10)

FINE_DELTA
  [see: system.fine_delta] 

FIRST (predefined attribute) A (A)
  [see also: bound]
     for an access value 3.8.2 (3.8.2)
     for an array type 3.6.2 (3.6.2)        
     for a scalar type 3.5 (3.5)

First named subtype 13.1 (13.1)
  [see also: anonymous base type, representation clause] 

FIRST_BIT (predefined attribute) 13.7.2 (13.7.2); A (A)
  [see also: record representation clause] 

Fixed accuracy definition 3.5.9 (3.5.9)

Fixed point constraint 3.5.9 (3.5.9); 3.5.6 (3.5.6)
     on a derived subtype 3.4 (3.4) 

Fixed point predefined types 3.5.9 (3.5.9) 

Fixed point types 3.5.9 (3.5.9); D (D)
  [see also: basic operation of..., duration, numeric type, operation
  of..., real type, scalar type, small, system.fine_delta,
  system.max_mantissa]
     accuracy of an operation 4.5.7 (4.5.7)
     as a generic actual type 12.3.3 (12.3.3)
     as a generic formal type 12.1.2 (12.1.2)
     error bounds 4.5.7 (4.5.7); 3.5.6 (3.5.6)
     operation 3.5.10 (3.5.10); 4.5.3 (4.5.3), 4.5.4 (4.5.4), 4.5.5 (4.5.5)
     result of an operation out of range of the type 4.5.7 (4.5.7)
     
FIXED_IO (text_io inner generic package) 14.3.8 (14.3.8); 14.3.10 (14.3.10)

FLOAT (predefined type) 3.5.7 (3.5.7); C (C) 

FLOAT_IO (text_io inner generic package) 14.3.8 (14.3.8); 14.3.10 (14.3.10)

Floating accuracy definition 3.5.7 (3.5.7)
     
Floating point constraint 3.5.7 (3.5.7); 3.5.6 (3.5.6)
     on a derived subtype 3.4 (3.4) 

Floating point predefined types
  [see: FLOAT, LONG_FLOAT, SHORT_FLOAT] 

Floating point types 3.5.7 (3.5.7); D (D)
  [see also: numeric type, real type, scalar type, system.max_digits]
     accuracy of an operation 4.5.7 (4.5.7)
     as a generic actual type 12.3.3 (12.3.3)
     as a generic formal type 12.1.2 (12.1.2)
     error bounds 4.5.7 (4.5.7); 3.5.6 (3.5.6)
     operation 3.5.8 (3.5.8); 4.5.3 (4.5.3), 4.5.4 (4.5.4), 4.5.5 (4.5.5), 4.5.6 (4.5.6)
     result of an operation out of range of the type 4.5.7 (4.5.7)

Font design of graphical symbols 2.1 (2.1) 

For loop
  [see: loop statement] 

Forcing occurrence (of a name leading to default determination of
representation) 13.1 (13.1)

FORE (predefined attribute) for a fixed point type 3.5.10 (3.5.10); A (A)

Fore field of text_io input or output 14.3.8 (14.3.8), 14.3.10 (14.3.10); 14.3.5 (14.3.5)

FORM (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.10 (14.3.10)
     raising an exception 14.4 (14.4)

Form feed format effector 2.1 (2.1) 

Form string of a file 14.1 (14.1); 14.2.1 (14.2.1), 14.2.3 (14.2.3), 14.2.5 (14.2.5), 14.3.10 (14.3.10)

Formal object
  [see: generic formal object] 

Formal parameter 6.1 (6.1); D (D); (of an entry) 9.5 (9.5); 3.2 (3.2), 3.2.1 (3.2.1); (of a function) 6.5 (6.5);
(of an operator) 6.7 (6.7); (of a subprogram) 6.1 (6.1), 6.2 (6.2), 6.4 (6.4); 3.2 (3.2), 3.2.1 (3.2.1),6.3 (6.3)
  [see: actual parameter, default expression, entry, generic formal
  parameter, mode, object, subprogram]
     as a constant 3.2.1 (3.2.1)
     as an object 3.2 (3.2)
     as a variable 3.2.1 (3.2.1)
     names and overload resolution 6.6 (6.6)
     names and overload resolution 6.6 (6.6)
     of a derived subprogram 3.4 (3.4)
     of a generic formal subprogram 12.1 (12.1), 12.1.3 (12.1.3)
     of a main program 10.1 (10.1)
     of an operation 3.3.3 (3.3.3)
     of a renamed entry or subprogram 8.5 (8.5)
     which is of an array type 3.6.1 (3.6.1)
     which is of a limited type 7.4.4 (7.4.4)
     which is of a record type 3.7.2 (3.7.2)
     which is of a task type 9.2 (9.2) 

Formal part 6.1 (6.1); 6.4 (6.4)
  [see also: generic formal part, parameter type profile]
     conforming to another 6.3.1 (6.3.1)
     in an accept statement 9.5 (9.5)
     in an entry declaration 9.5 (9.5)
     in a subprogram specification 6.1 (6.1)
     must not include a pragma 2.8 (2.8)

Formal subprogram
  [see: generic formal subprogram] 

Formal type
  [see: generic formal type] 

Format effector 2.1 (2.1)
  [see also: carriage return, form feed, horizontal tabulation, line feed,
  vertical tabulation]
     as a separator 2.2 (2.2)
     in an end of line 2.2 (2.2) 

Format of text_io input or output 14.3.5 (14.3.5), 14.3.7 (14.3.7), 14.3.8 (14.3.8), 14.3.9 (14.3.9)

Formula
  [see: expression] 

Frame 11.2 (11.2)
     and optimization 11.6 (11.6)
     in which an exception is raised 11.4.1 (11.4.1), 11.4.2 (11.4.2) 

Full declaration
     of a deferred constant 7.4.3 (7.4.3) 

Full type declaration 3.3.1 (3.3.1)
     discriminant part is not elaborated 3.3.1 (3.3.1)
     of an incomplete type 3.8.1 (3.8.1)
     of a limited private type 7.4.4 (7.4.4)
     of a private type 7.4.1 (7.4.1); 7.4.2 (7.4.2) 

Function 6.1 (6.1), 6.5 (6.5); 6 (6),12.3 (12.3), D (D)
  [see also: operator, parameter and result type profile, parameter,
  predefined function, result subtype, return statement, subprogram]
     as a main program 10.1 (10.1)
     renamed 8.5 (8.5)
     result [see: returned value]
     that is an attribute 4.1.4 (4.1.4); 12.3.6 (12.3.6) 

Function body
  [see: subprogram body] 

Function call 6.4 (6.4); 6 (6)
  [see also: actual parameter, subprogram call]
     as a prefix 4.1 (4.1), 4.1.3 (4.1.3)
     as a primary 4.4 (4.4)
     in a static expression 4.9 (4.9)
     with a parameter of a derived type 3.4 (3.4)
     with a result of a derived type 3.4 (3.4) 

Function specification
  [see: subprogram specification]