diff options
Diffstat (limited to 'psl/psl-prints.ads')
| -rw-r--r-- | psl/psl-prints.ads | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/psl/psl-prints.ads b/psl/psl-prints.ads deleted file mode 100644 index 18a36f7..0000000 --- a/psl/psl-prints.ads +++ /dev/null @@ -1,20 +0,0 @@ -with PSL.Nodes; use PSL.Nodes; -with PSL.Priorities; use PSL.Priorities; - -package PSL.Prints is - procedure Print_Unit (Unit : Node); - procedure Print_Property (Prop : Node; - Parent_Prio : Priority := Prio_Lowest); - procedure Print_Expr (N : Node; Parent_Prio : Priority := Prio_Lowest); - - -- Procedure to display HDL_Expr nodes. - type HDL_Expr_Printer_Acc is access procedure (N : HDL_Node); - HDL_Expr_Printer : HDL_Expr_Printer_Acc; - - procedure Print_HDL_Expr (N : HDL_Node); - - -- Like Print_Expr but always put parenthesis. - procedure Dump_Expr (N : Node); - -end PSL.Prints; - |