code-contracts

0зной

1ответ

C# Code Contracts: Операции с массивами

Для университета я должен научиться разбираться с Code Contracts на C#. Я хочу использовать его для этого метода, который должен вернуть наименьший элемент в массиве: public int minarray(int[] minarra

c# arrays code-contracts 2015-06-29

---

2зной

1ответ

Кодовые контракты. Номер ошибки для «всегда имеет значение постоянного значения» предупреждение

ложного предупреждения в этом коде: return (Patient as IHrsHolder) ?? (Course as IHrsHolder) ?? Appointment; Я хочу, чтобы подавить предупреждение, так что мне нужен номер ошибки. Но не любое число

c# code-contracts 2015-05-20

---

3зной

1ответ

CodeContracts ложно флаги отсутствуют предпосылки, что существует уже в базовом конструкторе

Скажем, у меня есть следующая иерархия классов: public class FooBase { private readonly object _obj; protected FooBase(object obj) { Contract.Requires(obj != null); _obj =

c# code-contracts constructor-chaining 2015-05-27

---

0зной

1ответ

CodeContracts для определенного общего интерфейса

Я хотел бы использовать CodeContracts для проверки некоторых конкретных реализаций универсального интерфейса. я имел основной общий интерфейс public interface IEnityMap<in TSource,out TDest> { T

c# code-contracts generic-interface 2015-05-27

---

2зной

1ответ

CodeContracts не удается построить по какой-либо причине

У меня есть проект C# PCL, который использует кодовые контракты. Однако в TeamCity проект не удается построить, но похоже, что сборка была успешной локально. Однако журнал сборки утверждает, что сборк

c# .net msbuild code-contracts 2015-06-04

---

2зной

1ответ

ASP NET WebApp выходит из строя после публикации из-за кодовых контрактов

У меня есть ASP.NET WebApp, который использует кодовые контракты. Я публикую мое приложение к серверу и получить следующее исключение: сборочных (вероятно, «хххххй») должен быть переписан с использова

c# asp.net-web-api code-contracts 2015-07-31

---