eiffel

    0热度

    1回答

    我需要另一组眼睛来告诉我Burnikel和Ziegler的部门的Eiffel实现有什么问题,特别是“算法2 - 3n/2n”。埃菲尔功能如下所示。类似“Current”的类型是ARRAYED_LIST [NATURAL_8]。换句话说,该实现使用包含8位值的数字(即分支),因此数字以256为基数。以下是一个失败呼叫的手动追踪。 (对不起,参数非常大,但我无法用较短的值重现此错误。)在这种情况下,执

    1热度

    2回答

    我只是简单地测试一个容器类的push_at特性(基本上是由数组产生的)。我不知道我的代码的哪一部分触发了这种违规行为。 push_at (i: INTEGER; s: STRING) require valid_index: i >= 1 do container [i] := s end 在我的测试 local con:

    0热度

    1回答

    适当延长String类,我刚拿到帐号的老样本,编写一些代码与STRING所有者的类型: class ACCOUNT create make feature balance: INTEGER owner: STRING make do create owner.make_empty end minimum_balance: INTEGER = 1000

    0热度

    1回答

    我发现一个没有意义的案例。 我有以下特点: test_array_deep_copy: BOOLEAN local imp, old_imp: ARRAY[STRING] do comment("Test of a deep copy.") create {ARRAY[STRING]} imp.make_empty i

    1热度

    1回答

    我尝试使用跨1 | .. | list.count为J 所有 list.i_th(Z)〜老list.i_th(Z) 结束 但它说未知的标识符ž。这个语法有什么问题?

    0热度

    1回答

    我想返回结果类型为ITERABLE [K]。 我所知道的是,Iterable从ITERATION_CURSOR继承,所以我做了下面的unworking代码,但它不能编译。 obtainKey (v: V): ITERABLE[G] local myCollection: ITERABLE [G] myCursor:ITERATION_CURSOR[G]

    0热度

    1回答

    我与if statment一个问题。 我有一个命令行,参数和UTF8程序(€ - 符号)。 的错误是在works_not在if声明。 class EURO insert ARGUMENTS create {ANY} make feature {ANY} make do works_not works end

    0热度

    1回答

    我没有得到使用SCons更新项目的自动构建版本。首先,我在源文件中更改了一些内容,scons告诉我: scons: done reading SConscript files. scons: Building targets ... scons: `.' is up to date. scons: done building targets. 如何更新自动构建? UPDATE 20170

    0热度

    2回答

    这可能是一个愚蠢的问题,但我是C#的新手。我想知道是否有一种方法直接在子类中使用父级的属性。我做了很多埃菲尔,当一个类被一个或多个类继承时(因为是埃菲尔没有接口,你可以继承多个类)。 就这样为例:(艾菲尔langage) 父类: class Parent features int id string lastName 子类: class Child inherit

    0热度

    1回答

    假设foo: ANY是一个可分配的实体。 当我做foo := create {BOOLEAN}会发生什么? 它总是失败,因为BOOLEAN(扩展型)不符合ANY(引用类型),正确吗?