Ada LRM - Index D

DATA_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.5 (14.3.5), 14.3.7 (14.3.7), 14.3.8 (14.3.8), 14.3.9 (14.3.9), 14.3.10 (14.3.10), 14.5 (14.5)

Date
  [see: day, month, time, year] 

DAY (predefined function) 9.6 (9.6) 

Dead code elimination 
  [see: conditional compilation]

Deallocation
  [see: access type, unchecked_deallocation] 

Decimal literal 2.4.1 (2.4.1)
     as a numeric literal 2.4 (2.4) 

Decimal number text_io 14.3.7 (14.3.7) 

Decimal point
  [see: fixed point, floating point, point character] 

Declaration 3.1 (3.1); D (D)
  [see also: basic declaration, block name declaration, body, component
  declaration, constant declaration, deferred constant declaration, denote,
  discriminant specification, entry declaration, enumeration literal
  specification, exception declaration, exception raised during..., generic
  declaration, generic formal part, generic instantiation, generic parameter
  declaration, generic specification, hiding, implicit declaration,
  incomplete type declaration, label declaration, loop name declaration,
  loop parameter specification, number declaration, object declaration,
  package declaration, package specification, parameter specification,
  private type declaration, renaming declaration, representation clause,
  scope of..., specification, subprogram declaration, subprogram
  specification, subtype declaration, task declaration, task specification,
  type declaration, visibility]
     as an overload resolution context 8.7 (8.7)
     determined by visibility from an identifier 8.3 (8.3)
     made directly visible by a use clause 8.4 (8.4)
     of an enumeration literal 3.5.1 (3.5.1)
     of a formal parameter 6.1 (6.1)
     of a loop parameter 5.5 (5.5)
     overloaded 6.6 (6.6)
     raising an exception 11.4.2 (11.4.2); 11.4 (11.4)
     to which a representation clause applies 13.1 (13.1) 

Declarative item 3.9 (3.9)
  [see also: basic declarative item, later declarative item]
     in a code procedure body 13.8 (13.8)
     in a declarative part 3.9 (3.9); 6.3.2 (6.3.2)
     in a package specification 6.3.2 (6.3.2)
     in a visible part 7.4 (7.4)
     which is a use clause 8.4 (8.4) 

Declarative part 3.9 (3.9); D (D)
  [see also: elaboration of...,]
     in a block statement 5.6 (5.6)
     in a package body 7.1 (7.1); 7.3 (7.3)
     in a subprogram body 6.3 (6.3)
     in a task body 9.1 (9.1); 9.3 (9.3)
     including a generic declaration 12.2 (12.2)
     including an inline pragma 6.3.2 (6.3.2)
     including an interface pragma 13.9 (13.9)
     including a representation clause 13.1 (13.1)
     including a suppress pragma 11.7 (11.7)
     including a task declaration 9.3 (9.3)
     with implicit declarations 5.1 (5.1) 

Declarative region 8.1 (8.1); 8.2 (8.2), 8.4 (8.4)
  [see also: scope of...]
     determining the visibility of a declaration 8.3 (8.3)
     formed by the predefined package standard 8.6 (8.6)
     in which a declaration is hidden 8.3 (8.3)
     including a full type definition 7.4.2 (7.4.2)
     including a subprogram declaration 6.3 (6.3) 

Declared immediately within
  [see: occur immediately within] 

Default determination of a representation for an entity 13.1 (13.1)

Default expression
  [see: default initial value, default initialization, 
     discriminant specification, formal parameter, generic
     formal object, initial value]
     cannot include a forcing occurrence 13.1 (13.1)
     for a component 3.3 (3.3); 7.4.3 (7.4.3), 7.4.4 (7.4.4)
     for a component of a derived type object 3.4 (3.4)
     for a discriminant 3.7.1 (3.7.1); 3.2.1 (3.2.1), 3.7.2 (3.7.2), 12.3.2 (12.3.2)
     for a formal parameter 6.1 (6.1), 6.4.2 (6.4.2); 6.4 (6.4), 6.7 (6.7), 7.4.3 (7.4.3)
     for a formal parameter of a generic formal subprogram 12.1 (12.1); 7.4.3 (7.4.3)
     for a formal parameter of a renamed subprogram or entry 8.5 (8.5)
     for a generic formal object 12.1 (12.1), 12.1.1 (12.1.1); 12.3 (12.3)
     for the discriminants of an allocated object 4.8 (4.8)
     in a component declaration 3.7 (3.7)
     in a discriminant specification 3.7.1 (3.7.1)
     including the name of a private type 7.4.1 (7.4.1)

