Вопросы по теме 'code-contracts'
Какой двоичный переписчик используется для реализации кодовых контрактов Microsoft?
Я говорю о тех кодовых контрактах , которые в конечном итоге попадут в .NET. 4.0. Какой двоичный переписчик они используют для внедрения кода, который заставляет все это работать, и является ли он общедоступным? Я надеюсь, что дело не только в...
702 просмотров
schedule
15.02.2023
На самом деле пытаюсь полюбить CodeContracts на C #
Я наконец-то пытаюсь догнать все новое, что было добавлено в .NET 3.5 / 4.0 Frameworks. Последние несколько дней я работаю с CodeContracts и очень стараюсь понравиться им. Мне любопытно, что другие люди думают о реализации CodeContracts на C #? В...
13296 просмотров
schedule
13.04.2022
Есть ли причина не использовать проверку контрактов во время выполнения с контрактами кода?
Недавно я слушал выступление Кевина Хаззарда о Code Contracts в .Net Rocks show 570 ( http://devjourney.com/community/dotnet-rocks-show-570-with-kevin-hazzard/ ). Он упоминает включение проверки контрактов во время выполнения как вариант, который...
530 просмотров
schedule
08.11.2023
Класс контракта должен быть абстрактным классом
Следующий код дает мне предупреждение Contract class 'FooContracts' should be an abstract class . Из всех примеров, которые я прочитал в Интернете (например, http://www.infoq.com/articles/code-contracts-csharp ), это должно работать...
1844 просмотров
schedule
12.02.2023
Создание контрактов кода для устаревшей библиотеки
Конечная цель - указать контракты для класса, который находится во внешней сборке, над которой у меня нет контроля (т.е. я не могу просто добавлять контракты к этому классу напрямую).
Что я пробовал до сих пор:
ContractClassFor атрибут. Не...
772 просмотров
schedule
20.07.2022
Почему вкладка Code Contracts не отображается в VS 2010?
На днях я увидел демонстрацию Code Contracts и решил попробовать ее в небольшом тестовом проекте.
Я могу правильно настроить свой код Code Contracts после добавления в классы инструкции «using System.Diagnostics.Contracts», но контракты, похоже, не...
892 просмотров
schedule
27.01.2023
Библиотеки контрактов кода JavaScript?
Я только запускаю новое веб-приложение и хочу реализовать некоторую форму проверки в стиле контракта в своем JavaScript. Я быстро погуглил и наткнулся на JsContact , но синтаксис не совсем то, что я имел в виду. Кто-нибудь знает о других...
2020 просмотров
schedule
08.07.2022
Плюсы и минусы различных методов тестирования предварительных условий?
Внезапно я могу придумать 4 способа проверки нулевых аргументов:
Debug.Assert(context != null);
Contract.Assert(context != null);
Contract.Requires(context != null);
if (context == null) throw new ArgumentNullException("context");
Я всегда...
3883 просмотров
schedule
24.08.2022
Кодовые контракты пытаются получить ошибки сборки вместо предупреждений
Я пытаюсь заставить VS2010 Ultimate с кодовыми контрактами генерировать ошибки вместо предупреждений.
У меня есть эта простая тестовая программа:
using System.Diagnostics.Contracts;
namespace MyError
{
public class Program
{
static...
549 просмотров
schedule
21.12.2022
Должны ли методы иметь те же предварительные условия, что и методы, которые они вызывают?
Недавно у меня было несколько сценариев, когда небольшие изменения в коде приводили к изменению предварительных условий для нескольких классов, и мне было интересно, должен ли дизайн по контракту быть таким или нет.
public Goal getNextGoal() {...
128 просмотров
schedule
31.05.2022
Контракты кода в C # и проверка нуля
В моем коде я часто так делаю:
myfunction (parameter p)
{
if(p == null)
return;
}
Как мне заменить это контрактом кода?
Мне интересно узнать, был ли передан нуль и был ли он обнаружен статической проверкой.
Я заинтересован в том,...
8704 просмотров
schedule
12.08.2022
Контракты кода модульного тестирования
Я просто играю с кодовыми контрактами в .Net 4.0 и, должно быть, упускаю что-то очевидное, поскольку они ведут себя не так, как я ожидал.
Я всегда использовал простой оператор if... then... throw для выполнения любой проверки в начале функции....
1864 просмотров
schedule
05.06.2022
Контракты кода в C# 4.0
Я сделал такой метод
class PersonCollection
{
[Contracts.CanReturnNull] //dont know if something like this exists?
IPerson GetPerson(Guid personId)
{
if (this.persons.Contains(personId))
return this.persons[personId];...
683 просмотров
schedule
24.05.2022
Кодовые контракты: гарантирует недоказанность и требует недоказанности
Я не уверен, что я делаю что-то не так, или это нужно исправить...
У меня есть пользовательский класс-оболочка Dictionary, и вот фрагмент необходимого кода.
public int Count
{
get
{
Contract.Ensures(Contract.Result<int>()...
1490 просмотров
schedule
12.12.2022
Контракт кода, который гарантирует, что все элементы в коллекции одинаковы
Как я могу создать пост-условие, гарантирующее, что все элементы в коллекции одинаковы?
Я думал об использовании это решение , но я не уверен, может ли это вызвать некоторые нежелательные побочные эффекты или это будет неправильное использование...
85 просмотров
schedule
07.04.2023
Следует ли использовать контракты с типизированным кодом для универсальных интерфейсов?
У меня есть общий интерфейс для математической библиотеки, примерно так:
[ContractClass(typeof(MathsDoubleContracts))]
public interface IMaths<T>
{
T SomeFunction(T n);
}
Это позволяет мне создавать IMaths<double> ,...
279 просмотров
schedule
22.02.2023
Конфликты контрактов кода Crystal Reports
У нас есть решение, созданное с использованием C# на .NET 4 с кодовыми контрактами. Мы надеемся использовать Crystal Reports 13, но столкнулись с серьезной проблемой.
Когда мы пытаемся использовать отчеты Crystal Reports, возникает следующее...
219 просмотров
schedule
10.05.2023
Как создать хорошее покрытие кода логики с плавающей запятой?
Я вручную создаю новый код. Я хотел бы убедиться, что я не оставлю камня на камне.
Есть ли что-то конкретное, что я могу сделать, кроме указания контрактов кода, чтобы направлять Pex, чтобы он обеспечивал хорошее покрытие в числовом коде?...
722 просмотров
schedule
09.03.2023
Контракты кода. Неправильно предупреждают о членах только для чтения?
Учитывая этот класс, я не уверен, почему я получаю предупреждение «Обеспечить недоказанный результат! = null».
public class MyClass {
private readonly string _value;
public MyClass(string value) {
Contract.Requires(value != null);...
236 просмотров
schedule
30.04.2023
Настройка сообщений об исключении контракта кода
У меня есть кодовый контракт, который выражается следующим образом: он подтверждает, что сохраняемый объект не является нулевым и действителен для сохранения. Оно работает. Потрясающе
[ContractClassFor(typeof(IRepository<,>))]
internal...
638 просмотров
schedule
18.12.2022
