contract

0зной

2ответ

Нарушение контракта на замену структуры/класса на интерфейс?

public interface IVector<TScalar> { void Add(ref IVector<TScalar> addend); } public struct Vector3f : IVector<float> { public void Add(ref Vector3f addend); } Compiler Ответ: "Vector3f

c# class interface substitution contract 2012-01-06

---

6зной

4ответ

Как я могу заключить контракт в рамках структуры

Я бы хотел, чтобы структура всегда была действительной в отношении определенного контракта, выполняемого конструктором. Однако контракт нарушается оператором default. Рассмотрим, например, следующее:

c# struct contract 2011-11-27

---

2зной

2ответ

C# Code Contracts build time - как его улучшить?

Как определить, какие доказательства являются наиболее трудоемкими, чтобы помочь верификатору вместе с Assert? Есть ли способ, который лучше, чем угадать и проверить?

c# code-contracts contract 2012-01-18

---

0зной

3ответ

Определение того, заказывается ли Java Iterable по контракту

Я ищу способ определить, будет ли заказ (или, возможно, даже любой Итерабельный) заказываться по его контракту класса. Я уже знаю метод Guava: Ordering.natural().isOrdered(myCollection) Но этот метод

java collections contract sorted 2012-03-09

---