Shares/mTaskShare.dcl

   1 definition module Shares.mTaskShare
   2
   3 import iTasks
   4 import iTasks._Framework.Serialization
   5 import mTask
   6 import Devices.mTaskDevice
   7
   8 derive class iTask MTaskShare
   9
  10 :: MTaskShare =
  11                 {withTask :: [String]
  12                 ,identifier :: Int
  13                 ,value :: BCValue
  14                 }
  15
  16 //Constructor
  17 makeShare :: String Int BCValue -> MTaskShare
  18
  19 //General viewing task
  20 manageShares :: Task [MTaskDevice]
  21 //manageShares :: [MTaskShare] -> Task MTaskShare
  22
  23 updateShares :: MTaskDevice ([MTaskShare] -> [MTaskShare]) -> Task [MTaskShare]
  24
  25 //Clean out shares when a task has been removed
  26 cleanSharesTask :: Int MTaskDevice -> Task [MTaskShare]
  27 //cleanSharesTask :: Int MTaskDevice -> Task [MTaskShare]
  28 //Clean out shares when a device has been removed
  29
  30 updateShareFromPublish :: MTaskDevice Int BCValue -> Task [MTaskShare]
  31 //updateShare :: Int BCValue -> Task [MTaskShare]
  32
  33 getRealShare :: MTaskDevice MTaskShare -> Shared BCValue
  34 //getRealShare :: MTaskDevice BCShare -> Shared BCValue
  35
  36 //updateShare :: Int BCValue -> Task ()