aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-parse_psl.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2019-05-05 20:57:21 +0200
committerTristan Gingold <tgingold@free.fr>2019-05-05 20:57:21 +0200
commit6535ea096a13d8f03547f7d5e5018c0dea46252d (patch)
tree845f866bd86148474c48802d2a185019e7a60fb0 /src/vhdl/vhdl-parse_psl.adb
parent7892c6e7945d5e4b46ddde4f18debe1c06bd3e12 (diff)
downloadghdl-6535ea096a13d8f03547f7d5e5018c0dea46252d.tar.gz
ghdl-6535ea096a13d8f03547f7d5e5018c0dea46252d.tar.bz2
ghdl-6535ea096a13d8f03547f7d5e5018c0dea46252d.zip
vhdl: rename iirs to vhdl.nodes
Diffstat (limited to 'src/vhdl/vhdl-parse_psl.adb')
-rw-r--r--src/vhdl/vhdl-parse_psl.adb26
1 files changed, 14 insertions, 12 deletions
diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb
index f20094231..3c44b7213 100644
--- a/src/vhdl/vhdl-parse_psl.adb
+++ b/src/vhdl/vhdl-parse_psl.adb
@@ -18,13 +18,15 @@
with Errorout; use Errorout;
with PSL.Nodes; use PSL.Nodes;
-with Iirs;
+with Vhdl.Nodes;
with Vhdl.Scanner; use Vhdl.Scanner;
with PSL.Errors; use PSL.Errors;
with PSL.Priorities; use PSL.Priorities;
with Vhdl.Parse;
package body Vhdl.Parse_Psl is
+ subtype Vhdl_Node is Vhdl.Nodes.Iir;
+
procedure Error_Msg_Parse (Msg: String) is
begin
Report_Msg (Msgid_Error, Errorout.Parse, No_Location, Msg);
@@ -72,12 +74,12 @@ package body Vhdl.Parse_Psl is
end if;
end Parse_Count;
- function Psl_To_Vhdl (N : Node) return Iirs.Iir;
+ function Psl_To_Vhdl (N : Node) return Vhdl_Node;
- function Binary_Psl_Operator_To_Vhdl (N : Node; Kind : Iirs.Iir_Kind)
- return Iirs.Iir
+ function Binary_Psl_Operator_To_Vhdl (N : Node; Kind : Vhdl.Nodes.Iir_Kind)
+ return Vhdl_Node
is
- use Iirs;
+ use Vhdl.Nodes;
Res : Iir;
begin
Res := Create_Iir (Kind);
@@ -87,14 +89,14 @@ package body Vhdl.Parse_Psl is
return Res;
end Binary_Psl_Operator_To_Vhdl;
- function Psl_To_Vhdl (N : Node) return Iirs.Iir
+ function Psl_To_Vhdl (N : Node) return Vhdl_Node
is
- use Iirs;
+ use Vhdl.Nodes;
Res : Iir;
begin
case Get_Kind (N) is
when N_HDL_Expr =>
- Res := Iirs.Iir (Get_HDL_Node (N));
+ Res := Vhdl_Node (Get_HDL_Node (N));
when N_And_Prop =>
Res := Binary_Psl_Operator_To_Vhdl (N, Iir_Kind_And_Operator);
when N_Or_Prop =>
@@ -109,9 +111,9 @@ package body Vhdl.Parse_Psl is
return Res;
end Psl_To_Vhdl;
- function Vhdl_To_Psl (N : Iirs.Iir) return Node
+ function Vhdl_To_Psl (N : Vhdl_Node) return Node
is
- use Iirs;
+ use Vhdl.Nodes;
Res : Node;
begin
Res := Create_Node_Loc (N_HDL_Expr);
@@ -129,7 +131,7 @@ package body Vhdl.Parse_Psl is
function Parse_Unary_Boolean (Full_Hdl_Expr : Boolean) return Node
is
use Parse;
- use Iirs;
+ use Vhdl.Nodes;
Left, Expr : Iir;
Op : Iir_Kind;
begin
@@ -444,7 +446,7 @@ package body Vhdl.Parse_Psl is
if Get_Kind (Res) = N_HDL_Expr then
declare
- N : Iirs.Iir;
+ N : Vhdl_Node;
begin
N := Psl_To_Vhdl (Res);
N := Parse.Parse_Binary_Expression (N, Parse.Prio_Expression);