aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-05-30 10:07:25 +0200
committerTristan Gingold <tgingold@free.fr>2019-05-30 10:07:25 +0200
commitf771391fd9c0a99e1652209a74c1687c77a7ab35 (patch)
treee7a995d52b7f61909294f2952d8b900ec1e1e1ee /src/psl
parent3bce793cfe3bcf88065acbd1365976782746f5a4 (diff)
downloadghdl-f771391fd9c0a99e1652209a74c1687c77a7ab35.tar.gz
ghdl-f771391fd9c0a99e1652209a74c1687c77a7ab35.tar.bz2
ghdl-f771391fd9c0a99e1652209a74c1687c77a7ab35.zip
vhdl: renames disp_vhdl to prints
Diffstat (limited to 'src/psl')
-rw-r--r--src/psl/psl-nodes_priv.ads1
-rw-r--r--src/psl/psl-types.ads1
2 files changed, 2 insertions, 0 deletions
diff --git a/src/psl/psl-nodes_priv.ads b/src/psl/psl-nodes_priv.ads
index 5c0bf51d0..9927b8bde 100644
--- a/src/psl/psl-nodes_priv.ads
+++ b/src/psl/psl-nodes_priv.ads
@@ -20,6 +20,7 @@ with Types; use Types;
package PSL.Nodes_Priv is
-- PSL Node.
type PSL_Node is new Int32;
+ Null_PSL_Node : constant PSL_Node := 0;
-- PSL NFA
type PSL_NFA is new Int32;
diff --git a/src/psl/psl-types.ads b/src/psl/psl-types.ads
index e6e3c700a..24a9f9a80 100644
--- a/src/psl/psl-types.ads
+++ b/src/psl/psl-types.ads
@@ -22,6 +22,7 @@ package PSL.Types is
subtype PSL_Node is PSL.Nodes_Priv.PSL_Node;
function "=" (L, R : PSL_Node) return Boolean
renames PSL.Nodes_Priv."=";
+ Null_PSL_Node : constant PSL_Node := PSL.Nodes_Priv.Null_PSL_Node;
-- PSL NFA
subtype PSL_NFA is PSL.Nodes_Priv.PSL_NFA;