CAN CSA-ISO IEC 9496-2004 CHILL - The ITU-T Programming Language.pdf

1、 Reference numberISO/IEC 9496:2003(E)ISO/IEC 2003CHILL The ITU-T programming language CHILL Le langage de programmation de lUIT-T National Standard of CanadaCAN/CSA-ISO/IEC 9496:04(ISO/IEC 9496:2003)International Standard ISO/IEC 9496:2003 (fourth edition, 2003-12-15) has been adopted withoutmodific

2、ation (IDT) as CSA Standard CAN/CSA-ISO/IEC 9496:04, which has been approved as a NationalStandard of Canada by the Standards Council of Canada.ISBN 1-55397-792-0 December 2004The Canadian Standards Association (CSA), under whose auspices this National Standard has been produced, was chartered in 19

3、19 and accredited by the Standards Council of Canada to the National Standards system in 1973. It is a not-for-profit, nonstatutory, voluntary membership association engaged in standards development and certification activities. CSA standards reflect a national consensus of producers and users inclu

4、ding manufacturers, consumers, retailers, unions and professional organizations, and governmental agencies. The standards 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, b

5、uilding and construction, and the environment. Individuals, companies, and associations across Canada indicate their support for CSAs standards development by volunteering their time and skills to CSA Committee work and supporting the Associations objectives through sustaining memberships. The more

6、than 7000 committee volunteers and the 2000 sustaining memberships together form CSAs total membership from which its Directors are chosen. Sustaining memberships represent a major source of income for CSAs standards development activities. The Association offers certification and testing services i

7、n 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. In addition to its head office and laboratory complex in Toronto, CSA has reg

8、ional branch offices in major centres across Canada and inspection and testing agencies in eight countries. Since 1919, the Association has developed the necessary expertise to meet its corporate mission: CSA is an independent service organization whose mission is to provide an open and effective fo

9、rum 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 further information on CSA services, write toCanadian Standards Association5060 Spectrum Way, Suite 100Mississauga, Ontario

10、, L4W 5N6CanadaThe Standards Council of Canada is the 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

11、Council are to foster and promote voluntary standardization 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 fi

12、eld of standards. A National Standard of Canada is a standard which has been approved by the Standards 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

13、 representation of producers, users, consumers, and others with relevant interests, as may be appropriate 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 Cana

14、da indicates that a standard conforms to the criteria and procedures established by the Standards Council 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 nee

15、d to apply standards are encouraged to use National Standards of Canada whenever practicable. These standards 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 o

16、f Canada rests with theStandards Council of Canada270 Albert Street, Suite 200Ottawa, Ontario, K1P 6N7CanadaAlthough the intended primary application of this Standard is stated in its Scope, it is importantto note that it remains the responsibility of the users to judge its suitability for their par

17、ticular purpose.Registered trade-mark of Canadian Standards AssociationCAN/CSA-ISO/IEC 9496:04 CHILL The ITU-T programming languageDecember 2004 Canadian Standards Association CSA/1CAN/CSA-ISO/IEC 9496:04CHILL The ITU-T programming languageCSA PrefaceStandards development within the Information Tech

18、nology 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 Counci

19、l of Canada (SCC), the ISO 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 (ITU-T).This Standard supersedes

20、CAN/CSA-ISO/IEC 9496:02 (adoption of ISO/IEC 9496:1998).This International 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

21、 CSA Project Manager.) From time to time, ISO/IEC may publish addenda, corrigenda, etc. The CSA TCIT 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 be

22、en formally approved as a National Standard of Canada by the Standards Council of Canada.December 2004 Canadian Standards Association 2004All rights reserved. No part of this publication may be reproduced in any form whatsoever without the prior permission ofthe publisher. ISO/IEC material is reprin

23、ted with permission. Where the words “this International Standard” appear in the text, they should be interpreted as “this National Standard of Canada”.Inquiries regarding this National Standard of Canada should be addressed toCanadian Standards Association5060 Spectrum Way, Suite 100, Mississauga,

