Вопросы по теме 'eiffel'
Установка файлов заголовков в Eiffel?
Я изучаю Eiffel, и я знаю, что в C я могу сделать что-то подобное, чтобы установить файлы заголовков, например::
#define USER_ACTIVE 0
#define WHEN_SOMETHING 1
#define WHERE_HAND 2
#define WHERE_ACTIVE 3
#define WHERE_GOOD 4...
271 просмотров
schedule
24.05.2023
инициализация без создания экземпляра (Eiffel)
Это диаграмма BON для классов.
Обратите внимание, что в этом примере атрибуты не были созданы в виде экземпляров. Во время выполнения a использует take_off из b . Мне просто интересно, как инициализируется take_off в классе B_747. В...
203 просмотров
schedule
28.05.2024
Какие компиляторы Eiffel используют синтаксический анализ Earley
Я наткнулся на этот пост http://compilers.iecc.com/comparch/article/02-04-096 , в котором говорится, что есть два компилятора Eiffel, использующие синтаксический анализ Earley. Пост довольно старый. Интересно, знает ли кто-нибудь здесь, какие...
146 просмотров
schedule
19.06.2023
Ошибка компилятора Eiffel C
Я использую студию Effiel для кодирования и заметил в ErrorList внизу меню сообщение об ошибке, показывающее: «Код ошибки: C Compiler Error
Ошибка: сбой внешней компиляции C/C++. Что делать: Подробности смотрите во внешней компиляции C/C++."...
1108 просмотров
schedule
09.10.2023
Сравнение объекта/значения вместо ссылки в Eiffel
Я пытался выяснить, как заставить работать постусловие для следующего кода. Есть 3 класса, Банк является клиентом Клиента, а Клиент является клиентом Счета.
Вот класс банка, я просто не могу передать постусловие other_customer_unchanged...
387 просмотров
schedule
16.01.2024
хранение двух классов в структуре данных одновременно в EIFFEL
Я делаю клинику и мне нужно сделать объект, который хранит сразу два лекарства. Объект взаимодействия означает, что MEDICATION_1 взаимодействует с MEDICATION_2.
Однако следующий код неверен, поскольку он не соответствует общему параметру....
55 просмотров
schedule
10.09.2023
Невозможно устранить ошибку. Цель вызова assigner не имеет связанной команды assigner в Eiffel.
В Eiffel Studio я пытался получить доступ к полям объекта класса, который я определил из другого класса. Однако он продолжает выдавать ошибки, которые я не могу понять и решить. Ниже приведен фрагмент кода примера:
Класс, в котором создается...
383 просмотров
schedule
11.05.2023
Eiffel: ковариантные недопустимые типы, передаваемые в качестве аргументов?
(выделено мной)
Ковариантное переопределение полей и функций не создает проблем, но ковариантное переопределение аргументов делает проблему, связанную с тем, что недопустимые типы могут быть переданы в качестве аргументов.
Но...
188 просмотров
schedule
28.10.2023
Совок с агентами
Я пытаюсь использовать обратный вызов агента одновременно. К сожалению, независимо от того, что я делаю, это всегда работает последовательно, а не параллельно. (без агента это не так)
основной класс( ПРИЛОЖЕНИЕ ):
class
APPLICATION...
77 просмотров
schedule
15.04.2024
Как правильно расширить класс STRING в Eiffel
Я только что получил старый образец ACCOUNT и написал код с типом владельца STRING:
class
ACCOUNT
create
make
feature
balance: INTEGER
owner: STRING
make
do
create owner.make_empty
end
minimum_balance: INTEGER = 1000
open (who:...
80 просмотров
schedule
19.10.2023
Получение трассировки стека от geant
Я пытаюсь скомпилировать проект (см. этот ТАК вопрос ), используя компилятор Gobo и его инструменты, и я получаю сообщения об ошибках, относящиеся к стандартной библиотеке equal(..) . Я уверен, что эта ошибка где-то в коде, который у меня есть, а...
35 просмотров
schedule
11.03.2023
Почему текущее и старое значение одного и того же выражения в постусловии равны?
Я пытаюсь получить значение записи в 2D-массиве до реализации и после нее. Но следующее постусловие не работает, потому что две записи в чем-то одинаковы (и да, я переопределил is_equal , так что ~ будет равноправием объектов):
ensure...
34 просмотров
schedule
04.07.2023
Eiffel: локальное объявление в или и и не удалось скомпилировать
Компилятор жалуется на неизвестный идентификатор, кажется, что он не распознает ни одно из моих многочисленных объявлений, где я не прав?
if attached {INTEGER_REF} field.item as l_int
or attached {INTEGER_64} field.item as l_int
or...
47 просмотров
schedule
13.04.2024
Eiffel: классическая структура переключателя приведения типов с присоединением и проверкой
Как лучше всего сделать что-то вроде
local
l_pet: ANIMAL
do
l_pet := catch_it_from_the_sky
inspect l_pet
when attached {DOG} l_pet as l_dog
l_dog.eat (meat)
when attached {FISH} l_pet as l_fish
l_fish.eat...
62 просмотров
schedule
15.05.2024
Автономное приложение Eiffel EWF Ошибка привязки C
После запуска с помощью F5 кажется, что когда я останавливаю приложение EWF (с помощью кнопки остановки estudio), требуется до 10 секунд, чтобы освободить определенный порт на машине Linux Debian. только в этой ОС, но есть ли способ ускорить...
33 просмотров
schedule
01.12.2023
Эйфель: Как мне сравнить тип объекта с заданным типом?
Как сравнить тип объекта с заданным типом (оператор instanceOf в Java)?
do_stuff (a_type: TYPE)
local
an_object: ANY
do
an_object := get_from_sky
if an_object.instanceOf (a_type) then...
277 просмотров
schedule
14.10.2022
Eiffel: правильный способ наследования от класса и преобразования объекта Current в него.
Я не в первый раз пытаюсь наследоваться от класса и преобразовывать в него объект, в этом случае расширять функциональные возможности HTTP_CLIENT_RESPONSE с помощью valid_http_response => response.status = 200 , valid_http_json_body =>...
55 просмотров
schedule
09.01.2023
Как использовать сквозной цикл в постусловии для сравнения старого массива и нового массива по определенным индексам?
У меня есть метод, который сдвигает все элементы в массиве влево на одну позицию. В моем состоянии публикации мне нужно убедиться, что мои элементы сместились влево на один. Я уже сравнил первый элемент старого массива с последним элементом нового...
91 просмотров
schedule
23.07.2022
