Interface for qBeta module object

Origin: ISoLA2022

ProducerModule: obj  

   %requires BufferModule

   %visible BufferModule

   %public 

   Producer: Process

      -- A Producer generates a number of values

      -- and stores them in a buffer

      -- to be picked up by a Consumer

      in buf: ref Buffer -- the Buffer used for communication with a Consumer

   MyTestClass: Process

      in V: var integer

      %public 

      foo1: 

         in x: var integer

         out V: var boolean

      foo2: 

         in x: var integer

         out V: var boolean

      %domain 

      bar1: 

         in x: var integer

         out V: var boolean

      bar2: 

         in x: var integer

         out V: var boolean

      %public 

      hest: 

         in x: var integer

         out V: var boolean