问题标签 [eiffel]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
2 回答
249 浏览

eiffel - 确保 Eiffel 中关于跨语法的子句

此功能通过从位置 i 开始并搜索来查找字符。一旦找到索引,它就会输出它。但是,如果单词中不存在这样的字符,则输出 0

问题: 后置条件必须断言查询返回字符 c 在 pos .. word.count 范围内的 word 中的索引,如果没有这样的字符,则返回零。

我的代码:

这种布尔相等的问题在于,当使用 find(c,pos) 并且没有找到任何内容时,该功能会引发后置条件违规。

我正在尝试使其仅在单词中不存在给定的 c 字符时才允许该功能输出

0 投票
2 回答
493 浏览

eiffel - 使用 Array_List 检查 Eiffel 中的断言违规

客户类

银行类的一部分:

尝试将客户放入数组时,我从 ARRAY_LIST 类收到检查断言错误。我得到的标签是“valid_index”我不知道为什么它错了,因为索引是正确的,我设置了数组的计数并给出了正确的索引。

客户的类型是 CUSTOMER 类

银行有客户,客户有账户

CUSTOMER 有一个 ACCOUNT 类

0 投票
1 回答
399 浏览

comparison - 在 Eiffel 中比较对象/值而不是引用

我一直在试图弄清楚如何使后置条件适用于以下代码。有3个类,Bank是Customer的客户,Customer是Account的客户

这是银行类,我只是不能通过后置条件 other_customer_unchanged

这是customers_unchanged_other_than的特征

我在客户类中重新定义了 is_equal 功能

我查看了旧 customer.deep_twin 中的内容,它确实包含客户的项目,但不知何故,当它使用 .has 功能时,它只会使结果为假。任何帮助是极大的赞赏 :)

0 投票
1 回答
68 浏览

numbers - 埃菲尔测试程序错误

我想学习埃菲尔语言,我只是想制作一个非常基本的程序来显示给定的数字。但是,我不断收到错误,没有任何解释:

这可能是一个非常愚蠢的错误,但我正在学习。谢谢

0 投票
1 回答
176 浏览

loops - 艾菲尔环路测试程序

我正在学习埃菲尔语言并尝试做一些基本的事情,如下所示:

基本上我只是测试一个循环,它读取整数并在屏幕上打印更大或更小,直到“i”达到 10。但是,这不编译,它与我认为的循环有关。我做错了什么?

谢谢你

0 投票
1 回答
112 浏览

eiffel - 使用 EIFFEL 上的项目功能在 HASH_TABLE 中查找对象

我在比较 HASH_TABLE 中的两个对象时遇到问题

PERSON 是一个类,具有姓名、生日、关系状态、配偶姓名、配偶 ID 等属性。所以基本上由属性代码组成:

错误:分配源与目标不兼容。

使用的功能返回“可拆卸 G”

我想我应该做“如果附加”以确保项目功能返回正确的对象类型然后分配?我不完全确定如何投射物体。

错误是通过调用上述功能触发的

我需要这些功能才能工作的原因是我可以更轻松地进行排序

0 投票
1 回答
329 浏览

null - Eiffel 是否避免所有空值?

我实际上正在使用 C# - 但是 Nulls 的问题出现在本地开发人员团体(英国 Chester Devs)社交网站上,关于 nulls 的问题

对象 Person 具有 String 类型的属性,例如 Name,如果名称未知,则在 C# 中 Name 为 null

Eiffel 是否有比 C#(如果 x 为 null ...)更好的方法来处理这种常见的动态 void ?

0 投票
1 回答
57 浏览

eiffel - 在 EIFFEL 中一次将两个类存储在数据结构中

我正在制作一家诊所,我需要制作一个可以同时存储两种药物的物品。交互对象意味着 MEDICATION_1 正在与 MEDICATION_2 交互

但是以下代码不正确,因为它不符合泛型参数

错误:VICG:实际的泛型参数不符合约束。

代码:

0 投票
1 回答
128 浏览

eiffel - 在 Eiffel 中实现迭代器类

我从老师那里得到了这个测试课程,但我在理解如何实现我的课程以按此顺序创建自己时遇到了问题。

代码:

目前,当我使用此类测试用例进行编译时,它会引发编译器错误,提示创建不正确、不兼容

我的构造函数目前制作了一个空的 HASH_TABLE 所以我的问题是如何确保我可以按照代码测试的方式初始化我的包类?

0 投票
1 回答
32 浏览

io - STD_FILES中read_character和last_character接口

根据std_files.e我发现的,read_characterrequires not end_of_file,但它没有指定任何后置条件;并且 last_character没有任何先决条件。因此,如果您在调用last_character之前先调用会发生什么read_character