Exemplos de ReSharper.ContractExtensions.ContextActions.Invariants InvariantAvailability em C# (CSharp)

Exemplo n.º 1

Arquivo: InvariantActionExecutor.cs Projeto: 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);
        }

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

Exemplo n.º 3

Arquivo: InvariantContextAction.cs Projeto: deugeny/ReSharperContractExtensions

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

Exemplo n.º 4

Arquivo: InvariantContextAction.cs Projeto: remyblok/ReSharperContractExtensions

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