Мне нужно знать, может ли переопределенная функция в Eiffel определять свои собственные утверждения

Я пытаюсь реализовать решение проблемы «производитель-потребитель» с помощью Eiffel.У меня есть...

Я знаю, что и Eiffel (прародитель), и Racket для реализации функций "Проектирование по контракту"....

Как создать регулярное выражение для определенной строки? И можете ли вы сделать это в Утверждении...

Привет, У меня есть большая часть программного обеспечения, разработанного на Eiffel. Можно...

Hoi, множественное наследование в eiffel действительно смутило меня, кто-нибудь может сказать,...

В Eiffel сказано, что мы должны «ослабить предварительные условия и ужесточить постусловия», но я...

Существует ли какая-либо библиотека, которая позволяет мне легко и удобно создавать...

Я хотел бы написать метод приведения в Eiffel, который принимает «тип для приведения» в качестве...

Простой Как получить список файлов, находящихся в каталоге, используя eiffel?

На eiffel как сделать так, чтобы число. 118.1999999999999 печатает до: 118.20 На другом языке это...

Я присоединяюсь к проекту Eiffel с ужасно устаревшим дизайном GUI. GUI построен с EiffelVision2, и...

EiffelBuild - графический инструмент для создания графического интерфейса ISE, посвященный Eiffel....

Мне доставило «удовольствие» учить Эйфелу в колледже не кто иной, как сам Бертран Мейер, и просто...