X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mTaskInterpret.dcl;h=221c8a4fdfb4620e39596a483bafb71c9b26aa0b;hb=6abf86833edeae1742db393160db8a9e5c043889;hp=0deb6652f642afca08fbda26c3635ff72a81ecd0;hpb=93cabbcd5d18b7b45d6f43a6ff39f94cfcb95522;p=mTask.git diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl index 0deb665..221c8a4 100644 --- a/mTaskInterpret.dcl +++ b/mTaskInterpret.dcl @@ -5,6 +5,26 @@ from Control.Monad.State import :: State, :: StateT from Data.Monoid import class Semigroup, class Monoid import mTask +:: MTaskMSGRecv + = MTTaskAck Int + | MTTaskDelAck Int + | MTSDSAck Int + | MTSDSDelAck Int + | MTPub Int String + | MTMessage String + | MTEmpty + +:: MTaskMSGSend + = MTTask Int String + | MTTaskDel Int + | MTSds Int String + | MTUpd Int String + +instance toString MTaskMSGRecv +instance toString MTaskMSGSend +encode :: MTaskMSGSend -> String +decode :: String -> MTaskMSGRecv + :: BC = BCNop | BCLab Int @@ -34,6 +54,9 @@ import mTask | BCJmp Int | BCJmpT Int | BCJmpF Int + //UserLED + | BCLedOn [Char] + | BCLedOff [Char] //Serial | BCSerialAvail | BCSerialPrint @@ -65,16 +88,18 @@ instance toByteCode Char instance toByteCode String instance toByteCode Long instance toByteCode Button +instance toByteCode UserLED instance toChar Pin instance arith ByteCode instance boolExpr ByteCode instance analogIO ByteCode instance digitalIO ByteCode -instance If ByteCode Stmt Stmt Stmt -instance If ByteCode Stmt e Stmt -instance If ByteCode Stmt Stmt e -instance If ByteCode x y Expr +instance userLed ByteCode +//instance If ByteCode Stmt Stmt Stmt +//instance If ByteCode e Stmt Stmt +//instance If ByteCode Stmt e Stmt +instance If ByteCode x y Stmt instance IF ByteCode instance noOp ByteCode @@ -83,9 +108,11 @@ instance assign ByteCode instance seq ByteCode instance serial ByteCode -getSDSBytes :: BCState -> String -getTaskBytes :: Int String -> String +//pub :: (ByteCode a b) -> ByteCode a b + +toMessages :: Int (String, BCState) -> ([MTaskMSGSend], BCState) +toSDSUpdate :: Int Int -> [MTaskMSGSend] toByteVal :: BC -> [Char] toReadableByteCode :: (ByteCode a b) -> (String, BCState) -toRealByteCode :: (ByteCode a b) -> (String, BCState) +toRealByteCode :: (ByteCode a b) BCState -> (String, BCState)