CAN CSA-ISO IEC 13719-3-2000 Information technology - Portable Common Tool Environment (PCTE) - Part 3 Ada programming language binding.pdf

1、National Standard of Canada CAN/CSA=ISO/TEC 1371 9-3-00 CSA INTERNATIONAL (ISO/IEC 13719-31998) International Standard ISO/IEC 13719-3:1998 (second edition 1998-10-01) has been adopted without modification as CSA Standard CAN/CSA-ISO/IEC 13719-3-00, which has been approved as a National Standard of

2、Canada by the Standards Council of Canada. ISBN 1-55324-1 24-X March 2000 Information technology - Portable Common Tool Environment (PCTE) - Part 3: Ada programming language binding Technologies de /information - Environnement doutil courant portable (PCTf) - Partie 3: Liant de langage de programmat

3、ion Ada (Reaffirmed 2004) Reference number ISOAEC 1371 9-3:1998(E) The Canadian Standards Association, which operates under the name CSA International (CSA), under whose auspices this National Standard has been produced, was chartered in 191 4 and accredited by the Standards Council of Canada to the

4、 National Standards system in 1973. It is a not-for-profit, nonstatutory, voluntary membership association engaged in standards development and certification activities. and users - including manufacturers, consumers, retailers, unions and professional organizations, and governmental agencies. The s

5、tandards are used widely by industry and commerce and often adopted by municipal, provincial, and federal governments in their regulations, particularly in the fields of health, safety, building and construction, and the environment. indicate their support for CSAs standards development by volunteer

6、ing their time and skills to CSA Committee work and supporting the Associations objectives through sustaining memberships. The more than 7000 committee volunteers and the 2000 sustaining memberships together form CSAs total membership from which its Directors are chosen. Sustaining memberships repre

7、sent a major source of income for CSAs standards development activities. in support of and as an extension to its standards development activities. To ensure the integrity of its certification process, the Association regularly and continually audits and inspects products that bear the CSA Mark. Tor

8、onto, CSA has regional branch offices in major centres across Canada and inspection and testing agencies in eight countries. Since 191 9, the Association has developed the necessary expertise to meet its corporate mission: CSA is an independent service organization whose mission is to provide an ope

9、n and effective forum for activities facilitating the exchange of goods and services through the use of standards, certification and related services to meet national and international needs. For futher information on CSA services, write to CSA International 178 Rexdale Boulevard Toronto, Ontario, M

10、9W 1 R3 Canada CSA standards reflect a national consensus of producers Individuals, companies, and associations across Canada The Association offers certification and testing services In addition to its head office and laboratory complex in CSA INTERNATIONAL c . The Standards Council of Canada is th

11、e coordinating body of the National Standards system, a federation of independent, autonomous organizations working towards the further development and improvement of voluntary standardization in the national interest. The principal objects of the Council are to foster and promote voluntary standard

12、ization as a means of advancing the national economy, benefiting the health, safety, and welfare of the public, assisting and protecting the consumer, facilitating domestic and international trade, and furthering international cooperation in the field of standards. has been approved by the Standards

13、 Council of Canada and one which reflects a reasonable agreement among the views of a number of capable individuals whose collective interests provide to the greatest practicable extent a balance of representation of producers, users, consumers, and others with relevant interests, as may be appropri

14、ate to the subject in hand. It normally is a standard which is capable of making a significant and timely contribution to the national interest. Approval of a standard as a National Standard of Canada indicates that a standard conforms to the criteria and procedures established by the Standards Coun

15、cil of Canada. Approval does not refer to the technical content of the standard; this remains the continuing responsibility of the accredited standards-development organization. Those who have a need to apply standards are encouraged to use National Standards of Canada whenever practicable. These st

16、andards are subject to periodic review; therefore, users are cautioned to obtain the latest edition from the organization preparing the standard. The responsibility for approving National Standards of Canada rests with the Standards Council of Canada 45 OConnor Street, Suite 1200 Ottawa, Ontario, K1

17、 P 6N7 Canada A National Standard of Canada is a standard which Although the intended primary application of this Standard is stated in its Scope, it is important to note that it remains the responsibility of the users to judge its suitability for their particular purpose. Information technology - P

18、ortuble Common Tool Environment (PCTE) - Part 3: Ada programming language binding CAN/CSA-ISO/lEC 7 377 9-3-00 CAN/CSA-ISO/IEC 1372 9-3-00 Infomation technology - Portable Common Tool Environment (PCTE) - Part 3: Ada propamming language binding CSA Preface Standards development within the Informatio

