Вопросы по теме 'eiffel'
Как отформатировать DOUBLE для печати только двух знаков после запятой в Eiffel?
В эйфеле как сделать так чтобы число.
118.1999999999999
печатает в:
118.20
На другом языке это просто вопрос printf, но, похоже, в Eiffel нет простого способа сделать это.
807 просмотров
schedule
07.05.2024
Как инициализировать массив объектов в Eiffel?
Я пытаюсь реализовать решение проблемы производителя-потребителя с помощью Eiffel. У меня есть массив p класса PRODUCER и массив c класса CONSUMER, объявленный и инициализированный следующим образом:
local
p:attached ARRAY[PRODUCER]...
3146 просмотров
schedule
29.10.2022
Что на самом деле означает эта чувствительность к регистру?
Мы все знаем, что есть несколько языков, чувствительных к регистру, а также нечувствительных к регистру. Судя по деталям, которые я нашел, Eiffel нечувствителен к регистру. Если язык нечувствителен к регистру, это означает, что его ключевые слова...
110 просмотров
schedule
09.06.2022
Как сделать так, чтобы окно Eiffel Vision2 всегда было сверху?
Я создал маленькое окно Vision2 с анимацией в нем.
В моей среде Windows 7 я хочу, чтобы эта анимация всегда была видна поверх всех других окон на моем рабочем столе. Я могу периодически вызывать raise , чтобы вывести окно Vision2 на передний...
73 просмотров
schedule
08.05.2023
Примеры обработки ошибок в Eiffel
Я не могу найти сколько-нибудь существенного примера обработки ошибок в Eiffel. Я нашел только примеры, которые либо тривиальны, либо полностью игнорируют ошибки, либо оставляют обработку ошибок читателю. Мне интересно знать, как ошибки могут...
889 просмотров
schedule
03.08.2022
Как добавлять и удалять объекты из массива в Eiffel
Я пытаюсь создать класс CONTAINER, который поддерживает массив объектов CRITTER (которые я уже создал и протестировал. Обратите внимание, что существуют различные подвиды CRITTER, которые наследуются от суперкласса CRITTER). Цель состоит в том, чтобы...
1993 просмотров
schedule
17.07.2022
Проверьте нарушение утверждения в Eiffel, используя Array_List
Класс CUSTOMER
class
CUSTOMER
create
make
feature{NONE} -- Creation
make(a_name:STRING)
-- Create a customer with an `account'
local
l_account: ACCOUNT
l_name: IMMUTABLE_STRING_8
l_bank: BANK
do...
484 просмотров
schedule
16.11.2023
Eiffel — как я могу инициализировать LINKED_LIST?
Я новичок в Eiffel и пытаюсь создать экземпляр Linked_List. Я не совсем уверен, как это сделать с этим классом, потому что я получаю синтаксическую ошибку всякий раз, когда пытаюсь сделать это таким образом. Вот что у меня есть:
class...
646 просмотров
schedule
21.07.2023
Установка точности для реальных типов в Eiffel
В Eiffel после выполнения некоторых операций над значением типа DOUBLE я получаю результат 1.9999999999999998 , в то время как предполагается ожидаемый результат быть 2 .
Я знаю, что это вызвано неточностями в арифметике с плавающей запятой....
163 просмотров
schedule
09.07.2022
Как применить утверждения для Eiffel через командную строку?
Eiffel имеет функцию Design by Contract . В соответствии с этим для любой подпрограммы существует проверка того, что такие утверждения, как require и ensure , должны быть истинными. Однако мне не удалось выяснить, как применить правило через...
94 просмотров
schedule
02.04.2024
Почему я получил нарушение предварительного условия valid_index в Eiffel?
Я просто тестирую функцию push_at класса контейнера (в основном, созданного массивом). Я не знаю, какая часть моего кода вызывает это нарушение.
push_at (i: INTEGER; s: STRING)
require
valid_index: i >= 1
do
container...
244 просмотров
schedule
12.11.2022
Возврат типа ITERABLE в Eiffel
Я пытаюсь вернуть тип результата ITERABLE[K]. Все, что я знаю, это то, что Iterable наследуется от ITERATION_CURSOR, поэтому я сделал следующий неработающий код, но он не компилируется.
obtainKey (v: V): ITERABLE[G]
local...
130 просмотров
schedule
10.09.2022
Общее преобразование в целое число в Eiffel
У меня есть несколько кодов, например:
keys: LINKED_LIST[K]
...
test
local
tempK:K
tempI:INTEGER
do
...
across
keys as cursor
loop
tempK := cursor.item
if tempK ~ 1 then
tempI := tempK
end
end
...
end...
157 просмотров
schedule
29.09.2022
Как сгенерировать случайное целое число между двумя значениями в Eiffel?
Я хочу имитировать функциональность броска костей. Однако я не получаю того, что ожидаю. Я хочу получить Dice со значением от 1 до 6 включительно (dice).
Я пытался найти его в документации Eiffel, но это очень сложно сделать.
471 просмотров
schedule
05.01.2023
Возможно ли индексирование LINKED_LIST с 0, а не с 1?
В eiffel индексация обычно начинается с 1, а не с 0.
У меня есть следующие 2 атрибута:
arr: ARRAY[A]
link: LINKED_LIST[B]
Для массива я могу намеренно начать индексацию с 0, например:
arr.force (value, arr.count)
так что arr[0]...
1060 просмотров
schedule
13.02.2023
Вызов Eiffel sqlite с дополнительными параметрами
Я скопировал код из примера для доступа к базе данных sqlite. Он использует агент для получения возвращаемых строк:
check_db (input_line: STRING)
local
df_db: SQLITE_DATABASE
df_db_query: SQLITE_QUERY_STATEMENT...
65 просмотров
schedule
25.09.2023
инициализировать массив циклом в Eiffel
Я изо всех сил пытаюсь инициализировать массив или массив строк из файла при использовании цикла, но каждая функция, которую я использую, - put/enter/force ничего не работает. массив время от времени заполнялся последней строкой, которую я читал,...
207 просмотров
schedule
29.11.2022
Неизвестные идентификаторы для блока обеспечения в Eiffel
Итак, я новичок в программировании Eiffel и пытаюсь научиться писать постусловия в блоке ensure блока feature , в частности, с циклами записи.
Итак, я попробовал это:
feature
-- sets the value of a particular in an array to x
foo...
100 просмотров
schedule
06.01.2023
Eiffel: лучшие практики работы с геттерами возвращают Void, если объект не найден?
Какова лучшая практика в Eiffel для возврата объекта из функции, если он не найден . Я видел, что многие коллекции, такие как ARRAY, например, основывают поведение not found на предварительном условии, например, или другой функции.
Многие языки...
133 просмотров
schedule
11.05.2023
Эйфель — двумерный массив
Есть ли в Eiffel специальный класс для двумерного массива? Теперь я делаю это так, но думаю, что есть более простой способ. столбцы: ARRAYED_LIST [ARRAYED_LIST [CHARACTER]]
472 просмотров
schedule
09.04.2023