SDL-News: Exported Variables


Subject: SDL-News: Exported Variables
From: Martin v. Loewis (loewis#informatik.hu-berlin.de)
Date: Mon Dec 15 1997 - 19:58:50 GMT


The originator of this message is responsible for its content.
-----From "Martin v. Loewis" <loewis#informatik.hu-berlin.de> to sdlnews -----

Z.100, in section 4.13, states

"... In case of no *as* clause the remote variable definition in the
nearest enclosing scope unit with the same name and sort as the
exported variable is denoted."

This would indicate that the specification below is correct

system a;
  remote var boolean;
  block b;
    remote var integer;
    process c1;
    dcl exported var integer;
    start;stop;
    endprocess;

    process c2;
    dcl exported var boolean;
    start;stop;
    endprocess;
  endblock;
endsystem;

The export in c2 would denote <<system a>> var, as
<<system a / block b>>var has a different sort.

However, the transformation in Annex F.2 will produce an error
in 5.8.5.9, elab-variables: "Exported variable not of same sort as
remote variable".

Which one is correct?

Any comments appreciated,
Martin

-----End text from "Martin v. Loewis" <loewis#informatik.hu-berlin.de> to sdlnews -----
For help, email "majordomo#sdl-forum.org" with the body of your email as:
    help
or (iff this does not answer your question) email: owner-sdlnews#sdl-forum.org



This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT