Lines Matching refs:Lev
159 Lev : Nat; variable
163 Lev := 1;
167 return Lev;
169 Lev := Lev + 1;
245 pragma Assert (STJ.Lev > 1);
246 pragma Assert (Subps.Table (Ret).Lev = STJ.Lev - 1);
643 Lev => L,
911 if SUBT.Lev < SUBF.Uplevel_Ref then
912 SUBF.Uplevel_Ref := SUBT.Lev;
1006 if SUBT.Lev > SUBT.Uplevel_Ref
1039 if SUBT.Uplevel_Ref < SUBT.Lev
1043 and then SUBT.Lev < SUBF.Lev
1081 if STJ.Uplevel_Ref < STJ.Lev then
1564 pragma Assert (STJR.Lev > STJE.Lev);
1593 for L in STJE.Lev .. STJR.Lev - 2 loop
1676 if STF.Lev = STT.Lev then
1684 elsif STT.Lev = STF.Lev + 1 then
1701 pragma Assert (STT.Lev < STF.Lev);
1705 for K in reverse STT.Lev .. STF.Lev - 1 loop