Esempi in C# (CSharp) per ReSharper.ContractExtensions.ContextActions.Invariants InvariantAvailability

Esempio n. 1

File: InvariantActionExecutor.cs Progetto: remyblok/ReSharperContractExtensions

        public InvariantActionExecutor(InvariantAvailability invariantAvailability,
            ICSharpContextActionDataProvider provider)
            : base(provider)
        {
            Contract.Requires(invariantAvailability != null);
            Contract.Requires(provider != null);
            Contract.Requires(invariantAvailability.IsAvailable);

            _invariantAvailability = invariantAvailability;
            _provider = provider;
            // TODO: look at this class CSharpStatementNavigator

            _classDeclaration = provider.GetSelectedElement<IClassLikeDeclaration>(true, true);
            
            Contract.Assert(provider.SelectedElement != null);
        }

Esempio n. 2

        public InvariantActionExecutor(InvariantAvailability invariantAvailability,
                                       ICSharpContextActionDataProvider provider)
            : base(provider)
        {
            Contract.Requires(invariantAvailability != null);
            Contract.Requires(provider != null);
            Contract.Requires(invariantAvailability.IsAvailable);

            _invariantAvailability = invariantAvailability;
            _provider = provider;
            // TODO: look at this class CSharpStatementNavigator

            _classDeclaration = provider.GetSelectedElement <IClassLikeDeclaration>(true, true);

            Contract.Assert(provider.SelectedElement != null);
        }

Esempio n. 3

File: InvariantContextAction.cs Progetto: deugeny/ReSharperContractExtensions

 protected override bool DoIsAvailable()
 {
     _invariantContract = InvariantAvailability.Create(_provider);
     return(_invariantContract.IsAvailable);
 }

Esempio n. 4

File: InvariantContextAction.cs Progetto: remyblok/ReSharperContractExtensions

 protected override bool DoIsAvailable()
 {
     _invariantContract = InvariantAvailability.Create(_provider);
     return _invariantContract.IsAvailable;
 }