X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.icl;h=bd5572aeb16e794af8bd9b9cdcf8650b14d96bd2;hb=59c7c761163b0cc5215563644ca60e2a47b9c9a9;hp=716fc18d045490d107c6eb50679bcfbcd5b17e84;hpb=1827e72942a355fc90dcb4e0b93f68c98dc6eea5;p=mTask.git diff --git a/mTaskInterpret.icl b/mTaskInterpret.icl index 716fc18..bd5572a 100644 --- a/mTaskInterpret.icl +++ b/mTaskInterpret.icl @@ -41,18 +41,16 @@ import Text.Encodings.Base64 import Tasks.Examples encode :: MTaskMSGSend -> String -encode (MTTask to data) = "t" +++ tob +++ to16bit (size data) +++ data +++ "\n" - where - tob = case to of - OneShot = to16bit 0 - OnInterval i = to16bit i - OnInterrupt _ = abort "Interrupts not implemented yet" +encode (MTTask to data) = "t" +++ toByteCode to +++ to16bit (size data) +++ data +++ "\n" encode (MTTaskDel i) = "d" +++ to16bit i +++ "\n" encode (MTSds i v) = "s" +++ to16bit i +++ v +++ "\n" encode (MTUpd i v) = "u" +++ to16bit i +++ v +++ "\n" +encode (MTSpec) = "c\n" +import StdDebug decode :: String -> MTaskMSGRecv decode x +| not (trace_tn ("decoding: " +++ toString (toJSON x))) = undef | size x == 0 = MTEmpty = case x.[0] of 't' = MTTaskAck $ fromByteCode x @@ -141,7 +139,7 @@ instance fromByteCode UserLED where fromByteCode s = conses{|*|} !! toInt s.[1] instance fromByteCode BCValue where fromByteCode s = parseBCValue s.[0] s instance toByteCode MTaskInterval where - toByteCode OneShot = toByteCode 0 + toByteCode OneShot = toByteCode (OnInterval 0) //Intervals have the first bit 0 and the rest is a 15 bit unsigned int toByteCode (OnInterval i) = {toChar $ i/256 bitand 127, toChar $ i rem 256} //Intervals have the first bit 1 and the rest is a 15 bit unsigned int @@ -157,9 +155,9 @@ instance fromByteCode MTaskInterval instance fromByteCode MTaskDeviceSpec where fromByteCode s = let c = toInt s.[0] in {MTaskDeviceSpec - |haveLed=c bitand 1 > 0 - ,haveAio=c bitand 2 > 0 - ,haveDio=c bitand 4 > 0 + |haveLed=(c bitand 1) > 0 + ,haveAio=(c bitand 2) > 0 + ,haveDio=(c bitand 4) > 0 ,maxTask=from16bit $ s % (1,3) ,maxSDS=from16bit $ s % (3,5) } @@ -193,7 +191,7 @@ gDefault{|BCValue|} = BCValue 0 gEq{|BCValue|} (BCValue e) (BCValue f) = toByteCode e == toByteCode f derive class gCons Long, UserLED, Button, AnalogPin, DigitalPin, PinMode, Pin -derive class iTask UserLED, Long, Pin, Button, AnalogPin, DigitalPin, PinMode +derive class iTask UserLED, Long, Pin, Button, AnalogPin, DigitalPin, PinMode, MTaskDeviceSpec op2 :: (ByteCode a p1) (ByteCode a p2) BC -> ByteCode b Expr op2 (BC x) (BC y) bc = BC $ x >>| y >>| tell [bc]