eiffel
-
两个不同的配置文件共享相同的 UUID。在配置中
-
埃菲尔避免重复进入 ecf 文件
-
将派生 class 的匿名对象传递给 Eiffel 中的例程
-
与通用 class 共享类型？
-
Error code: VUTA(3) Error: separate target of the Object_call is not controlled
-
实施约束：class 功能 only_from_type 使用内联代理
-
重命名为继承人后变量未正确设置
-
如何在 Eiffel 中 运行 游标树？
-
在没有断言的情况下在运行时检查无内容
-
如何从数字中声明一个 INTEGER_64？
-
双胞胎 vs deep_twin，is_equal vs is_deep_equal
-
如何在 Eiffel 中测试正式泛型类型的对象是否相等？
-
Eiffel 和 Rescue 条款中的错误处理
-
如何使用埃菲尔内核库发送电子邮件
-
在埃菲尔铁塔中对可比对象集合进行排序的一些方法
-
为什么 LINKED_SET 无法比较对象？
-
在给出泛型参数时如何指定它应该实现一些特定的创建方法？
-
如何合并 multi-inheritence 中的属性
-
显式创建类型不符合目标类型
-
如何在 post 条件下使用交叉循环来比较某些索引处的旧数组和新数组？