X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=63778bd54c8bffbd84b02e4f5e6cdf14523f310f;hb=d963745f754d618bd6a729633050c24831e727e0;hp=2e9e5b8ae20bdb9b81e7eb8f36cf3cb04eb45d62;hpb=8155b7e2298e78fd53fc17df35d940472dcf8661;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 2e9e5b8..63778bd 100644 --- a/mTaskInterpret.dcl +++ b/mTaskInterpret.dcl @@ -11,7 +11,7 @@ from GenPrint import generic gPrint from Generics.gCons import class gCons, generic conses, generic consName, generic consIndex, generic consNum :: MTaskMSGRecv - = MTTaskAck Int + = MTTaskAck Int Int | MTTaskDelAck Int | MTSDSAck Int | MTSDSDelAck Int @@ -21,10 +21,10 @@ from Generics.gCons import class gCons, generic conses, generic consName, generi | MTEmpty :: MTaskMSGSend - = MTTask MTaskInterval String + = MTTask MTaskInterval Char String | MTTaskDel Int - | MTSds Int String - | MTUpd Int String + | MTSds Int BCValue + | MTUpd Int BCValue | MTSpec :: MTaskInterval @@ -36,8 +36,7 @@ from Generics.gCons import class gCons, generic conses, generic consName, generi {haveLed :: Bool ,haveAio :: Bool ,haveDio :: Bool - ,maxTask :: Int //Should be number of bytes reserved in total for shares, tasks and functions - ,maxSDS :: Int + ,bytesMemory :: Int } :: BCValue = E.e: BCValue e & mTaskType e @@ -68,6 +67,7 @@ decode :: String -> MTaskMSGRecv //Binary Bool ops | BCAnd | BCOr + //Binary ops | BCEq | BCNeq | BCLes @@ -92,7 +92,8 @@ decode :: String -> MTaskMSGRecv | BCAnalogWrite Pin | BCDigitalRead Pin | BCDigitalWrite Pin - | BCTest AnalogPin + //Return + | BCReturn derive gPrint BCValue, MTaskDeviceSpec derive consIndex BCValue @@ -144,6 +145,7 @@ instance If ByteCode Stmt e Stmt instance If ByteCode x y Stmt instance IF ByteCode instance noOp ByteCode +instance retrn ByteCode instance sds ByteCode instance assign ByteCode @@ -151,7 +153,6 @@ instance seq ByteCode instance serial ByteCode toMessages :: MTaskInterval (Main (ByteCode a b)) BCState -> ([MTaskMSGSend], BCState) -toSDSUpdate :: Int Int -> [MTaskMSGSend] toByteVal :: BC -> String toReadableByteCode :: (ByteCode a b) BCState -> (String, BCState)