diff options
Diffstat (limited to 'src/psl/psl-prints.ads')
| -rw-r--r-- | src/psl/psl-prints.ads | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/psl/psl-prints.ads b/src/psl/psl-prints.ads new file mode 100644 index 000000000..18a36f78f --- /dev/null +++ b/src/psl/psl-prints.ads @@ -0,0 +1,20 @@ +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; + |