1 Scope
2 Conformance
3 Normative references
4 Definitions
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 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 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
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
9 Object management
9.1 Object management datatypes
9.2 Link operations
9.3 Object operations
9.4 Version operations
10 Schema management
10.1 Schema management datatypes
10.2 Update operations
10.3 Usage operations
10.4 Working schema operations
11 Volumes, devices, and archives
11.1 Volume, device, and archive datatypes
11.2 Volume, device, and archive operations
12 Files, pipes, and devices
12.1 File, pipe, and device datatypes
12.2 File, pipe, and device operations
13 Process execution
13.1 Process execution datatypes
13.2 Process execution
13.3 Security operations
13.4 Profiling operations
13.5 Monitoring operations
14 Message queues
14.1 Message queue datatypes
14.2 Message queue operations
15 Notification
15.1 Notification datatypes
15.2 Notification operations
16 Concurrency and integrity control
16.1 Concurrency and integrity control datatypes
16.2 Concurrency and integrity control operations
17 Replication
17.1 Replication datatypes
17.2 Replication operations
18 Network connection
18.1 Network connection datatypes
18.2 Network connection operations
18.3 Foreign system operations
18.4 Time operations
19 Discretionary 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 Mandatory 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 operations
Index of Ada subprograms
Index of Ada datatypes