Ada LRM - Index V

VAL (predefined attribute) 3.5.5 (3.5.5); A (A)

Value
  [see: assignment, evaluation, expression, initial value, returned value,
  subtype, task designated..., type]
     in a constant 3.2.1 (3.2.1); 3.2 (3.2)
     in a task object 9.2 (9.2)
     in a variable 3.2.1 (3.2.1), 5.2 (5.2); 3.2 (3.2)
     of an access type [see: object designated, task object designated]
     of an array type 3.6 (3.6); 3.6.1 (3.6.1) [see also: array, slice]
     of a based literal 2.4.2 (2.4.2)
     of a boolean type 3.5.3 (3.5.3)
     of a character literal 2.5 (2.5)
     of a character type 3.5.2 (3.5.2); 2.5 (2.5), 2.6 (2.6)
     of a decimal literal 2.4.1 (2.4.1)
     of a fixed point type 3.5.9 (3.5.9), 4.5.7 (4.5.7)
     of a floating point type 3.5.7 (3.5.7), 4.5.7 (4.5.7)
     of a record type 3.7 (3.7)
     of a record type with discriminants 3.7.1 (3.7.1)
     of a string literal 2.6 (2.6); 2.10 (2.10)
     of a string type 3.6.3 (3.6.3); 2.6 (2.6)
     of a task type [see: task designated]
     returned by a function call [see: returned value] 

VALUE (predefined attribute) 3.5.5 (3.5.5); A (A) 

Variable 3.2.1 (3.2.1); D (D)
  [see also: object, shared variable]
     as an actual parameter 6.2 (6.2)
     declared in a package body 7.3 (7.3)
     formal parameter 6.2 (6.2)
     in an assignment statement 5.2 (5.2)
     of an array type as destination of an assignment 5.2.1 (5.2.1)
     of a private type 7.4.1 (7.4.1)
     renamed 8.5 (8.5)
     that is a slice 4.1.2 (4.1.2) 

Variable declaration 3.2.1 (3.2.1) 

Variant 3.7.3 (3.7.3); 4.1.3 (4.1.3)
  [see also: component clause, record type]
     in a variant part 3.7.3 (3.7.3) 

Variant part 3.7.3 (3.7.3); D (D)
  [see also: dependence on a discriminant]
     in a component list 3.7 (3.7)
     in a record aggregate 4.3.1 (4.3.1) 

Vertical bar character 2.1 (2.1)
     replacement by exclamation character 2.10 (2.10)

Vertical bar delimiter 2.2 (2.2) 

Vertical tabulation format effector 2.1 (2.1) 

Violation of a constraint
  [see: constraint_error exception] 

Visibility 8.3 (8.3); 8.2 (8.2), D (D)
  [see also: direct visibility, hiding, identifier, name, operation,
  overloading]
     and renaming 8.5 (8.5)
     determining multiple meanings of an identifier 8.4 (8.4), 8.7 (8.7); 8.5 (8.5)
     determining order of compilation 10.3 (10.3)
     due to a use clause 8.4 (8.4)
     of a basic operation 8.3 (8.3)
     of a character literal 8.3 (8.3)
     of a default for a generic formal subprogram 12.3.6 (12.3.6)
     of a generic formal parameter 12.3 (12.3)
     of a library unit due to a with clause 8.6 (8.6), 10.1.1 (10.1.1)
     of a name of an exception 11.2 (11.2)
     of an operation declared in a package 7.4.2 (7.4.2)
     of an operator symbol 8.3 (8.3)
     of a renaming declaration 8.5 (8.5)
     of a subprogram declared in a package 6.3 (6.3)
     of declarations in a package body 7.3 (7.3)
     of declarations in a package specification 7.2 (7.2)
     of declarations in the package system 13.7 (13.7)    
     within a subunit 10.2 (10.2) 

Visibility by selection 8.3 (8.3)
  [see also: basic operation, character literal, operation, operator
  symbol, selected component]

Visible part (of a package) 7.2 (7.2); 3.2.1 (3.2.1), 7.4 (7.4), 7.4.1 (7.4.1), 7.4.3 (7.4.3), D (D)
  [see also: deferred constant declaration, private type declaration]
     expanded name denoting a declaration in a visible part 8.2 (8.2)
     scope of a declaration in a visible part 8.2 (8.2)
     use clause naming the package 8.4 (8.4)
     visibility of a declaration in a visible part 8.3 (8.3)