Lines Matching refs:E_Formal
1219 E_Formal : Entity_Id; variable
1499 if Is_Access_Type (E_Formal)
1509 if Type_Access_Level (E_Formal) >
1534 Type_Access_Level (E_Formal))));
1860 E_Formal := Etype (Formal);
1865 if From_Limited_With (E_Formal)
1866 and then Has_Non_Limited_View (E_Formal)
1868 E_Formal := Non_Limited_View (E_Formal);
1871 if Is_Scalar_Type (E_Formal)
1917 Apply_Constraint_Check (Actual, E_Formal);
1922 elsif Is_Access_Type (E_Formal) then
1927 elsif Has_Discriminants (Base_Type (E_Formal))
1928 or else Has_Non_Null_Base_Init_Proc (E_Formal)
1930 Apply_Constraint_Check (Actual, E_Formal);
1935 Apply_Constraint_Check (Actual, Base_Type (E_Formal));
1944 if Is_Array_Type (E_Formal)
1947 if Is_Constrained (E_Formal) then
1948 Apply_Length_Check (Expression (Actual), E_Formal);
1950 Apply_Range_Check (Expression (Actual), E_Formal);
1975 (Is_Numeric_Type (E_Formal)
1976 or else Is_Access_Type (E_Formal)
1977 or else Is_Enumeration_Type (E_Formal)
2029 elsif Is_Access_Type (E_Formal)
2030 and then not Same_Type (E_Formal, E_Actual)
2031 and then not Is_Tagged_Type (Designated_Type (E_Formal))
2048 and then not Is_Volatile (E_Formal)
2065 elsif Is_Scalar_Type (E_Formal)
2067 (not In_Subrange_Of (E_Formal, E_Actual)
2070 and then not In_Subrange_Of (E_Actual, E_Formal)))