--| +=========================================================================+
--| |                                                                         |
--| | REGION_SCAN.REGION_SCAN_INTERNAL.SCAN_IF_STATEMENT_ARM_LIST (body)      |
--| |                                                                         |
--| | Greg Janee                                                              |
--| | General Research Corporation                                            |
--| |                                                                         |
--| +=========================================================================+

separate (Region_Scan.Region_Scan_Internal)
procedure Scan_If_Statement_Arm_List (The_List : in Asis.If_Statement_Arm_List; 
				      The_Context : in out Context) is

    Cuid : constant String := 
       "Region_Scan.Region_Scan_Internal.Scan_If_Statement_Arm_List";
    Puid : constant String := "Scan_If_Statement_Arm_List";

    The_Arm : Asis.If_Statement_Arm;

begin

    for I in The_List'Range loop
	The_Arm := The_List (I);
	Region_Scan_Internal.Scan_If_Statement_Arm (The_Arm, The_Context);
    end loop;

end Scan_If_Statement_Arm_List;