code-contracts

19Ciepło

3Odpowiedz

Jaka jest najlepsza alternatywa dla kontraktów Code w Visual Studio 2015?

Szukam sprawdzania parametrów metod w moim kodzie, w możliwie najbardziej elegancki sposób. Kontrakty Code wydają się nie działać w 2015 roku. Czy ktoś korzysta z jakichkolwiek alternatyw?

12Ciepło

1Odpowiedz

Dlaczego analiza statyczna ignoruje podwójne <= and > = wymaganie?

Mam bardzo prostą klasę wykorzystania umów kodu .NET: public class ContractSquareRoot { /// <summary> /// Makes your life much easier by calling Math.Sqrt for you. Ain't that peachy. /

5Ciepło

2Odpowiedz

CodeContracts „niezbędne” zrozumienie

Próbowałem poniższy kod, żeby umożliwić jakieś not null Sprawdzanie pobranych podmiotów, aby zapewnić ich istnieć przed jakiejś konkretny biznes: protected T GetRequired<T>(object id) where T : E

7Ciepło

2Odpowiedz

Umowy dotyczące kodu - czy należy sprawdzać metody prywatne pod względem warunków wstępnych i końcowych?

Próbuję przyspieszyć działanie umów kodowych. Podoba mi się ta koncepcja, ale w praktyce nie widzę wartości dodawania kontraktu. Wymogi dotyczące wielu prywatnych metod, z których niektóre są tylko li

5Ciepło

1Odpowiedz

Kontrakt. Wariant nie jest sprawdzany przez weryfikatora statycznego.

Eksperymentuję z kontrakcją kodu i napotkałem jeden problem. Mam klasa: public class SpecialPoint { public int X { get; set; } public int Y { get; set; } public SpecialPoint(int x, in

5Ciepło

1Odpowiedz

Code Contracts sprawdzanie statyczne pozornie nieświadome umowy. Zalety ReadOnlyCollection <T> konstruktor

Niedawno zainstalowałem narzędzia Code Contracts Tools (Code Contracts dla .NET) i Code Contracts Editor Extensions VS2012, i mam problem z uruchomieniem statycznego kontrolera prawidłowo. Kiedy biegn

7Ciepło

2Odpowiedz

VS2013 z ReSharper 8.2 nie rozpoznaje umowy kodu?

Mam następujące oprogramowanie: Visual Studio 2013 Update 2 Kontrakty Code (1.6.60617.15) ReSharper C# Edition (8.2.0.2160) Kontrakty Kod ReSharper (1.0.0.0) Kiedy otwieram metodę z umów kodowych ReSh

12Ciepło

1Odpowiedz

Automatyczna dokumentacja/generowanie kontraktów dla Pub/Sub RabbitMQ

W świecie REST mamy coś w rodzaju specyfikacji Swagger, która w pełni opisuje kontrakt na granicy interfejsu REST (między klientem a serwerem). Te specyfikacje Swagger mogą być używane do automatyczne

11Ciepło

1Odpowiedz

CodeContracts: Warunek logiczny jest wartością stałą, dlaczego?

Dostaję to ostrzeżenie, ale nie można dowiedzieć się problem ... CodeContracts: ostrzeżenie: Boolean stan d1.Count = d2.Count zawsze ma wartość stałą wartość. Jeśli to (lub jego negacja) pojawiają się

15Ciepło

2Odpowiedz

Jak (całkowicie) odinstalować rozszerzenie Code Contracts Tool?

Próbuję pozbyć się rozszerzenia Code Contracts Tools w moim systemie. Usunąłem go z "programów i funkcjonalności", ale nadal jest on instalowany w Visual Studio. Każda pomoc zostanie doceniona.