Lines Matching refs:Pred_Lo
252 Pred_Lo : Uint; variable
268 Pred_Lo := Expr_Value (Low_Bound (Pred));
295 elsif Choice_Lo = Pred_Lo and then Choice_Hi = Pred_Hi then
307 elsif Choice_Lo < Pred_Lo and then Choice_Hi < Pred_Lo then
315 elsif Choice_Lo < Pred_Lo
316 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Hi)
318 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
325 elsif Pred_Lo < Choice_Lo and then Pred_Hi < Choice_Lo then
333 Missing_Choice (Pred_Lo, Pred_Hi);
353 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Lo)
383 elsif Choice_Lo < Pred_Lo and then Pred_Hi < Choice_Hi then
384 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
412 elsif Pred_Lo = Choice_Lo then
420 else pragma Assert (Pred_Lo < Choice_Lo);
435 elsif Prev_Hi < Pred_Lo then
436 Missing_Choice (Pred_Lo, Choice_Lo - 1);