diff options
author | Robert Dewar <dewar@adacore.com> | 2013-09-10 15:16:41 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-09-10 17:16:41 +0200 |
commit | f2c0ca66325e53b302a2ccbfd25b28ffa4a619c9 (patch) | |
tree | 9f0e0f359b2432d5e87af46be21b68a2de8de7da /gcc/ada/atree.ads | |
parent | 7b64b700f29a6753d645e3c6a172039fbda94ac6 (diff) | |
download | gcc-f2c0ca66325e53b302a2ccbfd25b28ffa4a619c9.zip gcc-f2c0ca66325e53b302a2ccbfd25b28ffa4a619c9.tar.gz gcc-f2c0ca66325e53b302a2ccbfd25b28ffa4a619c9.tar.bz2 |
switch-c.adb: Minor reformatting.
2013-09-10 Robert Dewar <dewar@adacore.com>
* switch-c.adb: Minor reformatting.
* atree.ads (Original_Nodes): Add documentation on ASIS usage.
* sinfo.ads: Add section on ASIS mode (documentation only).
From-SVN: r202464
Diffstat (limited to 'gcc/ada/atree.ads')
-rw-r--r-- | gcc/ada/atree.ads | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads index d1056b0..123beb3 100644 --- a/gcc/ada/atree.ads +++ b/gcc/ada/atree.ads @@ -939,12 +939,15 @@ package Atree is function Original_Node (Node : Node_Id) return Node_Id; pragma Inline (Original_Node); -- If Node has not been rewritten, then returns its input argument - -- unchanged, else returns the Node for the original subtree. + -- unchanged, else returns the Node for the original subtree. Note that + -- this is used extensively by ASIS on the trees constructed in ASIS mode + -- to reconstruct the original semantic tree. See section in sinfo.ads + -- for requirements on original nodes returned by this function. -- -- Note: Parents are not preserved in original tree nodes that are -- retrieved in this way (i.e. their children may have children whose - -- pointers which reference some other node). - + -- pointers which reference some other node). This needs more details??? + -- -- Note: there is no direct mechanism for deleting an original node (in -- a manner that can be reversed later). One possible approach is to use -- Rewrite to substitute a null statement for the node to be deleted. |