19、n Technology sector is harmonized with international standards development. Through the CSA Technical Committee on Information Technology (TCIT), Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 on Information Technology (ISO/IEC JTC1) for the Standards

20、 Council of Canada (SCC), the IS0 member body for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of the International Telecommunication Union (ITU), Canada participates in the International Telegraph and Telephone Consultative Committee (JTU-T). This Internationa

21、l Standard was reviewed by the CSA TCIT under the jurisdiction of the Strategic Steering committee on Information Technology and deemed acceptable for use in Canada. (A committee membership list is available on request from the CSA Project Manager.) From time to time, ISO/IEC may publish addenda, co

22、rrigenda, etc. The CSA TC1T will review these documents for approval and publication. For a listing, refer to the CSA Information Products catalogue or CSA Info Update or contact a CSA Sales representative. This Standard has been formally approved, without modification, by these Committees and has b

23、een approved as a National Standard of Canada by the Standards Council of Canada. March 2000 0 CSA International - 2000 All rights reserved. No part of this publicution may be reproduced in any form whatsoever without the prior permission of the publisher. ISO/IfC material is reprinted with permissi

24、on. lnquiries regarding this National Standard of Canado should be addressed to CSA International, 7 78 Rexdale Boulevard, Toronto, Ontario, MPW 1 R3. March 2000 CSA/7 INTERNATIONAL STANDARD ISOAEC 1371 9=3 Second edition 1998-1 0-01: Information technology - Portable Common Tool Environment (PCTE)

25、- Part 3: Ada program m i n g language binding Technologies de /information - Environnement doutil courant portable (PCTE) - Partie 3: Liant de langage de programmation Ada Reference number ISO/IEC 1371 9-3:1998(E) ISO/IEC 13719-3:1998(E) Con tents 1 Scope 2 Conformance 3 Normative references 4 Defi

26、nitions 5 Formal notations 6 Outline of the Standard 7 Binding strategy 7.1 Ada programming language standard 7.2 General principles 7.3 Dynamic memory management 7.4 Complex entities as parameters 7.5 Character strings 7.6 Error conditions 7.7 Implementation limits 8 Datatype mapping 8.1 Mapping of

27、 PCTE datatypes to LI datatypes 8.1.1 Mapping of predefined PCTE datatypes 8.1.2 Mapping of private PCTE datatypes 8.1.3 Mapping of complex PCTE datatypes 8.1.4 New LI datatype generators 8.2 Mapping of LI datatypes to Ada datatypes 8.2.1 LI datatype: boolean 8.2.2 LI datatype: pcte-integer 8.2.3 LI

28、 datatype: pcte-natural 8.2.4 LI datatype: pcte-float 8.2.5 LI datatype: pcte-time 8.2.6 LI datatype: octet 8.2.7 LI datatype: pcte-text 8.2.8 LI datatype generator: pcte-sequence 8.2.9 LI datatype generator: bounded-set 1 1 1 2 2 2 2 5 8 8 8 9 9 10 10 11 11 14 ISO/IEC 1998 Ail rights reserved. Unle

29、ss otherwise specified. no part of this publication may be reproduced or utilized in any form or by any means, erectronic 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 11

30、ISOnE C I37 19-3: 1998(E) 8.2.10 LI datatype: record 8.2.11 LI datatype: private 8.2.12 LI enumerated datatype: pcte-xxx 8.3 Deriving Ada subprogram semantics from the abstract specification 8.4 Package Pcte 15 16 16 16 17 36 9 Object managment 36 36 40 49 9.1 Object management datatypes 9.2 Link op

31、erations 9.3 Object operations 9.4 Version operations 51 10 Schema management 52 53 59 61 10.1 Schema management datatypes 10.2 Update operations 10.3 Usage operations 10.4 Working schema operations 63 11 Volumes, devices, and archives 11.1 Volume, device, and archive datatypes 11.2 Volume, device,

32、and archive operations 63 64 69 12 Files, pipes, and devices 70 70 12.1 File, pipe, and device datatypes 12.2 File, pipe, and device operations 73 13 Process execution 73 76 79 81 81 13.1 Process execution datatypes 13.2 Process execution 13.3 Security operations 13.4 Profiling operations 13.5 Monit

33、oring operations 82 14 Message queues 83 85 14.1 Message queue datatypes 14.2 Message queue operations I5 Notification aa 88 88 15.1 Notification datatypes 15.2 Notification operations 89 16 Concurrency and integrity control 89 89 16.1 Concurrency and integrity control datatypes 16.2 Concurrency and

