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(); }