Lines Matching defs:Inline_Instance_Body
686 procedure Inline_Instance_Body subprogspec
4774 procedure Inline_Instance_Body subprogram
4779 Curr_Comp : constant Node_Id := Cunit (Current_Sem_Unit);
4780 Curr_Unit : constant Entity_Id := Cunit_Entity (Current_Sem_Unit);
4781 Gen_Comp : constant Entity_Id :=
4784 Saved_SM : constant SPARK_Mode_Type := SPARK_Mode;
4785 Saved_SMP : constant Node_Id := SPARK_Mode_Pragma;
4790 Scope_Stack_Depth : constant Pos :=
4793 Inner_Scopes : array (1 .. Scope_Stack_Depth) of Entity_Id;
4794 Instances : array (1 .. Scope_Stack_Depth) of Entity_Id;
4795 Use_Clauses : array (1 .. Scope_Stack_Depth) of Node_Id;
4797 Curr_Scope : Entity_Id := Empty;
4798 List : Elist_Id := No_Elist; -- init to avoid warning
4799 N_Instances : Nat := 0;
4800 Num_Inner : Nat := 0;
4801 Num_Scopes : Nat := 0;
4802 Removed : Boolean := False;
4803 S : Entity_Id;
4804 Vis : Boolean;