Accept statement. See entry.
Access type. A value of an access type (an access value) is either a null value, or a value that designates an object created by an allocator. The designated object can be read and updated via the access value. The definition of an access type specifies the type of the objects designated by values of the access type. See also collection.
Actual parameter. See parameter.
Aggregate. The evaluation of an aggregate yields a value of a composite type. The value is specified by giving the value of each of the components. Either positional association or named association may be used to indicate which value is associated with which component.
Allocator. The evaluation of an allocator creates an object and returns a new access value which designates the object.
Array type. A value of an array type consists of components which are all of the same subtype (and hence, of the same type). Each component is uniquely distinguished by an index (for a one-dimensional array) or by a sequence of indices (for a multidimensional array). Each index must be a value of a discrete type and must lie in the correct index range.
Assignment. Assignment is the operation that replaces the current value of a variable by a new value. An assignment statement specifies a variable on the left, and on the right, an expression whose value is to be the new value of the variable.
Attribute. The evaluation of an attribute yields a predefined characteristic of a named entity; some attributes are functions.
Body. A body defines the execution of a subprogram, package, or task. A body stub is a form of body that indicates that this execution is defined in a separately compiled subunit.
Compilation unit. A compilation unit is the declaration or the body of a program unit, presented for compilation as an independent text. It is optionally preceded by a context clause, naming other compilation units upon which it depends by means of one more with clauses.
Component. A component is a value that is a part of a larger value, or an object that is part of a larger object.
Composite type. A composite type is one whose values have components. There are two kinds of composite type: array types and record types.
Constant. See object.
Constraint. A constraint determines a subset of the values of a type. A value in that subset satisfies the constraint.
Context clause. See compilation unit.
Declarative part. A declarative part is a sequence of declarations. It may also contain related information such as subprogram bodies and representation clauses.
Denote. See declaration.
Derived type. A derived type is a type whose operations and values are replicas of those of an existing type. The existing type is called the parent type of the derived type.
Designate. See access type, task.
Direct visibility. See visibility.
Discrete type. A discrete type is a type which has an ordered set of distinct values. The discrete types are the enumeration and integer types. Discrete types are used for indexing and iteration, and for choices in case statements and record variants.
Discriminant. A discriminant is a distinguished component of an object or value of a record type. The subtypes of other components, or even their presence or absence, may depend on the value of the discriminant.
Discriminant constraint.
A discriminant constraint on a record type or private type specifies a value for each discriminant of the type.
Entry. An entry is used for communication between tasks. Externally, an entry is called just as a subprogram is called; its internal behavior is specified by one or more accept statements specifying the actions to be performed when the entry is called.
Enumeration type. An enumeration type is a discrete type whose values are represented by enumeration literals which are given explicitly in the type declaration. These enumeration literals are either identifiers or character literals.
Evaluation. The evaluation of an expression is the process by which the value of the expression is computed. This process occurs during program execution.
Exception. An exception is an error situation which may arise during program execution. To raise an exception is to abandon normal program execution so as to signal that the error has taken place. An exception handler is a portion of program text specifying a response to the exception. Execution of such a program text is called handling the exception.
Expanded name. An expanded name denotes an entity which is declared immediately within some construct. An expanded name has the form of a selected component: the prefix denotes the construct (a program unit; or a block, loop, or accept statement); the selector is the simple name of the entity.
Expression. An expression defines the computation of a value.
Floating point type. See real type.
Formal parameter. See parameter.
Function. See subprogram.
Index constraint. An index constraint for an array type specifies the lower and upper bounds for each index range of the array type.
Indexed component.
An indexed component denotes a component in an array. It is a form of name containing expressions which specify the values of the indices of the array component. An indexed component may also denote an entry in a family of entries.
Instance. See generic unit.
Integer type. An integer type is a discrete type whose values represent all integer numbers within a specific range.
Limited type. A limited type is a type for which neither assignment nor the predefined comparison for equality is implicitly declared. All task types are limited. A private type can be defined to be limited. An equality operator can be explicitly declared for a limited type.
Literal. A literal represents a value literally, that is, by means of letters and other characters. A literal is either a numeric literal, an enumeration literal, a character literal, or a string literal.
Model number. A model number is an exactly representable value of a real type. Operations of a real type are defined in terms of operations on the model numbers of the type. The properties of the model numbers and of their operations are the minimal properties preserved by all implementations of the real type.
Named association.
A named association specifies the association of an item with one or more positions in a list, by naming the positions.
Operation. An operation is an elementary action associated with one or more types. It is either implicitly declared by the declaration of the type, or it is a subprogram that has a parameter or result of the type.
Operator. An operator is an operation which has one or two operands. A unary operator is written before an operand; a binary operator is written between two operands. This notation is a special kind of function call. An operator can be declared as a function. Many operators are implicitly declared by the declaration of a type (for example, most type declarations imply the declaration of the equality operator for values of the type).
Overloading. An identifier can have several alternative meanings at a given point in the program text: this property is called overloading. For example, an overloaded enumeration literal can be an identifier that appears in the definitions of two or more enumeration types. The effective meaning of an overloaded identifier is determined by the context. Subprograms, aggregates, allocators, and string literals can also be overloaded.
Parameter. A parameter is one of the named entities associated with a subprogram, entry, or generic unit, and used to communicate with the corresponding subprogram body, accept statement or generic body. A formal parameter is an identifier used to denote the named entity within the body. An actual parameter is the particular entity associated with the corresponding formal parameter by a subprogram call, entry call, or generic instantiation. The mode of a formal parameter specifies whether the associated actual parameter supplies a value for the formal parameter, or the formal supplies a value for the actual parameter, or both. The association of actual parameters with formal parameters can be specified by named associations, by positional associations, or by a combination of these.
Parent type. See derived type.
Positional association.
A positional association specifies the association of an item with a position in a list, by using the same position in the text to specify the item.
Pragma. A pragma conveys information to the compiler.
Prefix. A prefix is used as the first part of certain kinds of name. A prefix is either a function call or a name.
Private part. See package.
Private type. A private type is a type whose structure and set of values are clearly defined, but not directly available to the user of the type. A private type is known only by its discriminants (if any) and by the set of operations defined for it. A private type and its applicable operations are defined in the visible part of a package, or in a generic formal part. Assignment, equality, and inequality are also defined for private types, unless the private type is limited.
Procedure. See subprogram.
Program. A program is composed of a number of compilation units, one of which is a subprogram called the main program. Execution of the program consists of execution of the main program, which may invoke subprograms declared in the other compilation units of the program.
Program unit. A program unit is any one of a generic unit, package, subprogram, or task unit.
Range. A range is a contiguous set of values of a scalar type. A range is specified by giving the lower and upper bounds for the values. A value in the range is said to belong to the range.
Range constraint. A range constraint of a type specifies a range, and thereby determines the subset of the values of the type that belong to the range.
Real type. A real type is a type whose values represent approximations to the real numbers. There are two kinds of real type: fixed point types are specified by absolute error bound; floating point types are specified by a relative error bound expressed as a number of significant decimal digits.
Record type. A value of a record type consists of components which are usually of different types or subtypes. For each component of a record value or record object, the definition of the record type specifies an identifier that uniquely determines the component within the record.
Renaming declaration.
A renaming declaration declares another name for an entity.
Rendezvous. A rendezvous is the interaction that occurs between two parallel tasks when one task has called an entry of the other task, and a corresponding accept statement is being executed by the other task on behalf of the calling task.
Representation clause.
A representation clause directs the compiler in the selection of the mapping of a type, an object, or a task onto features of the underlying machine that executes a program. In some cases, representation clauses completely specify the mapping; in other cases, they provide criteria for choosing a mapping.
Scalar type. An object or value of a scalar type does not have components. A scalar type is either a discrete type or a real type. The values of a scalar type are ordered.
Scope. See declaration.
Selected component.
A selected component is a name consisting of a prefix and of an identifier called the selector. Selected components are used to denote record components, entries, and objects designated by access values; they are also used as expanded names.
Selector. See selected component.
Simple name. See declaration, name.
Statement. A statement specifies one or more actions to be performed during the execution of a program.
Subcomponent. A subcomponent is either a component, or a component of another subcomponent.
Subprogram. A subprogram is either a procedure or a function. A procedure specifies a sequence of actions and is invoked by a procedure call statement. A function specifies a sequence of actions and also returns a value called the result, and so a function call is an expression. A subprogram is written as a subprogram declaration, which specifies its name, formal parameters, and (for a function) its result; and a subprogram body which specifies the sequence of actions. The subprogram call specifies the actual parameters that are to be associated with the formal parameters. A subprogram is one of the kinds of program unit.
Subtype. A subtype of a type characterizes a subset of the values of the type. The subset is determined by a constraint on the type. Each value in the set of values of a subtype belongs to the subtype and satisfies the constraint determining the subtype.
Subunit. See body.
Type. A type characterizes both a set of values, and a set of operations applicable to those values. A type definition is a language construct that defines a type. A particular type is either an access type, an array type, a private type, a record type, a scalar type, or a task type.
Variant part. A variant part of a record specifies alternative record components, depending on a discriminant of the record. Each value of the discriminant establishes a particular alternative of the variant part.
Visibility. At a given point in a program text, the declaration of an entity with a certain identifier is said to be visible if the entity is an acceptable meaning for an occurrence at that point of the identifier. The declaration is visible by selection at the place of the selector in a selected component or at the place of the name in a named association. Otherwise, the declaration is directly visible, that is, if the identifier alone has that meaning.
Visible part. See package.