SDL-News: context


Subject: SDL-News: context
KEMoss6#aol.com
Date: Sun Jan 05 2003 - 15:18:43 GMT


Hello everyone

I spend my life asking questions it seems but usually to some purpose.

I would like to be able to understand context parameters and parameterised
types. In particular I would like to be able to use a Pid value as a
parameter to a block type. Unfortunately the syntax for doing seems to be
beyond my comprehension. Is there anybody who could give an example of the
formal definition of a parameterised and the actual type definition? Clearly
the graphical representation would be preferable.

I have the SDL definition documentation but I cannot interpret it correctly.
Any help would be most welcome

Keith Moss
Open University Tutor UK

Hello everyone

I spend my life asking questions it seems but usually to some purpose.

I would like to be able to understand context parameters and parameterised types. In particular I would like to be able to use a Pid value as a parameter to a block type. Unfortunately the syntax for doing seems to be beyond my comprehension. Is there anybody who could give an example of the formal definition of a parameterised and the actual type definition? Clearly the graphical representation would be preferable.

I have the SDL definition documentation but I cannot interpret it correctly. Any help would be most welcome

Keith Moss
Open University Tutor UK
--End text from KEMoss6#aol.com to sdlnews --- For extra SDL Forum Society benefits join at



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