C# (CSharp) ReSharper.ContractExtensions.ContextActions.Invariants InvariantActionExecutor Examples

Example #1

File: InvariantContextAction.cs Project: remyblok/ReSharperContractExtensions

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

            var executor = new InvariantActionExecutor(_invariantContract, _provider);
            executor.ExecuteTransaction();
        }

Example #2

File: InvariantContextAction.cs Project: deugeny/ReSharperContractExtensions

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

            var executor = new InvariantActionExecutor(_invariantContract, _provider);

            executor.ExecuteTransaction();
        }