Описание тега eiffel
Eiffel - это объектно-ориентированный язык программирования со статической типизацией, тесно связанный с одноименным методом программирования. Оба основаны на наборе принципов, таких как проектирование по контракту, разделение команд и запросов, унифицированный доступ и т. Д. Многие концепции, первоначально введенные Эйфелем, нашли свое отражение в C#, Java и других языках. Программа на Eiffel может быть скомпилирована без изменений практически для любой целевой платформы.
1
ответ
Неизвестная ошибка синтаксиса eiffel
Я новичок в программировании Eiffel, и я просто пытаюсь создать переменную, и я получаю ошибку, вот мой код: class APPL create make local v1:BOOLEAN v2:BOOLEAN v3:BOOLEAN do io.putstring ("test") end end Я продолжаю получать "синтаксическую ошибку" …
21 фев '15 в 20:59
2
ответа
Eiffel: недопустимое ограничение для формального универсального параметра
Следуя странным шаблонам для некоторых, я не могу сделать это? Компилятор говорит Invalid constraint for formal generic parameter class PARENT[G -> CHILD[like Current]] feature -- Access children: LIST[G] end class CHILD[H -> PARENT[like Curre…
19 окт '18 в 20:03
1
ответ
Как продлить обязательные условия функции в Eiffel?
У меня есть класс, который переопределяет функцию копирования из ANY, Я хотел бы добавить новое требование, но я получаю эту ошибку: Assertion in redeclaration uses just 'require' or 'ensure'. invalid precondition feature 'copy' Код: copy ( other : …
10 янв '17 в 18:36
1
ответ
LINKED_LIST индексирование от 0, а не от 1, возможно?
В eiffel индексирование обычно начинается с 1, а не с 0. У меня есть следующие 2 атрибута: arr: ARRAY[A] link: LINKED_LIST[B] Для массива я могу сделать так, чтобы его индексация начиналась с 0, например, следующим образом: arr.force (value, arr.cou…
31 окт '17 в 23:28
2
ответа
Eiffel: есть ли способ указать различные типы для параметра
Есть ли способ ограничить соответствие типа как коллекции типов? Позвольте мне объяснить на примере: give_foo (garbage: ANY): STRING do if attached {STRING} garbage as l_s then Result := l_s elseif attached {INTEGER} garbage as l_int then Result := …
11 окт '18 в 12:24
1
ответ
Обеспечить оговорку в Эйфелевой
Я выполняю задание в Eiffel, и у меня возникают проблемы с реализацией моего пункта обеспечения. Есть ли какой-то особый синтаксис, который нужно включить в переменную или функцию? Это мой код на данный момент для моей функции "положить" put(key: K;…
26 май '13 в 03:14
1
ответ
Количество доступных процессоров, использующих Eiffel
Я играю с Eiffels SCOOP. В моей программе куча рабочих работает параллельно. Я хочу создать столько рабочих, сколько доступно мне процессоров. Есть ли и "легкий" способ в Eiffel узнать количество доступных процессоров?
15 ноя '12 в 14:18
1
ответ
Инициализация массива в Eiffel
class MAP[G] create make feature --attributes g_array: ARRAY[G] size:INTEGER feature{NONE} make do g_array.make_empty size:=0 end class MAP_TESTING m: MAP[INTEGER] create m.make print(m.size) Первый класс состоит из массива и его размера. Когда я пы…
22 фев '14 в 21:54
1
ответ
Докажите два алгоритма идентичны
Я должен показать, что два алгоритма выполняют одинаковые операторы в одинаковом порядке. Один является хвостовой рекурсивной версией другого. Они написаны на Эйфелевой. tail_rec(x:instance_type):result_type is local y:instance_type; do if b(x) then…
08 мар '15 в 19:30
2
ответа
Обеспечить предложение в Eiffel относительно синтаксиса
find(c: CHARACTER; position: INTEGER): INTEGER Эта функция находит персонажа, начиная с позиции i и выполняя поиск. Как только он находит индекс, он выводит его. Однако если в слове такого символа нет, выводится 0 Вопрос: постусловие должно утвержд…
11 янв '16 в 23:15
2
ответа
Eiffel Contracts сомнения
Я работаю над программным обеспечением для планирования, написанным на языке Eiffel, я создал следующий код, но я не совсем уверен, какой тип пост-условий и / или предварительных условий должен быть указан для процедур этого класса. Если бы вы могли…
14 июн '16 в 15:25
2
ответа
Каковы недостатки создания веб-сайта исключительно в Eiffel с использованием EWF (Eiffel Web Framework)?
Мы стремимся создать веб-сайт поверх существующего ядра бизнес-уровня Eiffel, которое размещается над базой данных MS SQL Server. В настоящее время я рассматриваю преимущества и недостатки написания веб-и мобильных уровней либо просто на Eiffel, либ…
19 мар '15 в 14:58
1
ответ
Как использовать функции Eiffel?
Так что я только начинаю изучать Эйфелеву. Одно из первых упражнений в книге, которое я использую, говорит о создании функции, которая использует ^exp без использования ^. Я скопировал мой код ниже. class APPLICATION inherit ARGUMENTS create make fe…
17 июл '15 в 17:28
1
ответ
Эйфелева: есть ли способ запретить использование какого-либо особенно унаследованного метода создания?
Как default_create всегда является примером метода создания, который может быть использован для создания экземпляра как create some_instance если я не хочу позволить потомкам класса использовать его как метод создания, есть ли способ сделать это? de…
30 окт '18 в 14:43
1
ответ
Ошибка компиляции eiffel c: ошибка LNK2001: неразрешенный внешний символ
Я пытаюсь познакомиться с языком Eiffel, поэтому я установил Eiffel Studio 18 и создал приложение Graphics. Сбой компиляции с сообщением: Preparing C compilation using already configured msc C compiler... ERROR: Cannot start "nmake".ERROR: Cannot st…
09 дек '18 в 08:17
1
ответ
Компиляция Eiffel через Makefile и `dpkg-buildpackage -us -uc` выдает ошибку
Я пытаюсь создать пакет Debian для моего приложения Eiffel. Или make или же make -j4 (который вызывается из dpkg-buildpackage) в корневой структуре делает работу без ошибок но когда вызывается из dpkg-buildpackage -us -uc который вызывает Makefile, …
12 дек '18 в 12:46
1
ответ
Eiffel: неизвестный идентификатор "курсор" в LINKED_LIST[STRING]
У меня есть unknown identifier на местном like some_values.cursorЯ действительно не понимаю, почему! qry_update_set_fields (some_keys, some_values, some_unstored_field_names: LINKED_LIST[STRING]): STRING require same_some_keys_some_values_count: som…
11 янв '19 в 11:59
1
ответ
Eiffel: Ошибка: переменная установлена неправильно. в вызове make default_create или любом родительском вызове / переопределении default_create
Не уверен точно, но это делает разное время, я получил Error: variable is not properly set. в порядке вызова процедур создания. Я понял, что создание атрибутов класса перед вызовом default_create казалось, решил проблему. Почему это так? Не похоже, …
12 янв '19 в 19:40
1
ответ
Программа тестирования Эйфелевой петли
Я изучаю Эйфелевой язык и пытаюсь сделать что-то простое, как это: class APPLICATION inherit ARGUMENTS create make feature make local testvar:INTEGER i:INTEGER do from i := 0 until i >= 10 loop Io.putstring ("input number") Io.read_integer testva…
27 янв '16 в 23:25
1
ответ
Нужна помощь полиморфизм
Позвольте мне привести пример того, что мне нужно для помощи: Основной класс: cnd:Currency usd:Currency cc:Combined_Currency usd := cc.usd cnd := cc.cnd Итак, класс Combined_Currency имеет класс Currency, Класс Currency имеет атрибуты, например exch…
17 фев '14 в 17:53