C# (CSharp) ReSharper.ContractExtensions.ContextActions.Invariants InvariantAvailability Exemples

Exemple #1

Fichier : InvariantActionExecutor.cs Projet : 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);
        }

Exemple #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);
        }

Exemple #3

Fichier : InvariantContextAction.cs Projet : deugeny/ReSharperContractExtensions

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

Exemple #4

Fichier : InvariantContextAction.cs Projet : remyblok/ReSharperContractExtensions

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