aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_psl.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/vhdl-sem_psl.ads')
-rw-r--r--src/vhdl/vhdl-sem_psl.ads5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-sem_psl.ads b/src/vhdl/vhdl-sem_psl.ads
index f0f239778..c0f6e85d5 100644
--- a/src/vhdl/vhdl-sem_psl.ads
+++ b/src/vhdl/vhdl-sem_psl.ads
@@ -19,6 +19,11 @@
with Vhdl.Nodes; use Vhdl.Nodes;
package Vhdl.Sem_Psl is
+ function Is_Psl_Bit_Type (Atype : Iir) return Boolean;
+ function Is_Psl_Bitvector_Type (Atype : Iir) return Boolean;
+
+ function Sem_Prev_Builtin (Call : Iir; Atype : Iir) return Iir;
+
procedure Sem_Psl_Declaration (Stmt : Iir);
procedure Sem_Psl_Endpoint_Declaration (Stmt : Iir);