case-statement - VDM++での運用におけるユースケース

Question

私は VDM++ にかなり慣れていないので、操作でケースを使用して、それがどのように機能するかを確認しようとしています。

私のアイデアは、操作に入力を与え、それが出力として私に与えたものを見ることでした。だからFX。私の入力は次のようになる可能性があり、出力は偶数になると予想されます。

次の操作が失敗し、「式に予期しないトークンが含まれています」というエラーが表示されます

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