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

            var addRequiresExecutor = new AddRequiresExecutor(_provider, _requiresShouldBeGeneric,
                contractFunction, _availability.ParameterName, _availability.ParameterType);
            addRequiresExecutor.ExecuteTransaction();
        }
        private void AddRequiresTo([NotNull] ICSharpFunctionDeclaration contractFunction)
        {
            Contract.Requires(contractFunction != null);

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

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

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

            executor.ExecuteTransaction();
        }
Exemplo n.º 4
0
        protected override void ExecuteTransaction()
        {
            Contract.Assert(_argumentRequiresAvailability.IsAvailable);

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

            executor.ExecuteTransaction();
        }