Exemplos de WarningLevelOptions em C# (CSharp)

Exemplo n.º 1

Arquivo: Options.cs Projeto: asvishnyakov/CodeContracts

    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

    }

Exemplo n.º 2

Arquivo: Options.cs Projeto: asvishnyakov/CodeContracts

    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;
    }