Portability and style in Ada

Directorate-General For Translation European Commission

Description

Information technology and telecommunications

Informations

• Publié par: EUROPEAN-COMMISSION
• Nombre de lectures: 9
• Langue: English
• Poids de l'ouvrage: 3 Mo

Extrait

style in AdaPortability and style in Ada
Ada is a registered trademark of the
Ada Joint Program Office - US GovernmentPortability and style
inin AdaAda
Edited by
JOHN NISSEN
GECGEC Telecommunications Ltd,Ltd, Coventry-Coventry-
PETER WALLIS
School of Mathematics, University of Bath
TJh rtjtu ,i/ffii
L'attrrjtti o) CeirJx,J{t
to print snd vll
e!luæse.t.fS> Αι
Hint} Hit ι« ISH
TbeL-HtuaaTbeL-Htuaa A=<A=< jVt-A·jVt-A·
BailBail pu£.'ilAipu£.'ilAi dd ΓιΓι nilnil
jinnrjinnr SSfSSf
Published on behalf of
thethe Commission ofof thethe EuropeanEuropean CommunitiesCommunities byby
CAMBRIDGE UNIVERSITY PRESS
Cambridge
London New York New Rochelle
Me lbourne SydneyPublished by the Press Syndicate of the University of Cambridge
The Pitt Building, Trumpington Street, Cambridge CB2 1RP
32 East 57th Street, New York, NY 10022, USA
296296 BeaconsfieldBeaconsfield Parade,Parade, MiddleMiddle Park,Park, MelbourneMelbourne 32D6,32D6, AustraliaAustralia
©ECSC, EEC, EAEC, Brussels and Luxembourg 1984
First published 1984
Printed in Great Britain at the university Press, Cambridge
LibraryLibrary ofof Congress catalogue cardcard number:number:
British Library cataloguing in publication data
Nissen, John
Portability and style in Ada .- (Ada companion series)
1. Ada (Computer program language)
I.I. TitleTitle II.II. Wallis,Wallis, PeterPeter
001.64'24 QA76.73.A35
ISBN 0 521 26482 0Contents
Preface
PORTABILITYPORTABILITY GUIDEGUIDE
1 . INTRODUCTION 3
1 . 1 The need for Standards 3
1.2 Definition of Portability 4
1.3 The Approach to 5
1.41.4 StructureStructure ofof thisthis GuideGuide 55
1.51.5 GlobalGlobal Assumptions 77
1.6 Classification of Errors 8
2. LEXICAL ELEMENTS 9
2.2. 11 CharacterCharacter SetSet 99
2.22.2 LexicalLexical Elements,Elements, Separators,Separators, andand DelimitersDelimiters 99
2.3 Identifiers 10
2.4 Numeric Literals 11
2.5 Character 11
2.6 String Literals 1'
2.8 Pragmas 1'
2.102.10 AllowableAllowable ReplacementsReplacements ofof CharactersCharacters 1'1'
3. DECLARATIONS AND TYPES 13
3.2.1 Object Declarations 13
3.5 Scalar Types 13
3-5.4 Integer 14
3.5.63.5.6 RealReal Types 1515
3-5.73-5.7 FloatingFloating PointPoint TypesTypes 1515
3.5.8 Operations of Floating Point Types 16
3.5.9 Fixed Point Types 17
3-5.10 of Fixed Point Types 18
3.6 Array Types 18
3.6.1 Index Constraints and Discrete Ranges 18
3.7-13.7-1 DiscriminantsDiscriminants 1919
4. NAMES AND EXPRESSIONS 21
4.1.1 Indexed Components 21
4.1.2 Slices 21
4.1.44.1.4 AttributesAttributes 2121Contents
211 · 3 Aggregates
4.5 Operators and Expression Evaluation 22
4.5.74.5.7 Accuracy ofof Operations withwith RealReal OperandsOperands 2222
4.64.6 TypeType ConversionsConversions 2222
4.8 Allocators 23
4.9 Static Expressions and Static Subtypes 25
4.10 Universal 25
5. STATEMENTS 27
5.25.2 Assignment Statement 2727
5.5 Loop Statements 28
6. SUBPROGRAMS 29
6.2 Formal Parameter Modes 29
6.36.3 Subprogram Bodies 2929
6.4.16.4.1 Parameter Associations 2929
6.5 Function Subprograms 30
6.7 Overloading of Operators 31
7. PACKAGES 33
8.8. VISIBILITY RULESRULES 3535
8.5 Renaming Declarations 35
9 . TASKS 37
TaskTask ExecutionExecution -- TaskTask ActivationActivation9.39.3 3939
9.49.4 TaskTask DependenceDependence -- Termination ofof TasksTasks 3939
Entries, Entry calls and Accept Statements9.5 39
9.6 Delay Statements, Duration, and Time 40
Selective Waits 419-7.1
419-7. Conditional Entry Calls
429-7. Timed Entry Calls
Priorities 42429.9.
TaskTask andand EntryEntry AttributesAttributes 42429.9.
9.10 Abort Statements 43
9-11 Shared Variables 13
10. PROGRAM STRUCTURE AND COMPILATION ISSUES 45
10.110.1 Compilation UnitsUnits -- LibraryLibrary UnitsUnits 4545
10.310.3 OrderOrder ofof Compilation 4646
4610.4 The Program Library
10.5 Elaboration of Library Units 47
10.6 Program Optimization 49
11 11 .. EXCEPTIONS 5151
11.1 Exception Declarations 51
11.2 Handlers 51
5211.7 Suppressing Checks