问题标签 [eiffel-scoop]
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.
3 问题
0
投票
1
回答
35
浏览
eiffel - Eiffel 将对象分离到确保语句中
有没有办法让一个单独的对象被检查为确保separate obj as l_obj语句？
我想有一个布尔函数应该可以工作。
有什么我不明白的理由吗？
0
投票
1
回答
23
浏览
generics - 集合 make_from_separate 中功能调用中的不兼容实际参数
不明白我在这里错在哪里......
0
投票
2
回答
26
浏览
type-conversion - 埃菲尔类型一致性和附件检查不起作用
试图解决其中一个 SCOOP 后果，make_from_separate我遇到了一个问题，即在运行时类型似乎相同并且不会通过attached语句。
non_separate_from_any
带截图的变量和语句
更新 20200616
声明如下：
在运行时我得到了一个other.column_names -> at runtime: ARRAY[detachable STRING]
这个怎么可能！！！这就是我实施any_from_separatewith的原因l_arr_det_str