Default file 14.3.2 (14.3.2); 14.3 (14.3) 

Default generic formal subprogram 12.1 (12.1); 12.1.3 (12.1.3), 12.3.6 (12.3.6)

Default initial value (of a type) 3.3 (3.3)
  [see also: default expression, initial value]
     for an access type object 3.8 (3.8); 3.2.1 (3.2.1)  [see also: null access value]
     for a record type object 3.7 (3.7); 3.2.1 (3.2.1) 

Default initialization (for an object) 3.2.1 (3.2.1), 3.3 (3.3)
  [see also: default expression, default initial value, initial value]

Default mode (of a file) 14.2.1 (14.2.1); 14.2.3 (14.2.3), 14.2.5 (14.2.5), 14.3.10 (14.3.10)

Default_aft (fiels length)  
        of fixed_io or float_io 14.3.8 (14.3.8); 14.3.10 (14.3.10)

Default_base   
     of integer_io 14.3.7 (14.3.7); 14.3.10 (14.3.10)

Default-exp (field length)
     of fixed_io or float_io 14.3.8 (14.3.8); 14.3.10 (14.3.10)

Default_fore (field length)
     of fixed_io or float_io 14.3.8 (14.3.8); 14.3.10 (14.3.10)

Default_setting (letter case)
     of enumeration_io 14.3.9 (14.3.9); 14.3.10 (14.3.10)

Default_width (field length)
     of enumeration_io 14.3.9 (14.3.9); 14.3.10 (14.3.10)
     of integer_io 14.3.7 (14.3.7); 14.3.10 (14.3.10)

Deferred constant 7.4.3 (7.4.3)
     of a limited type 7.4.4 (7.4.4) 

Deferred constant declaration 7.4 (7.4); 7.4.3 (7.4.3)
  [see also: private part (of a package), visible part (of a package)]
     as a basic declaration 3.1 (3.1)
     cannot include a forcing occurrence 13.1 (13.1)

Definition
  [see: access type definition, array type definition, component subtype
  definition, constrained array definition, derived type definition,
  enumeration type definition, generic type definition, index subtype
  definition, integer type definition, real type definition, record type
  definition, type definition, unconstrained array definition]

Delay alternative (of a selective wait) 9.7.1 (9.7.1) 

Delay expression 9.6 (9.6); 9.7.1 (9.7.1)
  [see also: duration]
     in a timed entry call 9.7.3 (9.7.3) 

Delay statement 9.6 (9.6)
  [see also: statement, task]
     as a simple statement 5.1 (5.1)
     in an abnormal task 9.10 (9.10)
     in a select alternative 9.7.1 (9.7.1)
     in a timed entry call 9.7.3 (9.7.3) 

DELETE (input-output procedure)
     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)

Delimiter 2.2 (2.2)
  [see also: ampersand, apostrophe, arrow, assignment, colon, compound
  delimiter, divide, dot, double dot, equal, exclamation mark,
  exponentiation, greater than, greather than or equal, inequality, label
  bracket, less than or equal, less than, minus, parenthesis, period,
  plus, point, semicolon, semicolon, star, vertical bar]

Delta (of a fixed point type) 3.5.9 (3.5.9)
  [see also: fixed point type]
     of universal_fixed 4.5.5 (4.5.5) 

DELTA (predefined attribute) 3.5.10 (3.5.10); 4.1.4 (4.1.4), A (A) 

Denote an entity 3.1 (3.1), 4.1 (4.1); D (D)
  [see also: declaration, entity, name] 

Dependence between compilation units 10.3 (10.3); 10.5 (10.5)
  [see also: with clause]
     circularity implying illegality 10.5 (10.5) 

