aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/atree.ads
diff options
context:
space:
mode:
authorRobert Dewar <dewar@adacore.com>2013-09-10 15:16:41 +0000
committerArnaud Charlet <charlet@gcc.gnu.org>2013-09-10 17:16:41 +0200
commitf2c0ca66325e53b302a2ccbfd25b28ffa4a619c9 (patch)
tree9f0e0f359b2432d5e87af46be21b68a2de8de7da /gcc/ada/atree.ads
parent7b64b700f29a6753d645e3c6a172039fbda94ac6 (diff)
downloadgcc-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.ads9
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.