OPAL: Property Language

Thread View: bln.comp.lang.opal

3 messages

[T] Back to Threads [V] Tree View [G] Group Articles

3 total messages Started by Pierre R. Mai Mon, 26 Apr 1999 00:00

Author: Pierre R. Mai
Date: Mon, 26 Apr 1999 00:00

37 lines
2352 bytes

Hi!

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 verbunden
mit der Warnung, das besonders wagemutige Seelen ja die Properties
checken lassen könnten, aber beim aktuellen Source ist nichts
dergleichen zu finden... War vielleicht doch nur Einbildung?

Nunja, auf alle Fälle scheint mir ocs in der aktuellen Version mit den 
Properties in den *.sign/*.impl Units nicht viel anzufangen, bzw. sich 
über fehlende *.{extp,intp} Files zu beschweren, falls man es mit
-prop zu irgendwas bewegen will.  Erstelle ich nun Dummy *.extp *.intp
nur mit den nötigen Headern, so bedankt sich ocs check mit einem
RUNTIME ERROR:

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

RUNTIME ERROR: Option at <9,13> : undefined selection cont'Option:option->data
make[1]: *** [OCS/Impl.extp.inter] Error 134
make: *** [check] Error 2
+++failure+++

Irgendwelche Tips?  Oder warten auf Opal2alpha? ;)

Regs, Pierre.

-- 
Pierre Mai <pmai@acm.org>               http://home.pages.de/~trillian/
  "Such is life." -- Fiona in "Four Weddings and a Funeral" (UK/1994)

Re: OPAL: Property Language

Author: Wolfgang Grieskamp
Date: Tue, 04 May 1999 00:00

47 lines
2194 bytes

Hallo Pierre,

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

> Hi!
> 
> Damit diese Newsgroup auch mal wieder was Themenrelevantes enthält:

Diese NG ist zweifellos ziemlich tot. Das liegt daran, daß
OPAL so perfekt ist, daß es eigentlich kaum etwas zu diskutieren
gibt. (Oder wagt hier jemand zu widersprechen ;)

> 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 verbunden
> mit der Warnung, das besonders wagemutige Seelen ja die Properties
> checken lassen könnten, aber beim aktuellen Source ist nichts
> dergleichen zu finden... War vielleicht doch nur Einbildung?

Die Property-Language ist z.Zt. Domäne von Klaus Didrich. Ich meine,
die .extp und .intp Dateien wurden abgeschafft, und es ist nun
möglich, LAWs direkt in die Signature oder Implementation zu
schreiben.  Diese Entwicklung nennt sich OPAL 1 and a half, wenn ich
mich nicht irre.

> RUNTIME ERROR: Option at <9,13> : undefined selection cont'Option:option->data
> make[1]: *** [OCS/Impl.extp.inter] Error 134
> make: *** [check] Error 2
> +++failure+++
> 
> Irgendwelche Tips?  Oder warten auf Opal2alpha? ;)

Warten hilft hier wenig ;) Du bist willkommen, selbst zur Entwicklung
von OPAL 2 beizutragen.

Gruß
  Wolfgang

-- 
wg@cs.tu-berlin.de  http://uebb.cs.tu-berlin.de/~wg/

Re: OPAL: Property Language

Author: Klaus Didrich
Date: Tue, 04 May 1999 00:00

47 lines
2199 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads