* [Ada] Use pygments for Ada code examples of elaboration control
@ 2022-05-11 8:54 Pierre-Marie de Rodat
0 siblings, 0 replies; only message in thread
From: Pierre-Marie de Rodat @ 2022-05-11 8:54 UTC (permalink / raw)
To: gcc-patches; +Cc: Piotr Trojanek
[-- Attachment #1: Type: text/plain, Size: 188 bytes --]
Only enhancement of formatting.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* doc/gnat_ugn/elaboration_order_handling_in_gnat.rst: Change
blocks from plain code to Ada.
[-- Attachment #2: patch.diff --]
[-- Type: text/x-diff, Size: 5810 bytes --]
diff --git a/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst b/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst
--- a/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst
+++ b/gcc/ada/doc/gnat_ugn/elaboration_order_handling_in_gnat.rst
@@ -93,7 +93,7 @@ Elaboration code may appear in two distinct contexts:
[body] compilation unit, ignoring any other package [body] declarations in
between.
- ::
+ .. code-block:: ada
with Server;
package Client is
@@ -116,7 +116,7 @@ Elaboration code may appear in two distinct contexts:
bounded by the region starting from the ``begin`` keyword of the package body
and ending at the ``end`` keyword of the package body.
- ::
+ .. code-block:: ada
package body Client is
procedure Proc is
@@ -142,7 +142,7 @@ executed is referred to as **elaboration order**.
Within a single unit, elaboration code is executed in sequential order.
- ::
+ .. code-block:: ada
package body Client is
Result : ... := Server.Func;
@@ -190,13 +190,13 @@ factors:
A program may have several elaboration orders depending on its structure.
- ::
+ .. code-block:: ada
package Server is
function Func (Index : Integer) return Integer;
end Server;
- ::
+ .. code-block:: ada
package body Server is
Results : array (1 .. 5) of Integer := (1, 2, 3, 4, 5);
@@ -207,14 +207,14 @@ A program may have several elaboration orders depending on its structure.
end Func;
end Server;
- ::
+ .. code-block:: ada
with Server;
package Client is
Val : constant Integer := Server.Func (3);
end Client;
- ::
+ .. code-block:: ada
with Client;
procedure Main is begin null; end Main;
@@ -320,7 +320,7 @@ the desired elaboration order and avoiding ABE problems altogether.
A library package which does not require a completing body does not suffer
from ABE problems.
- ::
+ .. code-block:: ada
package Pack is
generic
@@ -358,7 +358,7 @@ the desired elaboration order and avoiding ABE problems altogether.
scenario can invoke a server target before the target body has been
elaborated because the spec and body are effectively "glued" together.
- ::
+ .. code-block:: ada
package Server is
pragma Elaborate_Body;
@@ -366,7 +366,7 @@ the desired elaboration order and avoiding ABE problems altogether.
function Func return Integer;
end Server;
- ::
+ .. code-block:: ada
package body Server is
function Func return Integer is
@@ -375,7 +375,7 @@ the desired elaboration order and avoiding ABE problems altogether.
end Func;
end Server;
- ::
+ .. code-block:: ada
with Server;
package Client is
@@ -425,13 +425,13 @@ depend on.
be elaborated prior to the unit with the pragma. Note that other unrelated
units may be elaborated in between the spec and the body.
- ::
+ .. code-block:: ada
package Server is
function Func return Integer;
end Server;
- ::
+ .. code-block:: ada
package body Server is
function Func return Integer is
@@ -440,7 +440,7 @@ depend on.
end Func;
end Server;
- ::
+ .. code-block:: ada
with Server;
pragma Elaborate (Server);
@@ -479,13 +479,13 @@ depend on.
|withed| by the spec and body of the argument, recursively. Note that other
unrelated units may be elaborated in between the spec and the body.
- ::
+ .. code-block:: ada
package Math is
function Factorial (Val : Natural) return Natural;
end Math;
- ::
+ .. code-block:: ada
package body Math is
function Factorial (Val : Natural) return Natural is
@@ -494,7 +494,7 @@ depend on.
end Factorial;
end Math;
- ::
+ .. code-block:: ada
package Computer is
type Operation_Kind is (None, Op_Factorial);
@@ -504,7 +504,7 @@ depend on.
Op : Operation_Kind) return Natural;
end Computer;
- ::
+ .. code-block:: ada
with Math;
package body Computer is
@@ -520,7 +520,7 @@ depend on.
end Compute;
end Computer;
- ::
+ .. code-block:: ada
with Computer;
pragma Elaborate_All (Computer);
@@ -738,7 +738,7 @@ execution. The warnings can be suppressed selectively with ``pragma Warnings
A *guaranteed ABE* arises when the body of a target is not elaborated early
enough, and causes *all* scenarios that directly invoke the target to fail.
- ::
+ .. code-block:: ada
package body Guaranteed_ABE is
function ABE return Integer;
@@ -765,7 +765,7 @@ the declaration of ``Val``. This invokes function ``ABE``, however the body of
A *conditional ABE* arises when the body of a target is not elaborated early
enough, and causes *some* scenarios that directly invoke the target to fail.
- ::
+ .. code-block:: ada
1. package body Conditional_ABE is
2. procedure Force_Body is null;
@@ -850,19 +850,19 @@ clauses, elaboration-control pragmas, or invocations in elaboration code.
The following example exhibits an elaboration circularity.
- ::
+ .. code-block:: ada
with B; pragma Elaborate (B);
package A is
end A;
- ::
+ .. code-block:: ada
package B is
procedure Force_Body;
end B;
- ::
+ .. code-block:: ada
with C;
package body B is
@@ -871,13 +871,13 @@ The following example exhibits an elaboration circularity.
Elab : constant Integer := C.Func;
end B;
- ::
+ .. code-block:: ada
package C is
function Func return Integer;
end C;
- ::
+ .. code-block:: ada
with A;
package body C is
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-05-11 8:54 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-11 8:54 [Ada] Use pygments for Ada code examples of elaboration control Pierre-Marie de Rodat
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).