syntax - 我不确定在 eiffel 中使用的正确语法？

Question

我有一个特点

feature --compare
is_less alias "<" (other: MONEY): BOOLEAN
        -- Is current money less than `other'?
    local
        temp: BOOLEAN
    do
        temp := cents < other.cents
        Result := temp
    end

它只是检查两个美分（cents < other.cents）是否大于。即使我将其设置得太真，我也无法让结果返回真：

结果 := temp -----> 结果 := true

Answer 1

我正在使用 13.11，它对我来说效果很好。

is_less alias "<" (other: like Current): BOOLEAN
    require
        not_void: other /= Void
    do
        Result := cents < other.cents
    end

在另一个类中，我调用了这个函数，它按预期工作。

do_compare
    local
        m1, m2: MONEY
    do
        create m1.make_from_volume (1)
        create m2.make_from_volume (2)
        print(m1.is_less (m2))
    end

所以我想知道如何不检查结果是否为真？你是如何将论点传递给它的？