Czy wdrażam ten prosty kontrakt nieprawidłowo?

Question

To jest mój kod:

public class RegularPolygon 
{ 
    public int VertexCount; 
    public double SideLength; 

    public RegularPolygon(int vertexCount, double sideLength) 
    { 
     Contract.Requires(vertexCount >= 3); 
     VertexCount = vertexCount; 
     SideLength = sideLength; 
    } 

    [ContractInvariantMethod] 
    private void RegularPolygonInvariants() 
    { 
     Contract.Invariant(VertexCount>=3); 
    } 

} 

Próbowałem zarówno z Contract.Requires i Contract.Invariant metod zapobiegających zmienną vertexCount z coraz mniejsza lub równa 2; jednak wciąż jestem w stanie zainicjować RegularPolygon z 2 lub mniej stronami. Mój (uproszczony) test NUnit wygląda następująco:

[TestFixture] 
class TestRegularPolygon 
{ 
    private RegularPolygon _polygon; 

    [SetUp] 
    public void Init() 
    { 
     _polygon = new RegularPolygon(1, 50); 
    } 

    [Test] 
    public void Constructor() 
    { 
     Assert.That(_polygon.VertexCount,Is.GreaterThanOrEqualTo(3)); 
    } 

} 

Powyższy test również mija i nie wiem dlaczego!

Na początku myślałem ReSharper mogło być brudząc coś ponieważ wyszarza linii i wyświetla ten komunikat gdy próbuję użyć metody w przestrzeni nazw Contract:

Metoda inwokacja jest pomijany. Kompilator nie wygeneruje wywołania metody, ponieważ metoda jest warunkowa lub jest metodą częściową bez implementacji.

Ale zawieszenie R # i uruchomienie testów w NUnit ma taki sam wynik, bez błędów i ostrzeżeń w VS. Zakładam, że dzieje się tak tylko dlatego, że ReSharper nie ma jeszcze zaznaczającej zgodności dla kontraktów kodu.

Przyjrzałem się dokumentacji i o ile wiem, nie powinienem mieć tego problemu.

Czy używam nieprawidłowych kontraktów kodu lub czy moje środowisko nie działa w jakiś sposób?

Dziękuję.

Answer 1

Pierwsza rzecz do sprawdzenia - czy rzeczywiście masz włączone sprawdzanie umowy? Jeśli nie, żadna z twoich umów nic nie da. To by wyjaśniało również ostrzeżenie R #. Sprawdź w "Właściwościach kompilacji" w "Właściwościach kompilacji" i zobacz, co mówi pod "Sprawdzanie w czasie wykonywania".

Zgodnie z uwagami, upewnij się, że masz CONTRACTS_FULL zdefiniowany jako symbol kompilacji - wydaje się, że R # tego wymaga.

Drugi punkt: masz pola zmienne publiczne, co oznacza, że ​​niezmienna mogą być naruszone w dowolnym momencie przez kogoś pisanie

polygon.VertexCount = 0; 

Proszę nie używać pól publicznych, zwłaszcza te, które nie do zapisania. :)