ISO/IEC 13719-3:1995
Information technology — Portable common tool environment (PCTE) — Part 3: Ada programming language binding
| Get this standard | Prices exclude GST | |
|---|---|---|
| PDF ( Single user document) |
$118.26 NZD
|
|
| HardCopy |
$152.17 NZD
|
|
| Networkable PDF |
Price varies
|
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
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
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.9 LI datatype generator : bounded-set
Deriving Ada subprogram semantics from the abstract specification
Object managment
9.1 Object management datatypes
9.2 Link operations
9.3 Object operations
9.4 Version operations
Schema management
10.1 Schema management datatypes
10.2 Update operations
10.3 Usage operations
10.4 Working schema operations
Volumes devices and archives
Volume device and archive datatypes
Volume device and archive operations
Files pipes and devices
File pipe and device datatypes
File pipe and device operations
Process execution
13.1 Process execution datatypes
13.2 Process execution
13.3 Security operations
13.4 Profiling operations
13.5 Monitoring operations
Message queues
14.1 Message queue datatypes
14.2 Message queue operations
Notification
15.1 Notification datatypes
15.2 Notification operations
Concurrency and integrity control
Concurrency and integrity control datatypes
Concurrency and integrity control operations
Replication
17.2 Replication datatypes
1 7.3 Replication operations
Network connection
18.1 Network connection datatypes
18.2 Network connection operations
18.3 Foreign system operations
18.4 Time operations
Discretionary security
19.1 Discretionary security datatypes
19.2 Discretionary access control operations
19.3 Discretionary security administration operations
Mandatory security
20.1 Mandatory security datatypes
20.2 Mandatory security operations
20.3 Mandatory security administration operations
Mandatory security operations for processes
Auditing
2 1.1 Auditing datatypes
2 1.2 Auditing operations
Accounting
22.1 Accounting datatypes
22.2 Accounting operations
22.3 Consumer identity operations
References
Limits
Errors
Index of abstract operations
Index of Ada subprograms
Index of Ada datatypes
Pcte.calendar.extend
Pcte.calendar month
Pcte.calendar.round
Pcte.calendar.seconds
Pcte.calendar.sp1it
Pcte.calendar.time-of
Pcte.calendar year
(to-be-dominated)
Pcte-accounting consumer_group.remove
Pcte-contents.close
Pcte-contents.cop y-from-foreign-sy stem
Pcte-contents.copy-to-foreign-system
Pcte-contents.get-handle-from-key
Pcte-contentsget-key-from-handle
Pcte-contents.get-position
Pcte-contents handle-duplicate
Pcte-contenkhandle-duplicate( with-key)
Pcte-contentS.open
Pcte-contenkread
Pcte-contentsseek
Pcte-contents.set-position
Pcte-contentsset-properties
Pcte-contents.îruncate
Pcte-contents write
Pcte-device.create
Pcte-device.get-control
Pcte-device.remove
Pcte-mandatory deviceset-confidentiality-range
Pcte-device set-control
Pcte-mandatory deviceset-integrity-range
Pcte-mandatory.execution-site.set-confidentiality-range
EXECUTION-SITE-SET-INTEGRITY-RANGE Pcte-mandatory.execution-site.set-integrity-range
Pcte-mandatory.group.disable-for-confidentiality-downgrade
GROUPDIS ABLE-FOR-INTEGRITY-UPGRADE Pcte-mandatory group.disable-forjntegrity-upgrade
Pcte-mandatory.group.enable-for-confidentiality-downgrade
GROW-ENABLE-FOR-INTEGRITY-UPGRADE Pcte-mandatory.group.enable-for-integrity-upgrade
GROUP-GET-IDENTIFIER Pcte-discretionary group.get-identifier
GROUP-INITIALIZE Pcte-discretionary group.initialize
GROUP-REMOVE Pcte-discretionary group.remove
GROUP-RESTORE Pcte-discretionary group.restore
INTEGFUTY-CLASS-INITIALIZE Pctemandatory.integrity-class.initialize(new-tower
Pcte-mandatory.integrity-class.initialize(to_be-dominated
LIMITS Pcte-1imit.get-value(duration
LIMITS Pcte-1imit.get-value(float
Pcte-object.set-attribute(fl0at
Pce-object.set-attribute(integer
Pcte-objectset-attribute(natural)
Pcte-object.set-attribute(string
Pcte-object.set-attribute(time
Pcte-mandatory.object.set-confidentiality-label
Pcte-mandatory .object.set-integrity-label
Pcte-object.set-key-preference(key )
Pcte-object.set-preference(1ink-type-and-ke y)
Pcte-object set-type-preference(1ink-type)
Pc te-objec t.unset-preference
Pcte-object.set-several-attributes
Pcte-object.set-time-attributes
Pcte-process.add-breakpoint
Pcte-process.adopt-userjroup
Pcte-process.continue
Pc te-process.create
Pcte-process.create-and-start
Pcte-process.get-default-acl
Pcte-process.get-default-owner
Pcte-process.get-working-schema
Pcte-process.interrupt-operation
Pcte-process.peek
Pctejrocess poke
Pcte-process.profiling-off
Pcte-process.profilingon
Pcte_process.remove-breakpoint
Pcte-process.resume
Pcte-processset-adoptable-for-child
Pcte-procesS.set-alarm
Pcte-procesS.set-confidentiality-label
Pcte-procesS.set-consumer-identity
Pcte-processset-default-acl-entry
Pcte-process.set-default-owner
Pcte-process set-file-size-limit
Pcte-procesS.set-floating-confidentiality-level
Pcte-procesS.set-floating-integrity-level
Pcte-procesS.set-integrity-label
Pcte-procesS.set-operation-time-out
Pcte-procesS.set-priority
Pcte-process.set-referenced-object
Pcte-procesS.set-termination-status
Pcte-procesS.set-user
Pctejrocess.set-workingschema
Pcte-process start( no-site)
Pcte-process.start(on-site
Pcte-procesS.suspend
Pcte-process terminate-process
LINK-GET-KEY
LINK-GET-REVERSE
LINK-GET-SEVERAL-AïTRIBUTES
LINK-GET-SEVERAL-AïTRIBüTES
LINK-REPLACE
LINK-RESET-AïTRIBUTE
LINK-SET-ATTRIBUTE
LINK-SET-AïTRIBUTE
LINK-SET-AïTRIBUTE
LINK-SET-AïTIUBUTE
LINK-SET-AïTRIBUTE
LINK-SET-ARRIBUTE
LINK-SET-ATI'RIBUTE
LINK-SET-SEVERAL-ATïRIBUTES
CONFIDENTIALITY-CLASS-INITIALIZE
CONFIDENTIALITY-CLASS-INITIALIZE
Pcte-mandatory device.set-confidentiality-range DEVICE-SET-CONFIDENTIALITY-RANGE
Pcte-mandatory device.set-integrity-range DEVICE-SET-INTEGIUTY&4NGE
Pcte-mandatory.execution-site.set-integrity-range EXECUTION-SITE-SET-INTEGRITY-RANGE
DOWNGRADE
Pcte-mandatory.group.disab1e-for-integrity-upgrade GROUP-DIS ABLE-FOR-INTEGRITY-UPGRADE
DOWNGRADE
Pcie-mandatory .group.enable-for-integrity-upgrade GROUP-ENABLE-FOR-INTEGRITY-UPGRADE
Pcte-mandatory.integrity-class.initialize(new-tower INTEGRITY_CLASS-INITIALIZE
Pcte-mandatory.integrity-class.initialize(to-be-dominated INTEGRIïY-CLASS-INITïALIZE
Pcte-mandatory.object.set-confidentiality-label OBJECT-SET-CONFIDENTIALITY-LABEL
Pcte-mandatory .object.set-integrity-label OB JECT-SET-INTEGRITY-LABEL
Pcte-mandatory.user.extend-confidentiality-clearance USER-EXTEND-CONFIDENTIALITY-CLEARANCE
USER-EXTEND-INTEGRITY-CLEARANCE
Pcte-mandatory.user.reduce-confidentia1ity-clearance USER-REDUCE-CONFIDENTIALITY-CLEARANCE
USER-REDUCE-INTEGRITY-CLEARANCE
VOLUME-SET-CONFIDENTIALITY-RANGE
VOLUME-SET-INTEGRITY-RANGE
MESS AGE-DELETE
MESS AGE-PEEK
MESS AGE-RECEIVE-NO-WAIT
MESS AGE-RECEIVE-WAIT
MESSAGE-PEEK
MESSAGE-RECEIVE-NO-WAIT
MESS AGE-RECEIVE-WAIT
MESS AGE-SEND-NOWAIT
MESS AGE-SEND-WAIT
NOTIFT-CREATE
NOTIFY-DELETE
NOTIFiCATION-MESS AGE-GET-KEY
Keep me up-to-date
Register to receive notifications when updates are made to this standard.
Related Information
Similar Standards
-
AS/NZS 1486:1993
Information technology - Programming languages - Fortran 90
-
AS/NZS 3968.0:1994
Information technology - Database languages - SQL - Definition of data structures and basic operations
-
AS/NZS 3968.0:1994 A1
Information technology - Database languages - SQL - Definition of data structures and basic operations: Amendment 1
-
AS/NZS 3968.3:1998
Information technology - Database languages - SQL - Call-level interface
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
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
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.9 LI datatype generator : bounded-set
Deriving Ada subprogram semantics from the abstract specification
Object managment
9.1 Object management datatypes
9.2 Link operations
9.3 Object operations
9.4 Version operations
Schema management
10.1 Schema management datatypes
10.2 Update operations
10.3 Usage operations
10.4 Working schema operations
Volumes devices and archives
Volume device and archive datatypes
Volume device and archive operations
Files pipes and devices
File pipe and device datatypes
File pipe and device operations
Process execution
13.1 Process execution datatypes
13.2 Process execution
13.3 Security operations
13.4 Profiling operations
13.5 Monitoring operations
Message queues
14.1 Message queue datatypes
14.2 Message queue operations
Notification
15.1 Notification datatypes
15.2 Notification operations
Concurrency and integrity control
Concurrency and integrity control datatypes
Concurrency and integrity control operations
Replication
17.2 Replication datatypes
1 7.3 Replication operations
Network connection
18.1 Network connection datatypes
18.2 Network connection operations
18.3 Foreign system operations
18.4 Time operations
Discretionary security
19.1 Discretionary security datatypes
19.2 Discretionary access control operations
19.3 Discretionary security administration operations
Mandatory security
20.1 Mandatory security datatypes
20.2 Mandatory security operations
20.3 Mandatory security administration operations
Mandatory security operations for processes
Auditing
2 1.1 Auditing datatypes
2 1.2 Auditing operations
Accounting
22.1 Accounting datatypes
22.2 Accounting operations
22.3 Consumer identity operations
References
Limits
Errors
Index of abstract operations
Index of Ada subprograms
Index of Ada datatypes
Pcte.calendar.extend
Pcte.calendar month
Pcte.calendar.round
Pcte.calendar.seconds
Pcte.calendar.sp1it
Pcte.calendar.time-of
Pcte.calendar year
(to-be-dominated)
Pcte-accounting consumer_group.remove
Pcte-contents.close
Pcte-contents.cop y-from-foreign-sy stem
Pcte-contents.copy-to-foreign-system
Pcte-contents.get-handle-from-key
Pcte-contentsget-key-from-handle
Pcte-contents.get-position
Pcte-contents handle-duplicate
Pcte-contenkhandle-duplicate( with-key)
Pcte-contentS.open
Pcte-contenkread
Pcte-contentsseek
Pcte-contents.set-position
Pcte-contentsset-properties
Pcte-contents.îruncate
Pcte-contents write
Pcte-device.create
Pcte-device.get-control
Pcte-device.remove
Pcte-mandatory deviceset-confidentiality-range
Pcte-device set-control
Pcte-mandatory deviceset-integrity-range
Pcte-mandatory.execution-site.set-confidentiality-range
EXECUTION-SITE-SET-INTEGRITY-RANGE Pcte-mandatory.execution-site.set-integrity-range
Pcte-mandatory.group.disable-for-confidentiality-downgrade
GROUPDIS ABLE-FOR-INTEGRITY-UPGRADE Pcte-mandatory group.disable-forjntegrity-upgrade
Pcte-mandatory.group.enable-for-confidentiality-downgrade
GROW-ENABLE-FOR-INTEGRITY-UPGRADE Pcte-mandatory.group.enable-for-integrity-upgrade
GROUP-GET-IDENTIFIER Pcte-discretionary group.get-identifier
GROUP-INITIALIZE Pcte-discretionary group.initialize
GROUP-REMOVE Pcte-discretionary group.remove
GROUP-RESTORE Pcte-discretionary group.restore
INTEGFUTY-CLASS-INITIALIZE Pctemandatory.integrity-class.initialize(new-tower
Pcte-mandatory.integrity-class.initialize(to_be-dominated
LIMITS Pcte-1imit.get-value(duration
LIMITS Pcte-1imit.get-value(float
Pcte-object.set-attribute(fl0at
Pce-object.set-attribute(integer
Pcte-objectset-attribute(natural)
Pcte-object.set-attribute(string
Pcte-object.set-attribute(time
Pcte-mandatory.object.set-confidentiality-label
Pcte-mandatory .object.set-integrity-label
Pcte-object.set-key-preference(key )
Pcte-object.set-preference(1ink-type-and-ke y)
Pcte-object set-type-preference(1ink-type)
Pc te-objec t.unset-preference
Pcte-object.set-several-attributes
Pcte-object.set-time-attributes
Pcte-process.add-breakpoint
Pcte-process.adopt-userjroup
Pcte-process.continue
Pc te-process.create
Pcte-process.create-and-start
Pcte-process.get-default-acl
Pcte-process.get-default-owner
Pcte-process.get-working-schema
Pcte-process.interrupt-operation
Pcte-process.peek
Pctejrocess poke
Pcte-process.profiling-off
Pcte-process.profilingon
Pcte_process.remove-breakpoint
Pcte-process.resume
Pcte-processset-adoptable-for-child
Pcte-procesS.set-alarm
Pcte-procesS.set-confidentiality-label
Pcte-procesS.set-consumer-identity
Pcte-processset-default-acl-entry
Pcte-process.set-default-owner
Pcte-process set-file-size-limit
Pcte-procesS.set-floating-confidentiality-level
Pcte-procesS.set-floating-integrity-level
Pcte-procesS.set-integrity-label
Pcte-procesS.set-operation-time-out
Pcte-procesS.set-priority
Pcte-process.set-referenced-object
Pcte-procesS.set-termination-status
Pcte-procesS.set-user
Pctejrocess.set-workingschema
Pcte-process start( no-site)
Pcte-process.start(on-site
Pcte-procesS.suspend
Pcte-process terminate-process
LINK-GET-KEY
LINK-GET-REVERSE
LINK-GET-SEVERAL-AïTRIBUTES
LINK-GET-SEVERAL-AïTRIBüTES
LINK-REPLACE
LINK-RESET-AïTRIBUTE
LINK-SET-ATTRIBUTE
LINK-SET-AïTRIBUTE
LINK-SET-AïTRIBUTE
LINK-SET-AïTIUBUTE
LINK-SET-AïTRIBUTE
LINK-SET-ARRIBUTE
LINK-SET-ATI'RIBUTE
LINK-SET-SEVERAL-ATïRIBUTES
CONFIDENTIALITY-CLASS-INITIALIZE
CONFIDENTIALITY-CLASS-INITIALIZE
Pcte-mandatory device.set-confidentiality-range DEVICE-SET-CONFIDENTIALITY-RANGE
Pcte-mandatory device.set-integrity-range DEVICE-SET-INTEGIUTY&4NGE
Pcte-mandatory.execution-site.set-integrity-range EXECUTION-SITE-SET-INTEGRITY-RANGE
DOWNGRADE
Pcte-mandatory.group.disab1e-for-integrity-upgrade GROUP-DIS ABLE-FOR-INTEGRITY-UPGRADE
DOWNGRADE
Pcie-mandatory .group.enable-for-integrity-upgrade GROUP-ENABLE-FOR-INTEGRITY-UPGRADE
Pcte-mandatory.integrity-class.initialize(new-tower INTEGRITY_CLASS-INITIALIZE
Pcte-mandatory.integrity-class.initialize(to-be-dominated INTEGRIïY-CLASS-INITïALIZE
Pcte-mandatory.object.set-confidentiality-label OBJECT-SET-CONFIDENTIALITY-LABEL
Pcte-mandatory .object.set-integrity-label OB JECT-SET-INTEGRITY-LABEL
Pcte-mandatory.user.extend-confidentiality-clearance USER-EXTEND-CONFIDENTIALITY-CLEARANCE
USER-EXTEND-INTEGRITY-CLEARANCE
Pcte-mandatory.user.reduce-confidentia1ity-clearance USER-REDUCE-CONFIDENTIALITY-CLEARANCE
USER-REDUCE-INTEGRITY-CLEARANCE
VOLUME-SET-CONFIDENTIALITY-RANGE
VOLUME-SET-INTEGRITY-RANGE
MESS AGE-DELETE
MESS AGE-PEEK
MESS AGE-RECEIVE-NO-WAIT
MESS AGE-RECEIVE-WAIT
MESSAGE-PEEK
MESSAGE-RECEIVE-NO-WAIT
MESS AGE-RECEIVE-WAIT
MESS AGE-SEND-NOWAIT
MESS AGE-SEND-WAIT
NOTIFT-CREATE
NOTIFY-DELETE
NOTIFiCATION-MESS AGE-GET-KEY