エフェクトは、関数で示すことができる動作のカテゴリです。
以下の例では、関数が「IsCriticalHealth」と命名され、Health パラメータで入力として整数値を取得することがコードで述べられています。 次に、関数が示すエフェクトが decides と transacts であること、つまり関数が失敗コンテキストであり、失敗した場合はそのアクションをロールバックできることが述べられています。 関数に入力として渡される Health 値が 0.0 より大きく、30.0 以下の場合、関数は成功します。 それ以外の場合は関数が失敗し、その関数を呼び出したコンテキストで失敗を処理する必要があります。
Verse
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))詳細については、「指定子と属性」を参照してください。