Exemple #1
0
 public void MaybeReplaceHighestIdentifier(Identifier potentialHighestIdentifier)
 {
     if (potentialHighestIdentifier >= HighestFreeIdentifier)
     {
         HighestFreeIdentifier = potentialHighestIdentifier.NextIdentifier();
     }
 }
Exemple #2
0
        public Identifier GetNextIdentifier(bool increment = false)
        {
            var ident = HighestFreeIdentifier;

            if (increment)
            {
                HighestFreeIdentifier = HighestFreeIdentifier.NextIdentifier();
            }
            return(ident);
        }