🚀 go-pugleaf

pmai@acm.org (Pierre R. Mai) writes:

> Damit diese Newsgroup auch mal wieder was Themenrelevantes enth�lt:

> Wie setze ich die Property Language von OPAL ein?  Ich errinnere
> mich wage daran, in fr�heren Versionen des Source Codes irgendwo
> Tausend-und-Eine *.{extp,intp} Datei gesehen zu haben

Ach ja ... fr�her ... 

> bash$ ocs -top Show show -prop check
> Checking External Properties of Impl ...

Da sind noch nicht alle Reste des alten Ansatzes entfernt worden.

> Irgendwelche Tips?

Eigentlich geht es einfacher als vorher, aber es geht nicht mehr so sch�n
aufzurufen. 

Laws k�nnen direkt in den Signatur- und den Implementierungsteil geschrieben 
werden. In erster N�herung kann man jeden boolschen Ausdruck als Formel
betrachten; die genaue Syntax ist im Opal-Report, A.7 (unter
OCSHOME/doc/ps/opalreport.ps) beschrieben.

Beispiele:

LAW +_neutral == ALL x. x + 0 = x
LAW dfd_/ == ALL x y. y |= 0 ==> DFD x / y

Nun mu� man nur noch dem Opal-Compiler mitteilen, da� die
Eigenschaftssprache eingeschaltet wird. Dazu ben�tigt man ein
ProjectDefs-File. Am besten man kopiert
OCSHOME/examples/Customize/ProjectDefs.simple in eine eigene Datei, und f�gt 
die Zeile

OC1FLAGS += -zprop

hinzu, definiert die Environmentvariable OCSPROJECT, die den Pfadnamen
dieser Datei enth�lt (mit ocs info �berpr�fen), und ruft den Opal-Compiler
auf. 


Ich hoffe, das war's. Viel Freude mit der Eigenschaftssprache.

MfG
	Klaus