Dependence on a discriminant 3.7.1 (3.7.1); 3.7 (3.7)
  [see also: component subtype definition, component, constraint,
  discriminant constraint, discriminant, index constraint, subcomponent,
  subtype definition, variant part]
     affecting renaming 8.5 (8.5)
     by a subcomponent which is an actual parameter 6.2 (6.2)
     effect on compatibility 3.7.2 (3.7.2)
     effect on matching of components 4.5.2 (4.5.2) 
     for an assignment 5.2 (5.2)

Dependent task 9.4 (9.4)
     delaying exception propagation 11.4.1 (11.4.1)
     of an abnormal task 9.10 (9.10)

Derivable subprogram
     prohibiting representation clauses 13.1 (13.1) 

Derived subprogram
     as an operation 3.3.3 (3.3.3)
     implicitly declared 3.3.3 (3.3.3) 

Derived type 3.4 (3.4); D (D)
  [see also: parent type]
     conversion to or from a parent type or related type 4.6 (4.6)
     of an access type [see: access type, collection]
     of an access type designating a task type determining task
        dependence 9.4 (9.4)
     of a boolean type 3.4 (3.4), 3.5.3 (3.5.3)
     of a limited type 7.4.4 (7.4.4)
     of a private type 7.4.1 (7.4.1)
     subject to a representation clause 13.1 (13.1), 13.6 (13.6) 

Derived type definition 3.4 (3.4); 3.3.1 (3.3.1)
  [see also: elaboration of...] 

Designate 3.8 (3.8), 9.1 (9.1); D (D)
  [see also: access type, allocator, object designated by..., task
  designated by..., task object designated by ...]

Designated subtype (of an access type) 3.8 (3.8)

Designated type (of an access type) 3.8 (3.8)

Designator (of a function) 6.1 (6.1)
  [see also: attribute designator, operator, overloading of ...]; 
     in a function declaration 4.5 (4.5)
     in a subprogram body 6.3 (6.3)
     in a subprogram specification 6.1 (6.1); 6.3 (6.3)
     of a generic formal subprogram 12.3.6 (12.3.6); 12.1 (12.1), 12.1.3 (12.1.3)
     of a library unit 10.1 (10.1)
     overloaded 6.6 (6.6) 

DEVICE_ERROR (input-output exception) 14.4 (14.4); 14.2.3 (14.2.3), 14.2.5 (14.2.5), 14.3.10 (14.3.10), 14.5 (14.5)

Digit 2.1 (2.1)
  [see also: basic graphic character, extended digit, letter or digit]
     in a based literal 2.4.2 (2.4.2)
     in a decimal literal 2.4.1 (2.4.1)
     in an identifier 2.3 (2.3) 

Digits (of a floating point type) 3.5.7 (3.5.7)
  [see also: floating point type] 

DIGITS (predefined attribute) 3.5.8 (3.5.8); 4.1.4 (4.1.4), A (A) 

Dimensionality of an array 3.6 (3.6) 

Direct access file 14.2 (14.2); 14.1 (14.1), 14.2.1 (14.2.1) 

Direct input-output 14.2.4 (14.2.4); 14.2.1 (14.2.1) 

Direct visibility 8.3 (8.3); D (D)
  [see also: basic operation, character literal, operation, operator symbol,
  selected component, visibility]
     due to a use clause 8.4 (8.4)
     of a library unit due to a with clause 10.1.1 (10.1.1)
     within a subunit 10.2 (10.2) 

DIRECT_IO (predefined input-output generic package) 14.2 (14.2), 14.2.4 (14.2.4); 14 (14), 14.1 (14.1),
14.2.5 (14.2.5),
     exceptions 14.4 (14.4); 14.5 (14.5)
     specification 14.2.5 (14.2.5) 

Discrete range 3.6 (3.6), 3.6.1 (3.6.1)
  [see also: range, static discrete range]
     as a choice 3.7.3 (3.7.3)
     as a choice in an aggregate 4.3 (4.3)
     for a loop parameter 5.5 (5.5)
     in a choice in a case statement 5.4 (5.4)
     in a generic formal array type declaration 12.1.2 (12.1.2); 12.3.4 (12.3.4)
     in an index constraint 3.6 (3.6)  
     in a loop parameter specification 5.5 (5.5)
     in a slice 4.1.2 (4.1.2)
     of entry indices in an entry declaration 9.5 (9.5) 

