Zaawansowane modelowanie OCL-a
Podobnie jak w każdym innym języku, w OCL-u zdefiniowana jest kolejność wykonywania operatorów, deklaracji zmiennych oraz konstrukcji logicznych (tylko do ewaluacji wyrażeń — nie do przepływów programu). Poniżej omawiamy konstrukcje, których można używać we wszystkich wyrażeniach OCL-a.
Instrukcje warunkowe
OCL umożliwia ewaluację podstawowych instrukcji logicznych wykorzystujących słowa kluczowe if, then, else oraz endif. Warunki używane są tylko w celu określenia, która instrukcja jest ewaluowana — nie można ich używać do wywierania wpływu na leżący u podłoża system lub w celu zmiany przepływów w programie. Poniższy niezmiennik zapewnia, że ukończenie roku przez ucznia jest prawidłowe, tylko gdy zapłacił ...
Get UML 2.0. Almanach now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
