VDM++操作中的用例

Question

我对VDM++和Im非常陌生，他们试图在操作中用例来了解它是如何工作的。

我的想法是给操作一个输入，看看它作为输出给了我什么。那么外汇。我的输入可能是:我希望输出是相等的。

以下操作失败，并给出错误“表达式中的意外令牌”

public sign: (seq of char) ==> (seq of char)
sign(sign) ==
cases sign:
    <Even> -> "Even",
    <Odd> -> "Odd",
    others -> "Unknown"
end

Answer 1

希望错误实际上是Unexpected token in statement (不是表达式？)。case语句要求每个case子句的RHS是一个语句。所以你得说-> return "Even"。或者，您可以说是return cases sign: ...，将其转换为一个大型返回语句，在该语句中，随后的cases表达式将被正确地形成。