Lines Matching refs:Pred_Lo
248 Pred_Lo : Uint; variable
264 Pred_Lo := Expr_Value (Low_Bound (Pred));
291 elsif Choice_Lo = Pred_Lo and then Choice_Hi = Pred_Hi then
303 elsif Choice_Lo < Pred_Lo and then Choice_Hi < Pred_Lo then
311 elsif Choice_Lo < Pred_Lo
312 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Hi)
314 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
321 elsif Pred_Lo < Choice_Lo and then Pred_Hi < Choice_Lo then
329 Missing_Choice (Pred_Lo, Pred_Hi);
349 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Lo)
379 elsif Choice_Lo < Pred_Lo and then Pred_Hi < Choice_Hi then
380 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
408 elsif Pred_Lo = Choice_Lo then
416 else pragma Assert (Pred_Lo < Choice_Lo);
431 elsif Prev_Hi < Pred_Lo then
432 Missing_Choice (Pred_Lo, Choice_Lo - 1);