ISO/IEC INTERNATIONAL STANDARD 15291 First edition 1999-04-15 Information technology Programming languages Ada Semantic Interface Specification (ASIS) Technologies de I'information Langages de programmation, leurs environnements et interfaces de logiciel de systeme Spécification d'interface pour la sémantique Ada IEC Reference number ISO/IEC 15291:1999(E) No r y IHS under itted without license from IHS Not for Resale ISO/IEC 15291:1999(E) Contents FOREWORD ..XIII INTRODUCTION XIV GENERAL .1 1.1 Scope 1 1.1.1 Extent 1 1.1.2 Structure 2 1.1.3 Conformity with this International Standard 3 1.1.3.1 Implementation conformancerequirements 3 1.1.3.2 Implementationconformancedocumentation 4 1.1.3.3 Implementationconformancecategories 4 1.1.3.4 Applicationconformancecategories 5 1.1.4 Implementation permissions 6 1.1.4.1 Traditionalapproach (permission1) 6 1.1.4.2 Client / server approach (permission 2) 9 1.1.4.3 Distributed traditional approach (permission 3) 6 1.1.4.4 ASIS dynamic client approach (permission 4) 6 1.1.5 Classification of errors 8 1.2 Normative reference 9 1.3 Terms and definitions 9 2 ASIS TECHNICAL CONCEPTS ..10 2.1 Ada compilation environment 10 2.1.1 Ada environment 10 2.1.2 ASiS notionof theAdacompilationenvironment 11 2.1.3 Illegal / inconsistent units in the compilation environment 12 2.2 ASiS queries 12 2.2.1 Structural queries 12 2.2.2 Semantic queries 12 2.2.3 General ASiS queryprocessing 2.2.3.1 Elements and element kinds 12 2.2.3.2 Processing specific constructs 14 2.2.3.3 Element list processing 14 2.2.3.4 Operations that apply to all elements 15 2.2.3.5 Semanticreferences 16 2.3 ASiS package architecture 18 2.4 Application use 20 2.4.1 Establishing ASIS context 20 2.4.2 Required sequencing of calls 21 2.4.3 Notional ASiS application 2.4.4 Erroneous applications 24 2.4.5 Usage rules 24 2.4.5.1 General usage rules 24 2.4.5.2 Rulesforprocessingqueriesforillegal/inconsistentcontext 25 @ISO/IEC1999 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by, any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher. ISO/IEC Copyright Office · Case postale 56 · CH-1211 Geneve 20 · Switzerland Printed in Switzerland ii Copyright Intermational Organization for Standardization Not for Resale @ ISO/IEC ISO/IEC 15291:1999(E) PACKAGE ASIS .27 3.1 type ASIS_Integer 28 3.2 type ASIS_Natural 28 3.3 type ASIS_Positive 28 3.4 type List_index 28 3.5 type Context 28 3.6 type Element 29 3.7 type Element_List 30 3.8 subtypes of Element and Element _List 30 3.9 ElementKinds 31 3.9.1 type Element_Kinds 31 3.9.2 type Pragma_Kinds 32 3.9.3 type Defining_Name_Kinds 33 3.9.4 type Declaration_Kinds 33 3.9.5 type Trait_Kinds 35 3.9.6 type Declaration_Origins 36 3.9.7 type Mode_Kinds 36 3.9.8 type Subprogram_Default_Kinds 36 3.9.9 type Definition_Kinds 36 3.9.10 type Type_Kinds 37 3.9.11 type Formal_Type_Kinds 37 3.9.12 type Access_Type_Kinds 38 3.9.13 type Root_Type_Kinds 38 3.9.14 type Constraint_Kinds 39 3.9.15 type Discrete_Range_Kinds 68 3.9.16 type Association_Kinds 39 3.9.17 type Expression_Kinds 39 3.9.18 type Operator_Kinds 40 3.9.19 type Attribute_Kinds 41 3.9.20 type Statement_Kinds 42 3.9.21 type Path_Kinds 43 3.9.22 type Clause_Kinds 44 3.9.23 type Representation_Clause_Kinds 44 3.10 type Compilation_Unit 44 3.11 type Compilation_Unit_List 45 3.12 Unit Kinds 45 3.12.1 type Unit_Kinds 45 3.12.2 type Unit_Classes 47 3.12.3 type Unit_Origins 47 3.12.4 type Relation_Kinds 47 3.13 type Traverse_Control 49 3.14 type Program_Text 49 4. PACKAGE ASIS.ERRORS 4.1 type Error_Kinds 51 5 PACKAGE ASIS.EXCEPTIONS ..52 6 PACKAGE ASIS.IMPLEMENTATION ..53 6.1 function ASIS_Version 53 6.2 function ASIS_Implementor 53 6.3 functionASiSImplementorVersion 53 6.4 function ASIS_Implementor_Information 53 6.5 function Is_Initialized 53 6.6 procedure Initialize 53 6.7 function Is_Finalized 54 6.8 pro