Lines Matching refs:Lev
175 pragma Assert (STJ.Lev > 1);
176 pragma Assert (Subps.Table (Ret).Lev = STJ.Lev - 1);
185 Lev : Nat; variable
188 Lev := 1;
192 return Lev;
195 Lev := Lev + 1;
549 Lev => L,
813 if SUBT.Lev < SUBF.Uplevel_Ref then
814 SUBF.Uplevel_Ref := SUBT.Lev;
908 if SUBT.Lev > SUBT.Uplevel_Ref
941 if SUBT.Uplevel_Ref < SUBT.Lev
945 and then SUBT.Lev < SUBF.Lev
983 if STJ.Uplevel_Ref < STJ.Lev then
1466 pragma Assert (STJR.Lev > STJE.Lev);
1495 for L in STJE.Lev .. STJR.Lev - 2 loop
1577 if STF.Lev = STT.Lev then
1585 elsif STT.Lev = STF.Lev + 1 then
1602 pragma Assert (STT.Lev < STF.Lev);
1606 for K in reverse STT.Lev .. STF.Lev - 1 loop