blob: 285d1354e028a66b9226313cc1f31f12d552e1f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
-- VHDL regeneration from internal nodes.
-- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold
--
-- GHDL is free software; you can redistribute it and/or modify it under
-- the terms of the GNU General Public License as published by the Free
-- Software Foundation; either version 2, or (at your option) any later
-- version.
--
-- GHDL is distributed in the hope that it will be useful, but WITHOUT 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
-- along with GHDL; see the file COPYING. If not, write to the Free
-- Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-- 02111-1307, USA.
with Vhdl.Nodes; use Vhdl.Nodes;
with Vhdl.Tokens; use Vhdl.Tokens;
with PSL.Types; use PSL.Types;
package Vhdl.Prints is
type Disp_Ctxt is abstract tagged null record;
procedure Start_Hbox (Ctxt : in out Disp_Ctxt) is abstract;
procedure Close_Hbox (Ctxt : in out Disp_Ctxt) is abstract;
procedure Start_Vbox (Ctxt : in out Disp_Ctxt) is abstract;
procedure Close_Vbox (Ctxt : in out Disp_Ctxt) is abstract;
procedure Disp_Token (Ctxt : in out Disp_Ctxt; Tok : Token_Type)
is abstract;
procedure Start_Lit (Ctxt : in out Disp_Ctxt; Tok : Token_Type)
is abstract;
procedure Disp_Char (Ctxt : in out Disp_Ctxt; C : Character)
is abstract;
procedure Close_Lit (Ctxt : in out Disp_Ctxt)
is abstract;
subtype Ctxt_Class is Disp_Ctxt'Class;
-- Helper that calls Disp_Char for every character of STR.
procedure Disp_Str (Ctxt : in out Ctxt_Class; Str : String);
-- Return True if a space should be displayed between PREV_TOK and TOK.
function Need_Space (Tok, Prev_Tok : Token_Type) return Boolean;
-- General procedure to display a node.
-- Mainly used to dispatch to other functions according to the kind of
-- the node.
procedure Disp_Vhdl (Ctxt : in out Ctxt_Class; N : Iir);
procedure Disp_Vhdl (N : Iir);
procedure Disp_PSL_NFA (Ctxt : in out Ctxt_Class; N : PSL_NFA);
procedure Disp_PSL_NFA (N : PSL_NFA);
procedure Disp_Expression (Expr: Iir);
-- Display an expression.
end Vhdl.Prints;
|
