Minor changes for pragmas

ada_reference_card_2022_en.tex

@@ -264,7 +264,6 @@ \section*{\textsc{Aspects}}
    \adaitem{\adarmlink{RM-7-3-2.html}}{Type\_Invariant'Class}{S with Type\_Invariant'Class => Condition}{A condition that will hold true for all objects in a class of types.}
    \adaitem{\adarmlink{RM-B-3-3.html}}{Unchecked\_Union}{R with Unchecked\_Union [=> Boolean]}{The discriminated record type R is used to interface to a C union type.}
    \adanewitem{\adarmlink{RM-H-7-1.html}}{Use\_Formal}{P with Use\_Formal => all|null|formal\_parameter\_name[,...]}{Generic formal parameters used in the implementation of an entity.}
-
    \adaitem{\adarmlink{RM-4-1-6.html}}{Variable\_Indexing}{S with Variable\_Indexing => F}{Defines function(S, Key) to implement user-defined indexed\_components.}
    \adaitem{\adarmlink{RM-C-6.html}}{Volatile}{S|X|C with Volatile [=> Boolean]}{Declare that a type, object, or component is volatile.}
    \adaitem{\adarmlink{RM-C-6.html}}{Volatile\_Components}{A|X with Volatile\_Components [=> Boolean]}{Declare that the components of an array type or object are volatile.}
@@ -289,22 +288,22 @@ \section*{\textsc{Pragmas}}
    \adaitem{\adarmlink{RM-H-5.html}}{Detect\_Blocking}{pragma Detect\_Blocking}{Raises Program\_Error when a potentially blocking operation is detected that occurs during the execution of a protected operation or a parallel construct defined within a compilation unit to which the pragma applies.}
    \adaitem{\adarmlink{RM-C-5.html}}{Discard\_Names}{pragma Discard\_Names [([On => ] local\_name)]}{Reduce the memory needed to store names of Ada entities, where no operation uses those names.}
    \adaitem{\adarmlink{RM-J-15-10.html}}{Dispatching\_Domain}{pragma Dispatching\_Domain (expression)}{Domain (group of processors) on which a given task should run.}
-   \adaitem{\adarmlink{RM-10-2-1.html}}{Elaborate}{pragma Elaborate (library\_unit\_name{, ...})}{Guarantees that both the spec and body of its argument will be elaborated prior to the unit with the pragma.}
-   \adaitem{\adarmlink{RM-10-2-1.html}}{Elaborate\_All}{pragma Elaborate\_All (library\_unit\_name{, ...})}{Guarantees that both the spec and body of its argument will be elaborated prior to the unit with the pragma, as well as all units withed by the spec and body of the argument, recursively.}
+   \adaitem{\adarmlink{RM-10-2-1.html}}{Elaborate}{pragma Elaborate (library\_unit\_name[, ...])}{Guarantees that both the spec and body of its argument will be elaborated prior to the unit with the pragma.}
+   \adaitem{\adarmlink{RM-10-2-1.html}}{Elaborate\_All}{pragma Elaborate\_All (library\_unit\_name[, ...])}{Guarantees that both the spec and body of its argument will be elaborated prior to the unit with the pragma, as well as all units withed by the spec and body of the argument, recursively.}
    \adanewitem{\adarmlink{RM-J-15-14.html}}{Elaborate\_Body}{pragma Elaborate\_Body [(library\_unit\_name)]}{Requires that the body of a unit is elaborated immediately after its spec. This restriction guarantees that no client scenario can invoke a server target before the target body has been elaborated.}
    \adaitem{\adarmlink{RM-J-15-5.html}}{Export}{pragma Export ([Convention =>] convention\_identifier, [Entity =>] local\_name [, [External\_Name =>] string\_expression] [,[Link\_Name =>] string\_expression])}{Directs the compiler to make available subprograms or data objects written in Ada to foreign computer languages.}
    \adanewitem{\adarmlink{RM-D-2-6.html}}{Generate\_Deadlines}{pragma Generate\_Deadlines}{Makes the deadline of a task be recomputed each time it becomes ready. The new deadline is the value of Real\_Time.Clock at the time the task is added to a ready queue plus the value returned by Get\_Relative\_Deadline.}
    \adaitem{\adarmlink{RM-J-15-5.html}}{Import}{pragma Import ([Convention =>] convention\_identifier, [Entity =>] local\_name [, [External\_Name =>] string\_expression] [,[Link\_Name =>] string\_expression])}{Directs the compiler to use code or data objects written in a foreign computer language.}
    \adaitem{\adarmlink{RM-J-15-8.html}}{Independent}{pragma Independent (component\_local\_name)}{Declare that a type, object, or component is independently addressable.}
    \adaitem{\adarmlink{RM-J-15-8.html}}{Independent\_Components}{pragma Independent\_Components (local\_name)}{Declare that the components of an array or record type, or an array object, are independently addressable.}
