+++ /dev/null
-------------------------------------------------------------------------------
--- --
--- GNAT COMPILER COMPONENTS --
--- --
--- S P R I N T --
--- --
--- S p e c --
--- --
--- $Revision: 1.1.16.1 $
--- --
--- Copyright (C) 1992-1999, Free Software Foundation, Inc. --
--- --
--- GNAT is free software; you can redistribute it and/or modify it under --
--- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
--- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
--- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
--- --
--- GNAT was originally developed by the GNAT team at New York University. --
--- Extensive contributions were provided by Ada Core Technologies Inc. --
--- --
-------------------------------------------------------------------------------
-
--- This package (source print) contains routines for printing the source
--- program corresponding to a specified syntax tree. These routines are
--- intended for debugging use in the compiler (not as a user level pretty
--- print tool). Only information present in the tree is output (e.g. no
--- comments are present in the output), and as far as possible we avoid
--- making any assumptions about the correctness of the tree, so a bad
--- tree may either blow up on a debugging check, or list incorrect source.
-
-with Types; use Types;
-package Sprint is
-
- -----------------------
- -- Syntax Extensions --
- -----------------------
-
- -- When the generated tree is printed, it contains constructs that are not
- -- pure Ada. For convenience, syntactic extensions to Ada have been defined
- -- purely for the purposes of this printout (they are not recognized by the
- -- parser)
-
- -- Allocator new xxx [storage_pool = xxx]
- -- Cleanup action at end procedure name;
- -- Conditional expression (if expr then expr else expr)
- -- Conversion wi Float_Truncate target^(source)
- -- Convert wi Conversion_OK target?(source)
- -- Convert wi Rounded_Result target@(source)
- -- Divide wi Treat_Fixed_As_Integer x #/ y
- -- Divide wi Rounded_Result x @/ y
- -- Expression with range check {expression}
- -- Operator with range check {operator} (e.g. {+})
- -- Free statement free expr [storage_pool = xxx]
- -- Freeze entity with freeze actions freeze entityname [ actions ]
- -- Interpretation interpretation type [, entity]
- -- Intrinsic calls function-name!(arg, arg, arg)
- -- Itype reference reference itype
- -- Label declaration labelname : label
- -- Mod wi Treat_Fixed_As_Integer x #mod y
- -- Multiple concatenation expr && expr && expr ... && expr
- -- Multiply wi Treat_Fixed_As_Integer x #* y
- -- Multiply wi Rounded_Result x @* y
- -- Others choice for cleanup when all others
- -- Raise xxx error [xxx_error [when condition]]
- -- Rational literal See UR_Write for details
- -- Rem wi Treat_Fixed_As_Integer x #rem y
- -- Reference expression'reference
- -- Shift nodes shift_name!(expr, count)
- -- Subprogram_Info subprog'Subprogram_Info
- -- Unchecked conversion target_type!(source_expression)
- -- Unchecked expression `(expression)
- -- Validate_Unchecked_Conversion validate unchecked_conversion
- -- (src-type, target-typ);
-
- -- Note: the storage_pool parameters for allocators and the free node
- -- are omitted if the Storage_Pool field is Empty, indicating use of
- -- the standard default pool.
-
- -----------------
- -- Subprograms --
- -----------------
-
- procedure Source_Dump;
- -- This routine is called from the GNAT main program to dump source as
- -- requested by debug options. The relevant debug options are:
- -- -ds print source from tree, both original and generated code
- -- -dg print source from tree, including only the generated code
- -- -do print source from tree, including only the original code
- -- -df modify the above to include all units, not just the main unit
- -- -sz print source from tree for package Standard
-
- procedure Sprint_Comma_List (List : List_Id);
- -- Prints the nodes in a list, with separating commas. If the list
- -- is empty then no output is generated.
-
- procedure Sprint_Paren_Comma_List (List : List_Id);
- -- Prints the nodes in a list, surrounded by parentheses, and separated
- -- by comas. If the list is empty, then no output is generated. A blank
- -- is output before the initial left parenthesis.
-
- procedure Sprint_Opt_Paren_Comma_List (List : List_Id);
- -- Same as normal Sprint_Paren_Comma_List procedure, except that
- -- an extra blank is output if List is non-empty, and nothing at all is
- -- printed it the argument is No_List.
-
- procedure Sprint_Node_List (List : List_Id);
- -- Prints the nodes in a list with no separating characters. This is used
- -- in the case of lists of items which are printed on separate lines using
- -- the current indentation amount. Note that Sprint_Node_List itself
- -- does not generate any New_Line calls.
-
- procedure Sprint_Opt_Node_List (List : List_Id);
- -- Like Sprint_Node_List, but prints nothing if List = No_List.
-
- procedure Sprint_Indented_List (List : List_Id);
- -- Like Sprint_Line_List, except that the indentation level is
- -- increased before outputting the list of items, and then decremented
- -- (back to its original level) before returning to the caller.
-
- procedure Sprint_Node (Node : Node_Id);
- -- Prints a single node. No new lines are output, except as required for
- -- splitting lines that are too long to fit on a single physical line.
- -- No output is generated at all if Node is Empty. No trailing or leading
- -- blank characters are generated.
-
- procedure Sprint_Opt_Node (Node : Node_Id);
- -- Same as normal Sprint_Node procedure, except that one leading
- -- blank is output before the node if it is non-empty.
-
- procedure PG (Node : Node_Id);
- -- Print generated source for node N (like -gnatdg output). This is
- -- intended only for use from gdb for debugging purposes.
-
- procedure PO (Node : Node_Id);
- -- Print original source for node N (like -gnatdo output). This is
- -- intended only for use from gdb for debugging purposes.
-
- procedure PS (Node : Node_Id);
- -- Print generated and original source for node N (like -gnatds output).
- -- This is intended only for use from gdb for debugging purposes.
-
-end Sprint;
projects / msp430-gcc.git / blobdiff