479                 while(!source.Empty && cakeBase.Contains(source.Current))  in CopyCake()
492                 while(!source.Empty)  in CopyRest()
550                 if(newSymbols.Empty)  in AddSymbolWithHashing()
616                 while(!oldSymbols.Empty && !newSymbols.Empty)  in MergeInSymbolArray()
619 …  while(!oldSymbols.Empty && !newSymbols.Empty && !oldSymbols.Current.Overlaps(newSymbols.Current))  in MergeInSymbolArray()
632                     if(oldSymbols.Empty || newSymbols.Empty)  in MergeInSymbolArray()
642                     while(!oldSymbols.Empty && (  in MergeInSymbolArray()
655                 while(!oldSymbols.Empty)  in MergeInSymbolArray()
673                 bool Empty { get; }  property
706                 public bool Empty  property in Antmicro.Renode.Core.SymbolLookup.SortedIntervals.OldSymbolProvider
780                     if(tails.Count == 0 && symbols.Empty)  in UpdateCurrentSymbolAndType()
792                     if(symbols.Empty)  in UpdateCurrentSymbolAndType()
847                 public bool Empty { get { return !HasSymbolsLeft(); } }  property in Antmicro.Renode.Core.SymbolLookup.SortedIntervals.SymbolProvider