C# (CSharp) ReSharper.ContractExtensions.ContextActions.Requires AddRequiresExecutorの例

コード例 #1

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

        private void AddRequiresTo([NotNull]ICSharpFunctionDeclaration contractFunction)
        {
            Contract.Requires(contractFunction != null);

            var addRequiresExecutor = new AddRequiresExecutor(_provider, _requiresShouldBeGeneric,
                contractFunction, _availability.ParameterName, _availability.ParameterType);
            addRequiresExecutor.ExecuteTransaction();
        }

コード例 #2

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

        private void AddRequiresTo([NotNull] ICSharpFunctionDeclaration contractFunction)
        {
            Contract.Requires(contractFunction != null);

            var addRequiresExecutor = new AddRequiresExecutor(_provider, _requiresShouldBeGeneric,
                                                              contractFunction, _availability.ParameterName, _availability.ParameterType);

            addRequiresExecutor.ExecuteTransaction();
        }

コード例 #3

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

        protected override void ExecuteTransaction()
        {
            Contract.Assert(_argumentRequiresAvailability.IsAvailable);

            var executor = new AddRequiresExecutor(_provider, _requiresShouldBeGeneric,
                _argumentRequiresAvailability.FunctionsToInsertPrecondition,
                _argumentRequiresAvailability.SelectedParameterName,
                _argumentRequiresAvailability.SelectedParameterType);

            executor.ExecuteTransaction();
        }

コード例 #4

        protected override void ExecuteTransaction()
        {
            Contract.Assert(_argumentRequiresAvailability.IsAvailable);

            var executor = new AddRequiresExecutor(_provider, _requiresShouldBeGeneric,
                                                   _argumentRequiresAvailability.FunctionsToInsertPrecondition,
                                                   _argumentRequiresAvailability.SelectedParameterName,
                                                   _argumentRequiresAvailability.SelectedParameterType);

            executor.ExecuteTransaction();
        }