Lines Matching refs:In_Body
3092 procedure Check_Precondition_Postcondition (In_Body : out Boolean);
5055 procedure Check_Precondition_Postcondition (In_Body : out Boolean) is
5147 In_Body := False;
5178 In_Body := True;
5294 In_Body := True;
17933 In_Body : Boolean; variable
17944 Check_Precondition_Postcondition (In_Body);
17954 if Comes_From_Source (N) and then In_Body then
17995 In_Body : Boolean; variable
18002 Check_Precondition_Postcondition (In_Body);
18018 if In_Body then