1-- PSL - Pretty print 2-- Copyright (C) 2002-2016 Tristan Gingold 3-- 4-- This program is free software: you can redistribute it and/or modify 5-- it under the terms of the GNU General Public License as published by 6-- the Free Software Foundation, either version 2 of the License, or 7-- (at your option) any later version. 8-- 9-- This program is distributed in the hope that it will be useful, 10-- but WITHOUT ANY WARRANTY; without even the implied warranty of 11-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12-- GNU General Public License for more details. 13-- 14-- You should have received a copy of the GNU General Public License 15-- along with this program. If not, see <gnu.org/licenses>. 16 17with PSL.Nodes; use PSL.Nodes; 18with PSL.Priorities; use PSL.Priorities; 19 20package PSL.Prints is 21 procedure Print_Unit (Unit : Node); 22 procedure Print_Sequence 23 (Seq : Node; Parent_Prio : Priority := Prio_Lowest); 24 procedure Print_Property 25 (Prop : Node; Parent_Prio : Priority := Prio_Lowest); 26 procedure Print_Expr (N : Node; Parent_Prio : Priority := Prio_Lowest); 27 28 function Get_Priority (N : Node) return Priority; 29 30 -- Procedure to display HDL_Expr nodes. 31 type HDL_Expr_Printer_Acc is access procedure (N : HDL_Node); 32 HDL_Expr_Printer : HDL_Expr_Printer_Acc; 33 34 procedure Print_HDL_Expr (N : HDL_Node); 35 36 -- Like Print_Expr but always put parenthesis. 37 procedure Dump_Expr (N : Node); 38 39end PSL.Prints; 40