lpe of procdef with hidden channels
pjljvandelaar opened this issue · comments
As a user I would like to transform all procdefs using lpe.
However, currently only procdefs with channels defined in CHANDEF
and direction specified in MODELDEF
are transformed.
For example, to lpe transform grab
of the Wheel example.
I have to add
CHANDEF extra ::= Acquire
; Release
ENDDEF
and extend MODELDEF Model
with
...
CHAN OUT ...
, Acquire
, Release
BEHAVIOUR ...