Discrete type 3.5 (3.5); D (D)
  [see also: basic operation of..., enumeration type, index, integer type,
  iteration scheme, operation of..., scalar type]
     as a generic actual parameter 12.3.3 (12.3.3)
     as a generic formal type 12.1.2 (12.1.2)
     expression in a case statement 5.4 (5.4)
     of a discriminant 3.7.1 (3.7.1)
     of a loop parameter 5.5 (5.5)
     of index values of an array 3.6 (3.6)
     operation 3.5.5 (3.5.5); 4.5.2 (4.5.2) 

Discriminant 3.3 (3.3), 3.7.1 (3.7.1); 3.7 (3.7), D (D)
  [see also: component clause, component, composite type, default
  expression, dependance on..., record type, selected component,
  subcomponent]
     in a record aggregate 4.3.1 (4.3.1)
     initialization in an allocator constrains the allocated object 4.8 (4.8)
     of a formal parameter 6.2 (6.2)
     of a generic actual type 12.3.2 (12.3.2)
     of a generic formal type 12.3 (12.3) 12.3.2 (12.3.2)
     of an implicitly initialized object 3.2.1 (3.2.1)
     of an object designated by an access value 3.7.2 (3.7.2); 5.2 (5.2)
     of a private type 7.4.2 (7.4.2); 3.3 (3.3)
     of a variant part must not be of a generic formal type 3.7.3 (3.7.3)
     simple name in a variant part 3.7.3 (3.7.3)
     subcomponent of an object 3.2.1 (3.2.1)
     with a default expression 3.7.1 (3.7.1); 3.2.1 (3.2.1)

Discriminant association 3.7.2 (3.7.2)
     in a discriminant constraint 3.7.2 (3.7.2)
     named discriminant association 3.7.2 (3.7.2)
     named discriminant association for selective visibility 8.3 (8.3)
     positional discriminant association 3.7.2 (3.7.2) 

Discriminant constraint 3.7.2 (3.7.2); 3.3.2 (3.3.2), D (D)
  [see also: dependence on a discriminant]
     ignored due to access_check suppression 11.7 (11.7)
     in an allocator 4.8 (4.8)
     on an access type 3.8 (3.8)
     violated 11.1 (11.1) 

Discriminant part 3.7.1 (3.7.1); 3.7 (3.7)   
  [see also: elaboration of...]
     absent from a record type declaration 3.7 (3.7)
     as a portion of a declarative region 8.1 (8.1)
     conforming to another 3.8.1 (3.8.1), 6.3.1 (6.3.1), 7.4.1 (7.4.1)
     in a generic formal type declaration 3.7.1 (3.7.1); 12.1 (12.1)
     in an incomplete type declaration 3.8.1 (3.8.1)
     in a private type declaration 7.4 (7.4), 7.4.1 (7.4.1)
     in a type declaration 3.3 (3.3), 3.3.1 (3.3.1)
     may not include a pragma 2.8 (2.8)
     of a full type declaration is not elaborated 3.3.1 (3.3.1) 

Discriminant specification 3.7.1 (3.7.1)
  [see also: default expression]
     as part of a basic declaration 3.1 (3.1)
     declaring a component 3.7 (3.7)
     having an extended scope 8.2 (8.2)
     in a discriminant part 3.7.1 (3.7.1)
     visibility 8.3 (8.3) 

Discriminant_check
  [see: constraint_error, suppress] 

Disjunction
  [see: logical operator] 

Divide
     character 2.1 (2.1)
     delimiter 2.2 (2.2) 

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

Division operator
  [see: multiplying operator] 

Division_check
  [see: numeric_error, suppress]

Dot
  [see: double dot]
     character 2.1 (2.1) [see also: double dot, point character]
     delimiter 2.2 (2.2)
     delimiter of a selected component 8.3 (8.3); 4.1.3 (4.1.3)

Double dot compound delimiter 2.2 (2.2) 

Double hyphen starting a comment 2.7 (2.7) 

Double star compound delimiter 2.2 (2.2)
  [see also: exponentiation compound delimiter] 

DURATION (predefined type) 9.6 (9.6); C (C)
  [see also: delay expression, fixed point type]
     of alternative delay statements 9.7.1 (9.7.1)