Вопросы по теме 'eiffel'
Каковы были бы недостатки создания веб-сайта исключительно в Eiffel с использованием EWF (Eiffel Web Framework)?
Мы хотим создать веб-сайт на основе существующего ядра бизнес-уровня Eiffel, которое работает над базой данных MS SQL Server. В настоящее время я рассматриваю преимущества и недостатки написания веб-уровня и мобильного уровня либо исключительно в...
315 просмотров
schedule
16.03.2023
Как использовать функции Эйфеля?
Так что я только начинаю изучать Eiffel. В одном из первых упражнений в книге, которую я использую, говорится о создании функции, которая выполняет base^exp без использования ^. Я скопировал свой код ниже.
class
APPLICATION
inherit...
990 просмотров
schedule
04.02.2023
Репликация множественного наследования в Eiffel
Я изо всех сил пытаюсь понять взаимодействие множественного наследования с репликацией и полиморфизмом. Пожалуйста, рассмотрите следующие классы, образующие классический ромбовидный узор.
deferred class A
feature
a deferred end
end...
113 просмотров
schedule
09.12.2022
Атрибуты класса в Eiffel
Я пытаюсь создать класс в Eiffel, состоящий из нескольких атрибутов и функций. Я продолжаю получать проблемы с атрибутами, которые либо не видны для setName, либо неправильно инициализируются. Ошибка компилятора: VEVI: переменная установлена...
438 просмотров
schedule
15.08.2022
Eiffel избегает ВСЕХ нулей?
На самом деле я использую C #, но вопрос о Nulls возник на социальном сайте местной группы разработчиков (Chester Devs, Великобритания) о проблемах с нулями.
Объект Person имеет свойство, скажем, Name типа String. Если имя неизвестно, то в C# Name...
316 просмотров
schedule
10.03.2023
Eiffel: расширенные классы без полей равны `=` или нет?
В Eiffel при сравнении объектов расширенного типа оператор = сравнивает их поле за полем, проверяя, идентично ли содержимое каждого поля в обоих объектах.
Давайте представим два расширенных класса без определенных в них функций:
expanded...
100 просмотров
schedule
01.02.2023
Эффективное постусловие Эйфеля для обеспечения сортировки массива
Я реализовал запрос, который сообщает, отсортирован ли массив или нет. Я хочу сделать хорошее постусловие, которое будет эффективно проверять, отсортирован ли массив с помощью across или чего-то еще.
Я пытался сделать это так:
is_sorted (a:...
358 просмотров
schedule
14.05.2023
Эйфель: как предшественник
Может быть, я захожу слишком далеко, но Eiffel настолько прекрасен, что я хотел бы иметь возможность сказать like precursor для класса функции Result.
Моя точка зрения
deferred class A
give_me_foo: STRING
deferred
end
end --...
78 просмотров
schedule
24.12.2022
Eiffel: рекомендации по проектированию ORM (модель объектных отношений)
Рекомендации, которые я понял в Java (которая имеет много ограничений, по крайней мере для меня), даже с гибернацией должны были иметь отдельные слои
Сущности , такие как лица, дети, пользователи и т. д.
Объекты DAO , связанные с базой данных...
61 просмотров
schedule
13.05.2023
Eiffel: работают ли методы преобразования в случае аргументов вызова агента?
Я вызываю процедуру с аргументом integer_64. Я реализовал класс WATT, который может создать его из INTEGER_64, и кажется, что выполнение останавливается, когда достигается эта точка, где я ошибаюсь?
Catcall detected for argument#1 args': ожидал...
74 просмотров
schedule
25.12.2022
Eiffel: есть ли способ с помощью do_all или do_if искать элемент в коллекции без необходимости писать целую функцию?
across
collection as l_item
until
Result /= Void
loop
if l_item.item.name.is_equal ("foo") then
Result := l_item.item
end
end
есть ли способ, и если да, то какой сделать что-то вроде
collection.do_if (agent ...)...
78 просмотров
schedule
24.12.2022
Eiffel: как сделать системный вызов?
Я хочу распаковать файл с помощью bzip2 myFile.bz2 какой класс мне нужно использовать для этого?
Я попытался найти его в базовой документации по ядру , что было для меня наиболее целесообразным. и не нашел
81 просмотров
schedule
25.05.2023
почему я не могу создать функцию instance_free в отложенном классе?
Я хотел бы создать класс как с функцией instance_free ( ensure class ), так и с функцией deferred .
почему я не могу вызвать функцию instance_free в отложенном классе, а только в потомке?
Не понимаю логики этого... для компиляции? или смысла...
30 просмотров
schedule
28.01.2024
явный тип создания, не соответствующий типу цели
Я действительно не понимаю, как мне кажется, основы соответствия типов. У меня есть Creation instruction lists explicit creation type which does not conform to type of target на create {JANITZA_DEVICE} l_device.make_from_file_path (a_file_path) с...
96 просмотров
schedule
20.04.2023
Почему LINKED_SET не может сравнивать объекты?
Поскольку я хотел бы знать, входит ли какой-либо объект в LINKED_SET , чтобы обрезать его в моем контексте, я не могу сравнить его как объект, а не как ссылку.
changeable_comparison_criterion: BOOLEAN
-- May `object_comparison' be...
29 просмотров
schedule
02.01.2023
Как объявить INTEGER_64 из номера?
Как объявить INTEGER_64 из объявленного номера?
("3000000000").to_integer_64
единственный способ, который я нашел
32 просмотров
schedule
28.02.2024
Класс наследует два разных производных от одного и того же класса.
Каков правильный способ уточнения типа итерации через наследование.
поскольку наследование FOO [например, babar] не разрешено
ФОО
class FOO
inherit
ITERABLE[detachable ANY] -- I know garbage but for DB_RESULT its the case
feature --...
13 просмотров
schedule
25.12.2022
eiffel: тип основан на неизвестном классе (даже если он виден в библиотеках)
Пытаясь включить библиотеку, которую я только что создал, я не могу сделать класс доступным, даже если он отображается в библиотеках в групповом представлении студии eiffel.
../третьих сторон/moon_time/sunriset_lib.ecf
<?xml...
21 просмотров
schedule
23.07.2023
Каков наилучший способ объявить константу в классе, который можно переопределить
Что такое в eiffel лучший способ иметь константу, которую можно переопределить?
класс A =› цвет: STRING = зеленый
цвет B наследует A => не может переопределять
при наличии функции, которая возвращает только зеленый или синий цвет, необходимо...
23 просмотров
schedule
19.01.2023