24、Ontario, Canada L4W 5N61-800-463-6727 416-747-4044www.csa.caReference numberISO/IEC 9496:2003(E)ISO/IEC 2003INTERNATIONAL STANDARD ISO/IEC9496Fourth edition2003-12-15CHILL The ITU-T programming language CHILL Le langage de programmation de lUIT-T ISO/IEC 9496:2003(E) PDF disclaimer This PDF file may

25、 contain embedded typefaces. In accordance with Adobes licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the respo

26、nsibility of not infringing Adobes licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creatio

27、n parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. ISO/IEC 2003 All rights reserved. Unle

28、ss 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 either ISO at the address below or ISOs member body in the country of the requester. ISO c

29、opyright office Case postale 56 CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.org Web www.iso.org ii ISO/IEC 2003 All rights reservedISO/IEC 9496:2003(E) ISO/IEC 2003 All rights reserved vPage 11 Concurrent execution 144 11.1 Processes, tasks, threads and their d

30、efinitions. 144 11.2 Mutual exclusion and regions . 145 11.3 Delaying of a thread 148 11.4 Re-activation of a thread . 148 11.5 Signal definition statements 148 11.6 Completion of Region and Task locations 149 12 General semantic properties 149 12.1 Mode rules. 149 12.2 Visibility and name binding 1

31、60 12.3 Case selection 167 12.4 Definition and summary of semantic categories . 169 13 Implementation options 173 13.1 Implementation defined built-in routines 173 13.2 Implementation defined integer modes . 173 13.3 Implementation defined floating point modes. 173 13.4 Implementation defined proces

32、s names 173 13.5 Implementation defined handlers 173 13.6 Implementation defined exception names. 173 13.7 Other implementation defined features . 173 Appendix I Character set for CHILL 175 Appendix II Special symbols 176 Appendix III Special simple name strings 177 III.1 Reserved simple name string

33、s . 177 III.2 Predefined simple name strings. 178 III.3 Exception names . 178 Appendix IV Program examples. 179 IV.1 Operations on integers. 179 IV.2 Same operations on fractions 179 IV.3 Same operations on complex numbers 180 IV.4 General order arithmetic 180 IV.5 Adding bit by bit and checking the

34、 result 180 IV.6 Playing with dates . 181 IV.7 Roman numerals 182 IV.8 Counting letters in a character string of arbitrary length. 183 IV.9 Prime numbers 184 IV.10 Implementing stacks in two different ways, transparent to the user 184 IV.11 Fragment for playing chess . 185 IV.12 Building and manipul

35、ating a circularly linked list 188 IV.13 A region for managing competing accesses to a resource. 189 IV.14 Queuing calls to a switchboard . 190 IV.15 Allocating and deallocating a set of resources 190 IV.16 Allocating and deallocating a set of resources using buffers 192 IV.17 String scanner1 194 IV

36、.18 String scanner2 195 IV.19 Removing an item from a double linked list . 196 IV.20 Update a record of a file 196 IV.21 Merge two sorted files. 197 IV.22 Read a file with variable length records 198 IV.23 The use of spec modules . 199 IV.24 Example of a context. 199 IV.25 The use of prefixing and r

37、emote modules . 199 ISO/IEC 9496:2003(E) ISO/IEC 2003 All rights reserved iiiCONTENTS Page 1 Introduction 1 1.1 General 1 1.2 Language survey . 1 1.3 Modes and classes . 2 1.4 Locations and their accesses . 3 1.5 Values and their operations . 3 1.6 Actions 4 1.7 Input and output 4 1.8 Exception hand

38、ling 4 1.9 Time supervision. 5 1.10 Program structure 5 1.11 Concurrent execution 5 1.12 General semantic properties 6 1.13 Implementation options. 6 2 Preliminaries. 7 2.1 The metalanguage . 7 2.2 Vocabulary 8 2.3 The use of spaces 9 2.4 Comments . 9 2.5 Format effectors 9 2.6 Compiler directives .

39、 10 2.7 Names and their defining occurrences 10 3 Modes and classes. 12 3.1 General 12 3.2 Mode definitions . 13 3.3 Mode classification . 16 3.4 Discrete modes 17 3.5 Real modes 20 3.6 Powerset modes. 22 3.7 Reference modes . 22 3.8 Procedure modes . 23 3.9 Instance modes 24 3.10 Synchronization mo

