pragma Normalize_Scalars;Post-Compilation Rules
Documentation Requirements
pragma Reviewable;Post-Compilation Rules
pragma Inspection_Point[(object_name {, object_name})];Legality Rules
There are no declarations of protected types or protected objects.
There are no occurrences of an allocator.
Allocators are prohibited in subprograms, generic sub-programs, tasks, and entry bodies; instantiations of generic packages are also prohibited in these contexts.
Semantic dependence on Unchecked_Deallocation is not allowed.
Except for storage occupied by objects created by allocators and not deallocated via unchecked deallocation, any storage reserved at run time for an object is immediately reclaimed when the object no longer exists.
Raise_statements and exception_handlers are not allowed. No language-defined run-time checks are generated; however, a run-time check performed automatically by the hardware is permitted.
Uses of predefined floating point types and operations, and declarations of new floating point types, are not allowed.
Uses of predefined fixed point types and operations, and declarations of new fixed point types, are not allowed.
Semantic dependence on the predefined generic Unchecked_Conversion is not allowed.
The declaration of access-to-subprogram types is not allowed.
The Unchecked_Access attribute is not allowed.
Occurrences of T'Class are not allowed, for any (tagged) subtype T.
Semantic dependence on any of the library units Sequential_IO, Direct_IO, Text_IO, Wide_Text_IO, or Stream_IO is not allowed.
Delay_Statements and semantic dependence on package Calendar are not allowed.
As part of the execution of a subprogram, the same subprogram is not invoked.
During the execution of a subprogram by a task, no other task invokes the same subprogram.Implementation Requirements
Go to the first, previous, next, last section, table of contents.