diff options
Diffstat (limited to 'gcc-4.2.1/gcc/ada/sprint.ads')
| -rw-r--r-- | gcc-4.2.1/gcc/ada/sprint.ads | 152 |
1 files changed, 0 insertions, 152 deletions
diff --git a/gcc-4.2.1/gcc/ada/sprint.ads b/gcc-4.2.1/gcc/ada/sprint.ads deleted file mode 100644 index 0e869f053..000000000 --- a/gcc-4.2.1/gcc/ada/sprint.ads +++ /dev/null @@ -1,152 +0,0 @@ ------------------------------------------------------------------------------- --- -- --- GNAT COMPILER COMPONENTS -- --- -- --- S P R I N T -- --- -- --- S p e c -- --- -- --- Copyright (C) 1992-2006, 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, 51 Franklin Street, Fifth Floor, -- --- Boston, MA 02110-1301, 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 ] - -- Implicit call to run time routine $routine-name - -- Interpretation interpretation type [, entity] - -- Intrinsic calls function-name!(arg, arg, arg) - -- Itype declaration [(sub)type declaration without ;] - -- 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 cond]] - -- Raise xxx error with msg [xxx_error [when cond], "msg"] - -- 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); - pragma Export (Ada, pg); - -- 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); - pragma Export (Ada, po); - -- 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); - pragma Export (Ada, ps); - -- Print generated and original source for node N (like -gnatds output). - -- This is intended only for use from gdb for debugging purposes. - -end Sprint; |