Как создать класс контракта для класса с требуемыми аргументами конструктора?

#c# #.net #code-contracts #c# #.net #код-контракты Вопрос: У меня есть абстрактный класс, конструктору которого требуется параметр. Параметр не может быть нулевым. // the abstract class [ContractClass(typeof(AbstractClassContract))] public abstract class AbstractClass…