diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2016-07-04 10:19:10 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:19:10 +0200 |
| commit | c308e7620eccfbb8f0b5859aab351e3192d761c1 (patch) | |
| tree | 517b604b4f76308f98fafb0a39765f69077d51e7 /gcc/ada/sinput-l.ads | |
| parent | f50f7e2c00bb3cbf404b241d88af8697b33d2279 (diff) | |
| download | gcc-c308e7620eccfbb8f0b5859aab351e3192d761c1.zip gcc-c308e7620eccfbb8f0b5859aab351e3192d761c1.tar.gz gcc-c308e7620eccfbb8f0b5859aab351e3192d761c1.tar.bz2 | |
sem_ch3.adb, [...]: Minor reformatting.
2016-07-04 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb, sem_type.adb, sem_ch12.adb, xref_lib.adb,
freeze.adb, sinput-l.adb, sinput-l.ads, sem_ch4.adb, sem_ch8.adb:
Minor reformatting.
From-SVN: r237965
Diffstat (limited to 'gcc/ada/sinput-l.ads')
| -rw-r--r-- | gcc/ada/sinput-l.ads | 36 |
1 files changed, 19 insertions, 17 deletions
diff --git a/gcc/ada/sinput-l.ads b/gcc/ada/sinput-l.ads index 1b0aacb..f3af4c9 100644 --- a/gcc/ada/sinput-l.ads +++ b/gcc/ada/sinput-l.ads @@ -79,32 +79,34 @@ package Sinput.L is ------------------------------------------------- type Sloc_Adjustment is private; - -- Type returned by Create_Instantiation_Source for use in subsequent - -- calls to Adjust_Instantiation_Sloc. + -- Type returned by Create_Instantiation_Source for use in subsequent calls + -- to Adjust_Instantiation_Sloc. + + procedure Adjust_Instantiation_Sloc + (N : Node_Id; + Factor : Sloc_Adjustment); + -- The instantiation tree is created by copying the tree of the generic + -- template (including the original Sloc values), and then applying + -- Adjust_Instantiation_Sloc to each copied node to adjust the Sloc to + -- reference the source entry for the instantiation. procedure Create_Instantiation_Source (Inst_Node : Entity_Id; Template_Id : Entity_Id; - A : out Sloc_Adjustment; + Factor : out Sloc_Adjustment; Inlined_Body : Boolean := False; Inherited_Pragma : Boolean := False); -- This procedure creates the source table entry for an instantiation. -- Inst_Node is the instantiation node, and Template_Id is the defining -- identifier of the generic declaration or body unit as appropriate. - -- A is set to an adjustment factor to be used in subsequent calls to - -- Adjust_Instantiation_Sloc. The instantiation mechanism is also used - -- for inlined function and procedure calls. The parameter Inlined_Body is - -- set to True in such cases. This is used for generating error messages - -- that distinguish these two cases, otherwise the two cases are handled - -- identically. Similarly, the instantiation mechanism is also used - -- for inherited class-wide pre- and postconditions. The parameter - -- Inherited_Pragma is set to True in such cases. - - procedure Adjust_Instantiation_Sloc (N : Node_Id; A : Sloc_Adjustment); - -- The instantiation tree is created by copying the tree of the generic - -- template (including the original Sloc values), and then applying - -- Adjust_Instantiation_Sloc to each copied node to adjust the Sloc - -- to reference the source entry for the instantiation. + -- Factor is set to an adjustment factor to be used in subsequent calls to + -- Adjust_Instantiation_Sloc. The instantiation mechanism is also used for + -- inlined function and procedure calls. The parameter Inlined_Body is set + -- to True in such cases. This is used for generating error messages that + -- distinguish these two cases, otherwise the two cases are handled + -- identically. Similarly, the instantiation mechanism is also used for + -- inherited class-wide pre- and postconditions. Parameter Inherited_Pragma + -- is set to True in such cases. private |