Annotated AVA 95 Reference Manual Language and Standard Libraries Modifications by Michael K. Smith and Robert L. Akers 5 October 1995 Derived from ISO/IEC JTC1/SC22 WG9 N 193, AARM Version 6.0 CLI Technical Report 113 Computational Logic, Inc. 1717 W. 6th, Suite 290 Austin, Texas 78703 (512) 322-9951 Modifications Copyright 1992,1993,1994,1995 Computational Logic, Inc. Copyright 1992,1993,1994,1995 Intermetrics, Inc. This copyright is assigned to the U.S. Government. All rights reserved. This document may be copied, in whole or in part, in any form or by any means, as is or with alterations, provided that (1) alterations are clearly marked as alterations and (2) this copyright notice is included unmodified in any copy. Compiled copies of standard library units and examples need not contain this copyright notice so long as the notice is included in all copies of source code and documentation. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION ELECTROTECHNICAL COMMISSION Original text published by Intermetrics, Inc. 733 Concord Avenue Cambridge, Massachusetts 02138 Modified for AVA by Computational Logic, Inc. 1717 W. 6th, Suite 290 Austin, Texas 78703 Copyright 1992,1993,1994,1995 Intermetrics, Inc. This copyright is assigned to the U.S. Government. All rights reserved. This document may be copied, in whole or in part, in any form or by any means, as is or with alterations, provided that (1) alterations are clearly marked as alterations and (2) this copyright notice is included unmodified in any copy. Compiled copies of standard library units and examples need not contain this copyright notice so long as the notice is included in all copies of source code and documentation. Foreword Modifications Copyright Computational Logic, Inc. Reprinting permitted if accompanied by this statement AVA modifications were supported in part at Computational Logic, Inc., by the Defense Advanced Research Projects Agency, ARPA Order 7406. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of Computational Logic, Inc., the Defense Advanced Research Projects Agency or the U.S. Government. AVARM;1.0 Contents Contents 1. General ................................................................................................................ 1 1.1 Scope . 2 1.1.1 Extent of the Standard . 2 1.1.2 Structure . 3 1.1.3 Conformity of an Implementation with the Standard . 6 1.1.4 Method of Description and Syntax Notation . 8 1.1.5 Classification of Errors . 9 1.2 Normative References . 11 1.3 Definitions . 11 2. Lexical Elements ................................................................................................ 13 2.1 Character Set . 13 2.2 Lexical Elements, Separators, and Delimiters . 14 2.3 Identifiers . 16 2.4 Numeric Literals . 16 2.4.1 Decimal Literals . 17 2.4.2 Based Literals . 17 2.5 Character Literals . 18 2.6 String Literals . 19 2.7 Comments . 19 2.8 Pragmas -- Removed . 20 2.9 Reserved Words . 21 2.10 Annotations -- New . 22 3. Declarations and Types ..................................................................................... 23 3.1 Declarations . 23 3.2 Types and Subtypes . 26 3.2.1 Type Declarations . 28 3.2.2 Subtype Declarations . 29 3.2.3 Classification of Operations . 31 3.3 Objects and Named Numbers . 32 3.3.1 Object Declarations . 33 3.3.2 Number Declarations . 36 3.4 Derived Types and Classes -- Largely Removed . 37 3.4.1 Derivation Classes . 37 3.5 Scalar Types . 38 3.5.1 Enumeration Types . 41 3.5.2 Character Types . 43 3.5.3 Boolean Types . 44 3.5.4 Integer Types . 44 3.5.5 Operations of Discrete Types . 46 3.5.6 Real Types -- Removed . 47 3.5.7 Floating Point Types -- Removed . 47 3.5.8 Operations of Floating Point Types -- Removed . 47 3.5.9 Fixed Point Types -- Removed . 47 3.5.10 Operations of Fixed Point Types -- Removed . 47 3.6 Array Types . 47 3.6.1 Index Constraints and Discrete Ranges . 49 3.6.2 Operations of Array Types . 51 3.6.3 String Types . 52 3.7 Discriminants -- Removed . 52 3.8 Record Types . 53 i 5 October 1995 Contents Contents AVARM;1.0 3.8.1 Variant Parts and Discrete Choices -- Removed . 55 3.9 Tagged Types and Type Extensions -- Removed . 55 3.10 Access Types -- Removed . 55 3.11 Declarative Parts . 55 3.11.1 Completions of Declarations . 56 3.12 Annotation Declarations -- New . 57 4. Names and Expressions .................................................................................... 61 4.1 Names . 61 4.1.1 Indexed Components . 62 4.1.2 Slices -- Removed . 63 4.1.3 Selected Components . 63 4.1.4 Attributes . 64 4.2 Literals . ..