Ein Effekt ist eine Verhaltenskategorie, die eine Funktion aufweisen kann.
Im nachstehenden Beispiel sagt der Code, dass eine Funktion den Namen IsCriticalHealth hat und einen Ganzzahl-Wert als Input durch den Health-Parameter übernimmt. Als Nächstes sagt er, dass die Effekte, die die Funktion aufweist, decides und transacts sind, was bedeutet, dass die Funktion ein Fehlerkontext ist und ihre Maßnahmen zurückgenommen werden können, wenn die Funktion fehlschlägt. Wenn der als Input an die Funktion übergebene Health-Wert größer als 0,0 und kleiner oder gleich 30,0 ist, ist die Funktion erfolgreich. Andernfalls schlägt die Funktion fehl, und der Kontext, der die Funktion aufgerufen hat, muss den Fehler verarbeiten.
IsCriticalHealth(Health : float)<decides><transacts> : void =
((Health > 0.0) && (Health <= 30.0))Weitere Informationen dazu findest du unter Bezeichner und Attribute.