Utils/SDS.dcl

   1 definition module Utils.SDS
   2
   3 import Shares.mTaskShare
   4 import Devices.mTaskDevice
   5 import iTasks
   6
   7 memoryShare :: String a -> Shared a | iTask a
   8
   9 deviceStore :: Shared [MTaskDevice]
  10 sdsStore :: Shared [MTaskShare]
  11 bcStateStore :: Shared BCState
  12 mTaskTaskStore :: Shared [String]
  13
  14 getSDSRecord :: Int -> Task MTaskShare