Esempi in C# (CSharp) per IFrameworkLogOptions

Esempio n. 1

File: Output.cs Progetto: asvishnyakov/CodeContracts

        public TextWriterOutput(TextWriter tw, IFrameworkLogOptions options)
          : base(tw)
        {
            Contract.Requires(tw != null);
            Contract.Requires(options != null);

            this.options = options;
        }

Esempio n. 2

        public TextWriterOutput(TextWriter tw, IFrameworkLogOptions options)
            : base(tw)
        {
            Contract.Requires(tw != null);
            Contract.Requires(options != null);

            this.options = options;
        }

Esempio n. 3

File: Output.cs Progetto: asvishnyakov/CodeContracts

        public TextWriterOutputWithPrefix(TextWriter tw, IFrameworkLogOptions options, string prefix)
          : base(tw, options)
        {
            Contract.Requires(tw != null);
            Contract.Requires(options != null);
            Contract.Requires(prefix == null || !prefix.Contains("{"));

            this.prefix = prefix ?? "";
        }

Esempio n. 4

        public TextWriterOutputWithPrefix(TextWriter tw, IFrameworkLogOptions options, string prefix)
            : base(tw, options)
        {
            Contract.Requires(tw != null);
            Contract.Requires(options != null);
            Contract.Requires(prefix == null || !prefix.Contains("{"));

            this.prefix = prefix ?? "";
        }