Lines Matching defs:Inline_Instance_Body
686 procedure Inline_Instance_Body subprogspec
4379 procedure Inline_Instance_Body subprogram
4384 Curr_Comp : constant Node_Id := Cunit (Current_Sem_Unit);
4385 Curr_Unit : constant Entity_Id := Cunit_Entity (Current_Sem_Unit);
4386 Gen_Comp : constant Entity_Id :=
4389 Save_SM : constant SPARK_Mode_Type := SPARK_Mode;
4390 Save_SMP : constant Node_Id := SPARK_Mode_Pragma;
4395 Scope_Stack_Depth : constant Int :=
4398 Use_Clauses : array (1 .. Scope_Stack_Depth) of Node_Id;
4399 Instances : array (1 .. Scope_Stack_Depth) of Entity_Id;
4400 Inner_Scopes : array (1 .. Scope_Stack_Depth) of Entity_Id;
4401 Curr_Scope : Entity_Id := Empty;
4402 List : Elist_Id;
4403 Num_Inner : Int := 0;
4404 Num_Scopes : Int := 0;
4405 N_Instances : Int := 0;
4406 Removed : Boolean := False;
4407 S : Entity_Id;
4408 Vis : Boolean;