aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/iirs.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl/iirs.adb')
-rw-r--r--src/vhdl/iirs.adb16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/vhdl/iirs.adb b/src/vhdl/iirs.adb
index b2ed4ac5a..6f2ce5aa4 100644
--- a/src/vhdl/iirs.adb
+++ b/src/vhdl/iirs.adb
@@ -3394,6 +3394,22 @@ package body Iirs is
Set_Flag4 (Atype, Flag);
end Set_Index_Constraint_Flag;
+ function Get_Hide_Implicit_Flag (Subprg : Iir) return Boolean is
+ begin
+ pragma Assert (Subprg /= Null_Iir);
+ pragma Assert (Has_Hide_Implicit_Flag (Get_Kind (Subprg)),
+ "no field Hide_Implicit_Flag");
+ return Get_Flag12 (Subprg);
+ end Get_Hide_Implicit_Flag;
+
+ procedure Set_Hide_Implicit_Flag (Subprg : Iir; Flag : Boolean) is
+ begin
+ pragma Assert (Subprg /= Null_Iir);
+ pragma Assert (Has_Hide_Implicit_Flag (Get_Kind (Subprg)),
+ "no field Hide_Implicit_Flag");
+ Set_Flag12 (Subprg, Flag);
+ end Set_Hide_Implicit_Flag;
+
function Get_Assertion_Condition (Target : Iir) return Iir is
begin
pragma Assert (Target /= Null_Iir);