Lines Matching refs:Pred_Lo
257 Pred_Lo : Uint; variable
273 Pred_Lo := Expr_Value (Low_Bound (Pred));
298 elsif Choice_Lo = Pred_Lo and then Choice_Hi = Pred_Hi then
310 elsif Choice_Lo < Pred_Lo and then Choice_Hi < Pred_Lo then
318 elsif Choice_Lo < Pred_Lo
319 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Hi)
321 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
328 elsif Pred_Lo < Choice_Lo and then Pred_Hi < Choice_Lo then
336 Missing_Choice (Pred_Lo, Pred_Hi);
356 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Lo)
386 elsif Choice_Lo < Pred_Lo and then Pred_Hi < Choice_Hi then
387 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
415 elsif Pred_Lo = Choice_Lo then
423 else pragma Assert (Pred_Lo < Choice_Lo);
438 elsif Prev_Hi < Pred_Lo then
439 Missing_Choice (Pred_Lo, Choice_Lo - 1);