public void Pop() { Contract.Assume(this.savedWarningLevel != null); this.warninglevel = this.savedWarningLevel.Pop(); #if DEBUG Console.WriteLine("Warning level restored to {0}", this.warninglevel); #endif }
public void Push(WarningLevelOptions level) { EnsureWarningLevel(); #if DEBUG Console.WriteLine("Changing the warning level to {0}", level); #endif this.savedWarningLevel.Push(this.warninglevel); this.warninglevel = level; }