C# (CSharp) ReSharper.ContractExtensions.ProblemAnalyzers.PreconditionAnalyzers.MalformContractAnalyzers MalformedContractErrorHighlightingの例

コード例 #1

ファイル: MalformedContractStatementQuickFix.cs プロジェクト: deugeny/ReSharperContractExtensions

        public MalformedContractStatementQuickFix(MalformedContractErrorHighlighting highlighting)
        {
            Contract.Requires(highlighting != null);

            _fix = MalformedContractStatementFix.TryCreate(highlighting.ValidationResult,
                                                           highlighting.ProcessedStatement);
            _validationResult  = highlighting.ValidationResult;
            _contractStatement = highlighting.ProcessedStatement;
        }

コード例 #2

ファイル: MalformedContractStatementQuickFix.cs プロジェクト: breki/ReSharperContractExtensions

        public MalformedContractStatementQuickFix(MalformedContractErrorHighlighting highlighting)
        {
            Contract.Requires(highlighting != null);

            _fix = MalformedContractStatementFix.TryCreate(highlighting.ValidationResult,
                highlighting.ProcessedStatement);
            _validationResult = highlighting.ValidationResult;
            _contractStatement = highlighting.ProcessedStatement;
        }