eiffel

eiffel

文章 0 浏览 2

EiffelStudio,项目只读:无法编译

我正在与我在埃菲尔铁塔的大学一起做一个共享项目。我刚刚下载了该项目,但遇到了这个问题: 我们必须处理 NameProject_as_library.ecf,因此我们必须…

花期渐远 2024-12-16 01:18:38 0 0

“使用”或“导入”埃菲尔文本中的条款

是否有包含/使用/导入其他类的子句,或者可能是 EiffelStudio 中的“添加库”部分?如果是这样,您将如何在基于文本编辑器的环境中执行此操作?…

腹黑女流氓 2024-11-18 09:42:44 2 0

在调用例程之后和之前在哪里评估不变量?

在契约设计中,类不变量必须在两种情况下满足:创建对象之后和调用例程之后。是否有任何示例或条件,我也必须在调用例程之前进行评估?…

离线来电— 2024-11-15 08:34:02 5 0

Eiffel重定义函数可以定义自己的断言吗?

我需要知道 Eiffel 中重新定义的函数是否可以定义自己的断言。…

十级心震 2024-11-14 22:55:08 2 0

Eiffel 中的克隆和 equal 方法

为什么与 C# 中的类似方法相比,在 Eiffel 中定义 clone 或 equal 方法可以在类型问题方面提供更好的保护?…

坐在坟头思考人生 2024-11-14 22:41:29 2 0

RacketScheme的“合同设计”是如何实现的?与埃菲尔铁塔有何不同?

我知道Eiffel(其鼻祖)和Racket都实现了“Design by Contract”的功能。可悲的是,我不确定其中一个与另一个有何不同。 Eiffel 的 DBC 依赖于 OOP 范…

悸初 2024-11-01 16:08:21 5 0

Eiffel正则表达式验证

如何为某个字符串创建正则表达式?你能在断言(代码的前提部分)中做到这一点吗? 我一直在谷歌搜索,但找不到任何令人信服的东西。 问题是这样的: …

神也荒唐 2024-10-26 23:50:47 3 0

如何将大量本机代码转变为可扩展的服务?

问候, 我在 Eiffel 开发了一个大型软件。可以使用 C++ 中的此代码,但它会加载 Eiffel 运行时,并且我不能相信 Eiffel 代码和运行时是线程安全的,当…

自此以后,行同陌路 2024-10-20 00:32:24 7 0

埃菲尔铁塔:放宽前置条件,收紧后置条件?

埃菲尔铁塔上说要“放宽前置条件,收紧后置条件”,但我不知道这是什么意思。子分类对这有什么好处? 谢谢…

望喜 2024-09-18 16:16:45 7 0

将类型参数传递给 Eiffel 方法

我想在 Eiffel 中编写一个强制转换方法,它将“要强制转换的类型”作为类型参数。有没有办法将类型传递到 Eiffel 中的方法中。 我能想到的唯一选择是…

不念旧人 2024-09-14 04:09:47 5 0

如何在 Eiffel 中格式化 DOUBLE 以仅打印两位小数?

在埃菲尔铁塔中,你如何做到这一点。 118.1999999999999 打印到: 118.20 在其他语言中只是 printf 的问题,但在 Eiffel 中似乎没有办法轻松做到这一…

德意的啸 2024-09-13 06:52:56 6 0

如何遍历eiffel中的目录?

简单 如何使用 eiffel 获取目录内文件的列表?…

甩你一脸翔 2024-09-13 02:58:15 6 0

学习埃菲尔铁塔的经历

有人有学习埃菲尔语言的经验吗? Eiffel Studio 与 Visual Studio 类似吗? 这是学习 OOP 的好途径吗? ETC。…

日记撕了你也走了 2024-08-29 08:24:26 8 0

.NET 4.0 的契约设计与 Eiffel 相比如何?

我很“高兴”在大学里由 Bertrand Meyer 本人教授 Eiffel,并且刚刚读到 .NET 4.0 将包括合同设计。 任何有洞察力的人都可以详细说明与 Eiffel 现有的…

红颜悴 2024-07-24 07:00:29 5 0
更多

推荐作者

Cooper

文章 0 评论 0

Great Marx

文章 0 评论 0

感性

文章 0 评论 0

mb_IvyEMzfd

文章 0 评论 0

止于盛夏

文章 0 评论 0

记忆で

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文