40、des . 25 3.11 Input-Output Modes 26 3.12 Timing modes . 28 3.13 Composite modes 29 3.14 Dynamic modes. 37 3.15 Moreta Modes . 38 4 Locations and their accesses . 45 4.1 Declarations 45 4.2 Locations. 47 5 Values and their operations. 54 5.1 Synonym definitions . 54 5.2 Primitive value 55 5.3 Values

41、and expressions . 70 ISO/IEC 9496:2003(E) iv ISO/IEC 2003 All rights reservedPage 6 Actions 79 6.1 General 79 6.2 Assignment action. 79 6.3 If action . 81 6.4 Case action 81 6.5 Do action. 83 6.6 Exit action . 86 6.7 Call action . 87 6.8 Result and return action. 90 6.9 Goto action 90 6.10 Assert ac

42、tion 91 6.11 Empty action . 91 6.12 Cause action 91 6.13 Start action 91 6.14 Stop action. 91 6.15 Continue action . 92 6.16 Delay action 92 6.17 Delay case action. 92 6.18 Send action 93 6.19 Receive case action . 94 6.20 CHILL built-in routine calls 97 7 Input and Output. 102 7.1 I/O reference mod

43、el. 102 7.2 Association values. 104 7.3 Access values 104 7.4 Built-in routines for input output. 105 7.5 Text input output. 112 8 Exception handling . 120 8.1 General 120 8.2 Handlers 121 8.3 Handler identification 121 9 Time supervision 122 9.1 General 122 9.2 Timeoutable processes 122 9.3 Timing

44、actions. 122 9.4 Built-in routines for time. 124 10 Program Structure. 125 10.1 General 125 10.2 Reaches and nesting 127 10.3 Begin-end blocks. 129 10.4 Procedure specifications and definitions. 129 10.5 Process specifications and definitions. 134 10.6 Modules. 134 10.7 Regions 135 10.8 Program. 135

45、 10.9 Storage allocation and lifetime 136 10.10 Constructs for piecewise programming. 136 10.11 Genericity 141 ISO/IEC 9496:2003(E) vi ISO/IEC 2003 All rights reservedPage IV.26 The use of text i/o 200 IV.27 A generic stack 201 IV.28 An abstract data type. 202 IV.29 Example of a spec module 202 IV.3

46、0 Object-Orientation: Modes for Simple, Sequential Stacks 202 IV.31 Object-Orientation: Mode Extension: Simple, Sequential Stack with Operation “Top“. 204 IV.32 Object-Orientation: Modes for Stacks with Access Synchronization 204 Appendix V Decommitted features. 206 V.1 Free directive. 206 V.2 Integ

47、er modes syntax. 206 V.3 Set modes with holes. 206 V.4 Procedure modes syntax 206 V.5 String modes syntax 207 V.6 Array modes syntax. 207 V.7 Level structure notation. 207 V.8 Map reference names 207 V.9 Based declarations. 207 V.10 Character string literals . 207 V.11 Receive expressions 207 V.12 A

48、ddr notation 207 V.13 Assignment syntax 207 V.14 Case action syntax. 207 V.15 Do for action syntax 207 V.16 Explicit loop counters . 208 V.17 Call action syntax 208 V.18 RECURSEFAIL exception . 208 V.19 Start action syntax. 208 V.20 Explicit value receive names. 208 V.21 Blocks . 208 V.22 Entry stat

49、ement 208 V.23 Register names 208 V.24 Recursive attribute 208 V.25 Quasi cause statements and quasi handlers . 209 V.26 Syntax of quasi statements 209 V.27 Weakly visible names and visibility statements 209 V.28 Weakly visible names and visibility statements 209 V.29 Pervasiveness 209 V.30 Seizing by modulion name 209 V.31 Predefined simple name strings. 209 Appendix VI Index of production rules 210 ISO/IEC 9496:2003(E) ISO/IEC 2003 All rights reserved viiForeword ISO (the International Organization for Standardization)