-   \adaitem{\adarmlink{RM-J-15-1.html}}{Inline}{pragma Inline (name {, ...})}{Directs the compiler to inline the code of the given subprogram, making execution faster by eliminating overhead of the subprogram call.}
-   \adaitem{\adarmlink{RM-H-3-2.html}}{Inspection\_Point}{pragma Inspection\_Point [(object\_name {, ...})]}{Directs the compiler to ensure that the specified variable is available where the pragma appears. This pragma aids in debugging.}
+   \adaitem{\adarmlink{RM-J-15-1.html}}{Inline}{pragma Inline (name[, ...])}{Directs the compiler to inline the code of the given subprogram, making execution faster by eliminating overhead of the subprogram call.}
+   \adaitem{\adarmlink{RM-H-3-2.html}}{Inspection\_Point}{pragma Inspection\_Point [(object\_name[, ...])]}{Directs the compiler to ensure that the specified variable is available where the pragma appears. This pragma aids in debugging.}
    \adaitem{\adarmlink{RM-J-15-7.html}}{Interrupt\_Handler}{pragma Interrupt\_Handler (handler\_name)}{Tell the compiler this is an interrupt handler.}
    \adaitem{\adarmlink{RM-J-15-11.html}}{Interrupt\_Priority}{pragma Interrupt\_Priority [(expression)]}{Assigns the given priority to the whole protected object. No other interrupts at or below that level will be enabled whenever the procedure is executing.}
    \adaitem{\adarmlink{RM-B-1.html}}{Linker\_Options}{pragma Linker\_Options (string\_expression)}{Used to specify the system linker parameters needed when a given compilation unit is included in a partition.}
    \adaitem{\adarmlink{RM-2-8.html}}{List}{pragma List (identifier)}{Specifies that listing of the compilation is to be continued (On) or suspended (Off) until a List pragma with the opposite argument is given within the same compilation.}
    \adaitem{\adarmlink{RM-D-3.html}}{Locking\_Policy}{pragma Locking\_Policy (policy\_identifier)}{Chooses locking policy.}
-   \adaitem{\adarmlink{RM-J-15-2.html}}{No\_Return}{pragma No\_Return (subprogram\_local\_name{, subprogram\_local\_name})}{States that a procedure will never return normally; that is, it will raise an exception, loop endlessly, or terminate the program.}
+   \adaitem{\adarmlink{RM-J-15-2.html}}{No\_Return}{pragma No\_Return (subprogram\_local\_name[, subprogram\_local\_name])}{States that a procedure will never return normally; that is, it will raise an exception, loop endlessly, or terminate the program.}
    \adaitem{\adarmlink{RM-H-1.html}}{Normalize\_Scalars}{pragma Normalize\_Scalars}{Directs the compiler to initialize otherwise uninitialized scalar variables with predictable values. If possible, the compiler will choose out-of-range values.}
    \adaitem{\adarmlink{RM-2-8.html}}{Optimize}{pragma Optimize (identifier)}{Gives advice to the implementation as to whether time (Time) or space (Space) is the primary optimization criterion, or that optional optimizations should be turned off (Off).}
    \adaitem{\adarmlink{RM-J-15-3.html}}{Pack}{pragma Pack (first\_subtype\_local\_name)}{Directs the compiler to use type representations that favor conservation of storage space, rather than ease of access.}
