Benutzungshinweise

Um den Interpreter für OCL nuten zu können, müssen bestimmte Systemvoraussetzungen
gegeben sein. Beachten Sie hierzu die eigens beschriebenen Anforderungen.

Insbesondere muss neben den Java-Bibliotheken der XML-Parser mit den dazu
nötigen JAR-Archiven im Classpath einbezogen sein.

Ergänzen Sie dann das Archiv push_ocl.jar in den Classpath.
Sodann können Sie das Programm mittels

java push.ocl.gui.OCLGui

starten.
Danach sind weitere Benutzungshinweise über das Menue "Help" verfügbar.

Die einzelnen Schritte seien mit Beispielen untermalt:
Der Speicherplatz der einzelnen Bibliotheken muss ggf. Ihrer Umgebung angepass werden.
Unter Windows könnte etwa folgender Aufruf verwendet werden:

java -cp c:\jdk1.3\jre\lib\rt.jar;c:\jdk1.3\xml4j.2_0_15.jar;push_ocl.jar push.ocl.gui.OCLGui

Im CIP-Pool des Instituts für Informatik der Ludwig-Maximilians-Universität funtionierte unter Linux folgender Befehl

java-1.2 -cp .:./push/xml4j.jar:/soft/IFI/lang/jdk-1.2.2-RC3/jdk1.2.2/jre/lib/rt.jar push.ocl.gui.OCLGui

Optionale Aufrufparameter

Die weitere Bedienung ist normalerweise über die graphische Oberfläche vorzunehmen.
Jedoch können folgende optionalen Aufrufparameter angegeben werden:
Ein erster "Text", der den Speicherplatz eines Klassendiagramms (in XMI) angibt.
Dieses Klassendiagramm wird als "Modell" verwendet.
Ein zweiter "Text", der den Speicherplatz der als Textdatei vorliegenden OCL-Ausdrücke angibt
Ein dritter "Text", der den Speicherplatz eines Klassendiagrammes (in XMI) angibt.
Dieses Klassendiagramm wird als Quelle für Instanzen verwendet.