34、 integrity control operations . 111 ISO/IEC 137 19-3 : 1998(E) 0 ISOflEC 17 Replication 17.1 Replication datatypes 17.2 Replication operations IS Network connection 18.1 Network connection datatypes 18.2 Network connection operations 18.3 Foreign system operations 18.4 Time operations 19 Discretiona

35、ry security 19.1 Discretionary security datatypes 19.2 Discretionary access control operations 19.3 Discretionary security administration operations 20 Mandatory security 20.1 Mandatory security datatypes 20.2 Mandatory security operations 20.3 Mandatory security administration operations 20.4 Manda

36、tory security operations for processes 21 Auditing 21.1 Auditing datatypes 21.2 Auditing operations 22 Accounting 22.1 Accounting datatypes 22.2 Accounting operations 22.3 Consumer identity operations 23 References 24 Limits 25 Errors Annex A - The object orientation module Index of abstract operati

37、ons Index of Ada subprograms Index of Ada datatypes 91 91 91 92 93 93 95 95 95 95 98 99 101 101 101 102 104 105 105 114 119 119 122 124 124 124 126 137 147 153 159 iv 0 ISO/IEC ISO/IEC 13719-3:1998(E) Foreword IS0 (the International Organization for Standardization) and IEC (the International Electr

38、otechnical Commission form the specialized system for worldwide standardization. National bodies that are members of IS0 or IEC participate in the development of International Standards through technical committees established by the respective organization to deal with particular fields of technica

39、l activity. IS0 and IEC technical committees collaborate in fields of mutual interest. Other international organizations, governmental and non-governmental, in liaison with IS0 and IEC, also take part in the work. In the field of information technology, IS0 and IEC have established a joint technical

40、 committee, ISOAEC JTC 1. Draft International Standards adopted by the joint technical committee are circulated to national bodies for voting. Publication as an International Standard requires approval by at least 75 % of the national bodies casting a vote. International Standard ISOEC 13719-3 was p

41、repared by ECMA (as Standard ECMA-162) and was adopted, under a special “fast-track procedure”, by Joint Technical Committee ISOAEC JTC 1, Information technology, in parallel with its approval by national bodies of IS0 and IEC. This second edition cancels and replaces the first edition (ISOflEC 1371

42、9-3: 1995), which has been technically revised. ISO/IEC 137 19 consists of the following parts, slnder the general title Informarion technology - Portable Common Tool Environmenr (PCTE): - Part I: Abstract specification - Part 2: C programming language binding - Part 3: Ada programming language bind

43、ing - Part 4: IDL binding (Interface Definition Language) Annex A forms an integral part of this part of ISO/IEC 13719. V INTERNATIONAL STANDARD o ISOAEC ISOAEC 13719-3: 1998(E) Information technology - Portable Common Tool Environment (PCTE) - Part 3: Ada programming language binding 1 2 3 Scope Th

44、is part of XSO/IEC 13719 defines the binding of the Portable Common Tool Environment (PCTE) interfaces, as specified in ISO/IEC 137 19-1 , to the Ada programming language. A number of features are not completely defined in ISO/IEC 13719-1, some freedom being allowed to the implementor. Some of these

45、 features are specified as implementation limits. Some constraints are placed on these implementation limits by this part of ISO/IEC 13719. These constraints are specified in clause 24. PCTE is an interface to a set of facilities that forms the basis for constructing environments supporting systems

46、engineering projects. These facilities are designed particularly to provide an infrastructure for programs which may be part of such environments. Such programs, which are used as aids to system development, are often referred to as tools. Conformance An implementation of PCTE conforms to this part

47、of ISO/IEC 13719 if it conforms to 2.2 of ISO/lEC 13719-1, where the binding referred to there is taken to be the Ada language binding defined in clauses 1 to 5 and 8 to 25 of this part of ISOOEC 13719. All other parts of this part of ISO/IEC 13719 are provided as assistance to the reader and are no

48、t normative. The Ada language binding defined in this part of ISO/IEC 13719 conforms to 2.1 of ISO/IEC 137 19- I. Normative references The following standards contain provisions which, through reference in this text, constitute provisions of this part of ISOiIEC 13719. At the time of publication, th

49、e editions indicated were valid. All standards are subject to revision, and parties to agreements based on this part of ISO/IEC 13719 are encouraged to investigate the possibility of applying the most recent editions of the standards indicated below. Members of IEC and IS0 maintain registers of currently valid International Standards. ISO/IEC 13719-111998, Information technology - Portable Common Tool Environment (PCTE) - Part I: Abstract specification. ISOEC 13719-2: 1998, IS0 8601:1988, ISOLEC 8652: 1995, Information technology - Portable Common Tool Environment (PCTE) - Part 2: