Tasks/mTaskTask.icl

   1 implementation module Tasks.mTaskTask
   2
   3 import mTask
   4 import iTasks
   5 import Devices.mTaskDevice
   6
   7 import iTasks._Framework.Serialization
   8
   9 derive class iTask MTaskTask, MTaskInterval, Main, ByteCode, Stmt, Expr, BC, BCState, RWST, Identity
  10
  11 makeTask :: String Int -> Task MTaskTask
  12 makeTask name ident = get currentDateTime
  13         @ \dt->{MTaskTask | name=name,ident=ident,dateAdded=dt}
  14
  15 sendTaskToDevice :: String (Main (ByteCode a Stmt)) (MTaskDevice, MTaskInterval) -> Task [MTaskDevice]
  16 sendTaskToDevice wta mTask (device, timeout)
  17 # (msgs, newState) = toMessages timeout mTask device.deviceState
  18 # shares = [makeShare wta sdsi sdsval\\{sdsi,sdsval}<-newState.sdss, (MTSds sdsi` _)<-msgs | sdsi == sdsi`]
  19 = updateShares device ((++) shares)
  20         >>| sendMessages msgs device
  21         >>| makeTask wta -1
  22         >>= withDevices device o addTaskUpState newState
  23         where
  24                 addTaskUpState :: BCState MTaskTask MTaskDevice -> MTaskDevice
  25                 addTaskUpState st task device = { MTaskDevice | device &
  26                         deviceState=st, deviceTasks=[task:device.deviceTasks]}