@@ -314,13 +313,13 @@ \section*{\textsc{Pragmas}}
    \adanewitem{\adarmlink{RM-J-15-14.html}}{Preelaborate}{pragma Preelaborate [(library\_unit\_name)]}{Slightly less restrictive than pragma Pure, but still strong enough to prevent access before elaboration problems within a unit.}
    \adaitem{\adarmlink{RM-J-15-11.html}}{Priority}{pragma Priority (Integer)}{Sets a task's priority. The pragma must be called in the task specification.}
    \adaitem{\adarmlink{RM-D-2-2.html}}{Priority\_Specific\_Dispatching}{pragma Priority\_Specific\_Dispatching (policy\_identifier, first\_priority\_expression, last\_priority\_expression)}{Specifies the task dispatching policy for the specified range of priorities.}
-   \adaitem{\adarmlink{RM-13-12.html}}{Profile}{pragma Profile (profile\_identifier {, profile\_pragma\_argument\_association})}{Expresses the user's intent to abide by a set of Restrictions or other specified run-time policies. These may facilitate the construction of simpler run-time environments.}
+   \adaitem{\adarmlink{RM-13-12.html}}{Profile}{pragma Profile (profile\_identifier [, profile\_pragma\_argument\_association])}{Expresses the user's intent to abide by a set of Restrictions or other specified run-time policies. These may facilitate the construction of simpler run-time environments.}
    \adanewitem{\adarmlink{RM-J-15-14.html}}{Pure}{pragma Pure [(library\_unit\_name)]}{Guarantees that no scenario within the unit can result in an access before elaboration problem.}
    \adaitem{\adarmlink{RM-D-4.html}}{Queuing\_Policy}{pragma Queuing\_Policy (FIFO\_Queuing|Priority\_Queuing)}{Defines the queuing policy used on task entry to an Ada partition.}
    \adaitem{\adarmlink{RM-J-15-12.html}}{Relative\_Deadline}{pragma Relative\_Deadline (Real\_Time.Time\_Span)}{Defines deadline.}
    \adanewitem{\adarmlink{RM-J-15-15.html}}{Remote\_Call\_Interface}{pragma Remote\_Call\_Interface [(library\_unit\_name)]}{Categorizes a library-unit as a Remote-Call-Interface.}
    \adanewitem{\adarmlink{RM-J-15-15.html}}{Remote\_Types}{pragma Remote\_Types [(library\_unit\_name)]}{Categorizes a library-unit as a Remote-Type.}
-   \adaitem{\adarmlink{RM-13-12.html}}{Restrictions}{pragma Restrictions (restriction{, ...})}{Used to forbid the utilization of some language features.}
+   \adaitem{\adarmlink{RM-13-12.html}}{Restrictions}{pragma Restrictions (restriction[, ...])}{Used to forbid the utilization of some language features.}
    \adaitem{\adarmlink{RM-H-3-1.html}}{Reviewable}{pragma Reviewable}{Directs the compiler to provide information that aids inspection of the program's object code.}
    \adanewitem{\adarmlink{RM-J-15-15.html}}{Shared\_Passive}{pragma Shared\_Passive [(library\_unit\_name)]}{Allows the use of passive partitions in the context described in the Ada Reference Manual; i.e., for communication between separate partitions of a distributed application using the features in Annex E.}
    \adaitem{\adarmlink{RM-J-15-4.html}}{Storage\_Size}{pragma Storage\_Size (expression)}{Specifies the amount of space to be allocated for the task stack. This cannot be extended, and if the stack is exhausted, then Storage\_Error will be raised (if stack checking is enabled).}