C# (CSharp) ICodeContractFixableIssueの例

コード例 #1

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

        private MalformedMethodContractQuickFix(ICodeContractFixableIssue highlighting)
        {
            Contract.Requires(highlighting != null);

            _malformedContractFix = MalformedContractFix.TryCreate(highlighting.ValidationResult, highlighting.ValidatedContractBlock);
        }

コード例 #2

ファイル: MalformedMethodContractQuickFix.cs プロジェクト: remyblok/ReSharperContractExtensions

        private MalformedMethodContractQuickFix(ICodeContractFixableIssue highlighting)
        {
            Contract.Requires(highlighting != null);

            _malformedContractFix = MalformedContractFix.TryCreate(highlighting.ValidationResult, highlighting.ValidatedContractBlock);
        }