aboutsummaryrefslogtreecommitdiffstats
path: root/sem_names.ads
diff options
context:
space:
mode:
authorgingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7>2006-10-02 04:33:36 +0000
committergingold <gingold@b72b5c32-5f01-0410-b925-b5c7b92870f7>2006-10-02 04:33:36 +0000
commita81f695b15865268fea6ee062a381ba8e43a02b4 (patch)
tree8bc86734eda054c31b705ceab4f4762e96422750 /sem_names.ads
parentf51d97cdfbb61a3c1b0456b32b5076d03ba5f8ac (diff)
downloadghdl-a81f695b15865268fea6ee062a381ba8e43a02b4.tar.gz
ghdl-a81f695b15865268fea6ee062a381ba8e43a02b4.tar.bz2
ghdl-a81f695b15865268fea6ee062a381ba8e43a02b4.zip
direct drivers and bugs fix
Diffstat (limited to 'sem_names.ads')
-rw-r--r--sem_names.ads38
1 files changed, 19 insertions, 19 deletions
diff --git a/sem_names.ads b/sem_names.ads
index eb50ec2de..b01920f46 100644
--- a/sem_names.ads
+++ b/sem_names.ads
@@ -40,6 +40,25 @@ package Sem_Names is
-- To be used only for names (weakly) semantized by sem_name_soft.
procedure Sem_Name_Clean (Name : Iir);
+ -- Return TRUE if NAME is a name that designate an object.
+ -- Only in this case, base_name is defined.
+ function Is_Object_Name (Name : Iir) return Boolean;
+
+ -- Return an object node if NAME designates an object (ie either is an
+ -- object or a name for an object).
+ -- Otherwise, returns NULL_IIR.
+ function Name_To_Object (Name : Iir) return Iir;
+
+ -- If NAME is a selected name whose prefix is a protected variable, set
+ -- method_object of CALL.
+ procedure Name_To_Method_Object (Call : Iir; Name : Iir);
+
+ -- Convert name EXPR to an expression (ie, can create function call).
+ -- A_TYPE is the expected type of the expression.
+ -- FIXME: it is unclear wether the result must be an expression or not
+ -- (ie, it *must* have a type, but may be a range).
+ function Name_To_Expression (Name : Iir; A_Type : Iir) return Iir;
+
-- Return true if AN_IIR is an overload list.
function Is_Overload_List (An_Iir: Iir) return Boolean;
pragma Inline (Is_Overload_List);
@@ -61,16 +80,6 @@ package Sem_Names is
-- Return TRUE iff TYPE1 and TYPE2 are closely related.
function Are_Types_Closely_Related (Type1, Type2 : Iir) return Boolean;
- -- If NAME is a selected name whose prefix is a protected variable, set
- -- method_object of CALL.
- procedure Name_To_Method_Object (Call : Iir; Name : Iir);
-
- -- Convert name EXPR to an expression (ie, can create function call).
- -- A_TYPE is the expected type of the expression.
- -- FIXME: it is unclear wether the result must be an expression or not
- -- (ie, it *must* have a type, but may be a range).
- function Name_To_Expression (Name : Iir; A_Type : Iir) return Iir;
-
-- From the list LIST of function or enumeration literal, extract the
-- list of (return) types.
-- If there is only one type, return it.
@@ -81,15 +90,6 @@ package Sem_Names is
function Sem_Index_Specification (Name : Iir_Parenthesis_Name; Itype : Iir)
return Iir;
- -- Return TRUE if NAME is a name that designate an object.
- -- Only in this case, base_name is defined.
- function Is_Object_Name (Name : Iir) return Boolean;
-
- -- Return an object node if NAME designates an object (ie either is an
- -- object or a name for an object).
- -- Otherwise, returns NULL_IIR.
- function Name_To_Object (Name : Iir) return Iir;
-
-- Kind of declaration to find.
-- Decl_entity: an entity declaration (used for binding_indication).
-- Decl_Any : no checks is performed.