-- When constraining a protected type or task type with discriminants,
-- constrain the corresponding record with the same discriminant values.
- procedure Constrain_Decimal (Def_Id : Node_Id; S : Node_Id);
+ procedure Constrain_Decimal (Def_Id : Entity_Id; S : Node_Id);
-- Constrain a decimal fixed point type with a digits constraint and/or a
-- range constraint, and build E_Decimal_Fixed_Point_Subtype entity.
-- Constrain_Concurrent. See Build_Discriminated_Subtype for an explanation
-- of For_Access.
- procedure Constrain_Enumeration (Def_Id : Node_Id; S : Node_Id);
+ procedure Constrain_Enumeration (Def_Id : Entity_Id; S : Node_Id);
-- Constrain an enumeration type with a range constraint. This is identical
-- to Constrain_Integer, but for the Ekind of the resulting subtype.
- procedure Constrain_Float (Def_Id : Node_Id; S : Node_Id);
+ procedure Constrain_Float (Def_Id : Entity_Id; S : Node_Id);
-- Constrain a floating point type with either a digits constraint
-- and/or a range constraint, building a E_Floating_Point_Subtype.
-- array. The Related_Id and Suffix parameters are used to build the
-- associated Implicit type name.
- procedure Constrain_Integer (Def_Id : Node_Id; S : Node_Id);
+ procedure Constrain_Integer (Def_Id : Entity_Id; S : Node_Id);
-- Build subtype of a signed or modular integer type
- procedure Constrain_Ordinary_Fixed (Def_Id : Node_Id; S : Node_Id);
+ procedure Constrain_Ordinary_Fixed (Def_Id : Entity_Id; S : Node_Id);
-- Constrain an ordinary fixed point type with a range constraint, and
-- build an E_Ordinary_Fixed_Point_Subtype entity.
-- Constrain_Decimal --
-----------------------
- procedure Constrain_Decimal (Def_Id : Node_Id; S : Node_Id) is
+ procedure Constrain_Decimal (Def_Id : Entity_Id; S : Node_Id) is
T : constant Entity_Id := Entity (Subtype_Mark (S));
C : constant Node_Id := Constraint (S);
Loc : constant Source_Ptr := Sloc (C);
-- Constrain_Enumeration --
---------------------------
- procedure Constrain_Enumeration (Def_Id : Node_Id; S : Node_Id) is
+ procedure Constrain_Enumeration (Def_Id : Entity_Id; S : Node_Id) is
T : constant Entity_Id := Entity (Subtype_Mark (S));
C : constant Node_Id := Constraint (S);
-- Constrain_Float --
----------------------
- procedure Constrain_Float (Def_Id : Node_Id; S : Node_Id) is
+ procedure Constrain_Float (Def_Id : Entity_Id; S : Node_Id) is
T : constant Entity_Id := Entity (Subtype_Mark (S));
C : Node_Id;
D : Node_Id;
-- Constrain_Integer --
-----------------------
- procedure Constrain_Integer (Def_Id : Node_Id; S : Node_Id) is
+ procedure Constrain_Integer (Def_Id : Entity_Id; S : Node_Id) is
T : constant Entity_Id := Entity (Subtype_Mark (S));
C : constant Node_Id := Constraint (S);
-- Constrain_Ordinary_Fixed --
------------------------------
- procedure Constrain_Ordinary_Fixed (Def_Id : Node_Id; S : Node_Id) is
+ procedure Constrain_Ordinary_Fixed (Def_Id : Entity_Id; S : Node_Id) is
T : constant Entity_Id := Entity (Subtype_Mark (S));
C : Node_Id;
D : Node_Id;