C# (CSharp) EnsuresExecutor 예제들

예제 #1

파일: EnsuresContextAction.cs 프로젝트: deugeny/ReSharperContractExtensions

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

            var executor = EnsuresExecutor.CreateNotNullEnsuresExecutor(_provider, _ensuresAvailability.SelectedFunction);

            executor.ExecuteTransaction();
        }

예제 #2

        protected override void ExecuteTransaction()
        {
            var executor = EnsuresExecutor.CreateEnumIsValidEnsuresExecutor(_provider, _availability.SelectedFunction);

            executor.ExecuteTransaction();
        }