konfigurowanie umów kodu w interfejsie

Question

Nie mogę skonfigurować umów kodowych w mojej klasie. Podążyłem za dokumentacją i przykładem, ale to nie działa.

chciałbym wstawić Code Contracts warunek do mojego interfejsu, oto mój kod

Interfejs

[ContractClass(typeof(ArticleBLLContract))] 
public interface IArticleBLL 
{ 
    int getArticleNSheet(string IdBox); 
    IEnumerable<IArticle> getArticleValue(string IdBox, string IdLanguage); 
} 

Umowa Klasa

[ContractClassFor(typeof(IArticleBLL))] 
public sealed class ArticleBLLContract : IArticleBLL 
{ 
    int IArticleBLL.getArticleNSheet(string IdBox) 
    { 
     Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox),"IdBox has no valid value");       

     return default(int); 
    } 

    IEnumerable<Base.Article.IArticle> IArticleBLL.getArticleValue(string IdBox, string IdLanguage) 
    { 
     Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox), "IdBox has no valid value"); 
     Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdLanguage), "IdLanguagehas no valid value"); 

     Contract.Ensures(Contract.Result<IEnumerable<Base.Article.IArticle>>() != null, "Return value is out of Range"); 

     return default(IEnumerable<Base.Article.IArticle>); 
    }   
} 

Klasa zastosować kontraktu

public class ArticleBLL : IArticleBLL 
{ 

    public int getArticlNSheet(string IdBox) 
    { 
     try 
     { 
      return _Dal... 
     } 
     catch (Exception ex) 
     { 
      throw ex; 
     } 
    } 

    public IEnumerable<IArticle> getArticleValue(string IdBox, string IdLanguage) 
    { 
     IEnumerable<IArticle> article = null; 

     try 
     { 
      article = _Dal... 

      return article; 

     } 
     catch (Exception ex) 
     { 
      throw ex; 
     } 
    } 
} 

Próbowałem wstawić przerwania w tym wierszu

Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox),"IdBox has no valid value"); 

ale kiedy wywołać metodę nigdy nie przechodzi tutaj To jest moja konfiguracja projekt

Czy coś się stało?

Dziękujemy!

Answer 1

Całkowita re-write, na podstawie uwag do tej pory

I utworzeniu projektu biblioteki klasy i umieścić interfejs i klasę zamówieniu tam. Ustawiłem go na "Standardowy wymóg umowy", sprawdzanie wstępne i końcowe w czasie pracy i budowanie referencyjnego zestawu kontraktów (ustawiłem identyczne opcje debugowania i wydania).

Mam już aplikację konsolową z klasą implementującą interfejs i ustawioną opcję "Standardowa umowa wymaga", sprawdzanie wstępne i pocztowe w czasie wykonywania (ponownie ustawić identycznie między debugowaniem i wydaniem).

Uruchamiając go w trybie debugowania lub zwolnienia, otrzymuję numer ArgumentOutOfRangeException podczas próby wywołania getArticleNSheet.

Z oczywistym wyjątkiem przejścia na "Kontrakt standardowy wymagany", co powyżej nie pasuje do bieżącej konfiguracji?

---

I w rzeczywistości wcześniej popełniłem błąd. Z "Standardową umową wymaga", jestem faktycznie w stanie trafić punkt przerwania w klasie umowy, podczas debugowania. Nie jestem pewien, w jaki sposób Wizardry jest w stanie to zrobić - ponieważ nie działa dosłownie w tej klasie kodu - o czym świadczy fakt, że można ponownie napisać metodę w klasie kontraktu jako:

int IArticleBLL.getArticleNSheet(string IdBox) 
    { 
     Contract.Requires<ArgumentOutOfRangeException>(!String.IsNullOrEmpty(IdBox), "IdBox has no valid value"); 

     throw new NotImplementedException(); 
    } 

Możesz umieścić punkt przerwania na linii Contract.Requires i wydaje się, że trafił (po ostrzeżeniu o niezgodności plików, prawdopodobnie z powodu ponownego nagrania). Ale zakładając, że przekazałeś niepustny ciąg, nie rzuca on wtedy NotImplementedException.

Answer 2

Tryb składania w konfiguracji powinien być "Standardowy wymóg umowy".