Exemplos de CodeContractWarningValidationResult em C# (CSharp)

Exemplo n.º 1

Arquivo: CodeContractWarningHighlighting.cs Projeto: remyblok/ReSharperContractExtensions

        internal CodeContractWarningHighlighting(CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);

            _warning = warning;
            _contractBlock = contractBlock;

            _toolTip = warning.GetErrorText();
        }

Exemplo n.º 2

Arquivo: CodeContractWarningHighlighting.cs Projeto: breki/ReSharperContractExtensions

        internal CodeContractWarningHighlighting(ICSharpStatement statement, CodeContractWarningValidationResult warning, ValidatedContractBlock contractBlock)
        {
            Contract.Requires(warning != null);
            Contract.Requires(contractBlock != null);
            Contract.Requires(statement != null);

            _warning = warning;
            _contractBlock = contractBlock;
            _range = statement.GetHighlightingRange();
            _toolTip = warning.GetErrorText();
        }