aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/sem_expr.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/sem_expr.ads')
-rw-r--r--src/vhdl/sem_expr.ads8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/vhdl/sem_expr.ads b/src/vhdl/sem_expr.ads
index ef0afadcf..1a1c32ba8 100644
--- a/src/vhdl/sem_expr.ads
+++ b/src/vhdl/sem_expr.ads
@@ -74,6 +74,14 @@ package Sem_Expr is
-- target is an aggregate.
function Sem_Composite_Expression (Expr : Iir) return Iir;
+ -- Return True iif INTER is allowed to be read. Follow rules of
+ -- LRM08 6.5.2 Interface object declarations.
+ function Can_Interface_Be_Read (Inter : Iir) return Boolean;
+
+ -- Return True iif INTER is allowed to be updated. Follow rules of
+ -- LRM08 6.5.2 Interface object declarations.
+ function Can_Interface_Be_Updated (Inter : Iir) return Boolean;
+
-- Check EXPR can be read.
procedure Check_Read (Expr : Iir);