C# (CSharp) EnsuresType Examples

Example #1

File: EnsuresExecutor.cs Project: remyblok/ReSharperContractExtensions

        private Func<ICSharpFunctionDeclaration, ICSharpStatement> CreateEnsuresFactoryMethod(EnsuresType ensuresType)
        {
            if (ensuresType == EnsuresType.NullCheck)
                return CreateResultNotNullEnsures;

            return CreateEnumResultIsDefinedEnsures;
        }

Example #2

File: EnsuresExecutor.cs Project: remyblok/ReSharperContractExtensions

        private EnsuresExecutor(ICSharpContextActionDataProvider provider, ICSharpFunctionDeclaration selectedFunction,
            EnsuresType ensuresType)
            : base(provider)
        {
            Contract.Requires(provider != null);
            Contract.Requires(selectedFunction != null);
            Contract.Requires(Enum.IsDefined(typeof (EnsuresType), ensuresType));

            _selectedFunction = selectedFunction;
            _ensuresFactoryMethod = CreateEnsuresFactoryMethod(ensuresType);
        }

Example #3

File: EnsuresExecutor.cs Project: deugeny/ReSharperContractExtensions

        private EnsuresExecutor(ICSharpContextActionDataProvider provider, ICSharpFunctionDeclaration selectedFunction,
                                EnsuresType ensuresType)
            : base(provider)
        {
            Contract.Requires(provider != null);
            Contract.Requires(selectedFunction != null);
            Contract.Requires(Enum.IsDefined(typeof(EnsuresType), ensuresType));

            _selectedFunction     = selectedFunction;
            _ensuresFactoryMethod = CreateEnsuresFactoryMethod(ensuresType);
        }

Example #4

File: EnsuresExecutor.cs Project: deugeny/ReSharperContractExtensions

        private Func <ICSharpFunctionDeclaration, ICSharpStatement> CreateEnsuresFactoryMethod(EnsuresType ensuresType)
        {
            if (ensuresType == EnsuresType.NullCheck)
            {
                return(CreateResultNotNullEnsures);
            }

            return(CreateEnumResultIsDefinedEnsures);
        }