DocAda(tm) is a productivity tool of KSCE
|
|
|
|
About DocAda Light:
Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
Complete RM95
/ Updates
/ News
A pragma Restrictions expresses the user's intent to abide by certain restrictions. This may facilitate the construction of simpler run-time environments.
Syntax
pragma Restrictions(restriction{, restriction}); restriction ::= restriction_identifier | restriction_parameter_identifier => expression
Name Resolution Rules
Unless otherwise specified for a particular restriction, the expression is expected to be of any integer type.
Legality Rules
Unless otherwise specified for a particular restriction, the expression shall be static, and its value shall be nonnegative.
Static Semantics
The set of restrictions is implementation defined.
Post-Compilation Rules
A pragma Restrictions is a configuration pragma; unless otherwise specified for a particular restriction, a partition shall obey the restriction if a pragma Restrictions applies to any compilation unit included in the partition.
Implementation Permissions
An implementation may place limitations on the values of the expression that are supported, and limitations on the supported combinations of restrictions. The consequences of violating such limitations are implementation defined.
About DocAda Light:
Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
Complete RM95
/ Updates
/ News
|
|
|
|