Re: SDL-News: Import/Export - reg


Subject: Re: SDL-News: Import/Export - reg
From: Eckhardt Holz (holz#informatik.hu-berlin.de)
Date: Wed Jun 13 2001 - 08:37:20 GMT


Dear Elangovan,

could you please be a little bit more precise, about what did not
happen.
Looking at your goal (in the english text) and on the sdl-text, I see
that you
are atleast missing a channel:

Elangovan Angannan schrieb:
(....)
>
> The objective of this system is to send a signal
> setx(Integer) from env to process1. The process1 has
               ^^^^^^^^^^^^^^^^^^^^^^
> to export the value, so that process2 can import it
> and send back to the environment through
> fromp2(Integer) signal.
>
(.....)
So your spec should be changed as follows:

> *** START of modified system ***
>
> package referenced;
>
> package mypackage;
> signal setx(integer),fromp2(integer);
> endpackage;
>
> use mypackage;
> block myblock;
> remote x integer;
> signalroute SR1 from p2 to env with fromp2;
> signalroute SR2 from p1 to env with setx;
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^
should be
   signalroute SR2 from env to p1 with setx;

> process p1 referenced;
> process p2 referenced;
> endblock;
>
(....)




This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT