[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Inheritance that can add/remove and new occam?
When I make library code of occam programs I end up wanting some
action to be constrained. Either I don't want to send on a
channel (because I have no server listening) or I don't want
to listen on a channel (or want to listen on a channel that
wasn't there originally). Now I use boolean flags (parameters)
to get something like this.
What I'm saying is: I want the local ALT to be "connected"
with a new and dynamic branch, and perhaps even have removed
a branch. I also want a local "!" (send) to be
qualified/constrained by some kind of (dynamic?) flag; perhaps
this is saying that I do or don't want to handle some part
of the code (no: that output channel should really disappear).
I would like a "new occam" to have this functionality, but
is this possible without some kind of inheritance (like in
SC++)?? (But then, inheritance can't remove, only add..)
Is this possible in JCSP or CTJ?
Which proves this is no religion: we do see shortcomings.
@ Oyvind Teig (oyvind.teig@xxxxxxxxxxxx, oyvind.teig@xxxxxxxxxxxx)
@ Navia Maritime AS, division Autronica, 7005 Trondheim Norway
@ Tel: +47 73 58 12 68, Fax: +47 73 58 10 01
@ Now part of world's largest company in maritime electronics:
@ Publications at: http://www.autronica.no/pub/tech/rd/index.htm