Lines Matching refs:In_Body
655 procedure Check_Precondition_Postcondition (In_Body : out Boolean);
2140 procedure Check_Precondition_Postcondition (In_Body : out Boolean) is
2228 In_Body := False;
2264 In_Body := True;
2348 In_Body := True;
13542 In_Body : Boolean; variable
13553 Check_Precondition_Postcondition (In_Body);
13563 if Comes_From_Source (N) and then In_Body then
13576 In_Body : Boolean; variable
13583 Check_Precondition_Postcondition (In_Body);
13591 if In_Body then