Lines Matching refs:Pred_Lo
432 Pred_Lo : Uint; variable
448 Pred_Lo := Expr_Value (Low_Bound (Pred));
473 elsif Choice_Lo = Pred_Lo and then Choice_Hi = Pred_Hi then
485 elsif Choice_Lo < Pred_Lo and then Choice_Hi < Pred_Lo then
493 elsif Choice_Lo < Pred_Lo
494 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Hi)
496 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
503 elsif Pred_Lo < Choice_Lo and then Pred_Hi < Choice_Lo then
511 Missing_Choice (Pred_Lo, Pred_Hi);
531 and then Inside_Range (Pred_Lo, Pred_Hi, Choice_Lo)
561 elsif Choice_Lo < Pred_Lo and then Pred_Hi < Choice_Hi then
562 Illegal_Range (Loc, Choice_Lo, Pred_Lo - 1);
590 elsif Pred_Lo = Choice_Lo then
598 else pragma Assert (Pred_Lo < Choice_Lo);
613 elsif Prev_Hi < Pred_Lo then
614 Missing_Choice (Pred_Lo, Choice_Lo - 1);