14 Angenommene Spezifikation UML Ocl 2,0 7,4,8 Gebrauch der Infix-Operatoren Der Gebrauch der Infix-Operatoren wird in OCL erlaubt. Die Operatoren ' + ', ' - ', ' * '.'/', ' < ', ' > ', ' < > ' ' < = ' ' > = ' werden als Infix verwendet Operatoren. Wenn eine Art einen jener Operatoren mit der korrekten Unterzeichnung definiert, werden sie als Infix-Operatoren verwendet. Ausdruck: a + b ist dem Ausdruck begrifflich gleich: a.+(b) das heißt, Hervorrufen ' + ' Betrieb auf a mit b als der Parameter zum Betrieb. Die Infix-Operatoren, die für eine Art definiert werden, müssen einen Parameter genau haben. Für die Infix-Operatoren ' < ', ' > ', '<=', '>=', '<>', ' und ', ' oder ' und ' xor ' die Rückholart muß Boolesch sein. 7,4,9 Schlüsselwörter Schlüsselwörter in OCL sind reservierte Wörter. Das bedeutet, daß die Schlüsselwörter nicht in einem OCL-Ausdruck als nirgends auftreten können Name eines Pakets, der Art oder der Eigenschaft. Die Liste von Schlüsselwörtern wird unten gezeigt: und attr Kontext def sonst endif endpackage wenn deutet an in inv gelassen nicht Betrieb oder Paket Pfosten vor dann xor 7,4,10 Anmerkung Anmerkungen in OCL werden nach zwei aufeinanderfolgenden Schlägen geschrieben (minus der Zeichen). Alles direkt nach den zwei Schläge bis zu und das Umfassen des Zeilenenden ist ein Teil der Anmerkung. Z.B.: -- dieses ist eine Anmerkung