[Ada] Enhance output of discriminants with -gnatR in JSON mode
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 29 May 2018 09:37:43 +0000 (09:37 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 29 May 2018 09:37:43 +0000 (09:37 +0000)
commit0f9ca0303ed932c4c2df9b3439aac6b6566a6728
tree4c1ecbbbb48cfe5d7413446dde0032eee30e788a
parent1e7629b8a2f2b05194ab8bc3878f6f841666a289
[Ada] Enhance output of discriminants with -gnatR in JSON mode

This arranges for the Discriminant_Number of discriminants to be output
by -gnatR in JSON mode.  This number is referenced in symbolic expressions
present for offsets and sizes, so its definition is also required for the
sake of completeness.

2018-05-29  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* repinfo.ads (JSON format): Document new pair for components.
* repinfo.adb (Derived_Discriminant): New function.
(List_Structural_Record_Layout): Add Outer_Ent parameter and pass it
in recursive calls. If the record type is the parent of an extension,
find and list the derived discriminant from the extension, if any.
(List_Component_Layout): List the Discriminant_Number in JSON mode.
(List_Record_Info): Adjust call to List_Structural_Record_Layout.

From-SVN: r260869
gcc/ada/ChangeLog
gcc/ada/repinfo.adb
gcc/ada/repinfo.ads