added sds operators, timing and task deletion

[mTask.git] / mTaskInterpret.dcl

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index 32e7b9b..0939ab4 100644 (file)
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -6,23 +6,61 @@ import mTask
 
 :: BC
        = BCNop
-       | BCPush String
+       | BCPush Int
        | BCPop
+       //SDS functions
+       | BCSdsStore Int
+       | BCSdsFetch Int
+       | BCSdsPublish Int
        //Unary ops
-       | BCNeg
        | BCNot
        //Binary Int ops
        | BCAdd
        | BCSub
        | BCMul
        | BCDiv
+       //Binary Bool ops
+       | BCAnd
+       | BCOr
+       | BCEq
+       | BCNeq
+       | BCLes
+       | BCGre
+       | BCLeq
+       | BCGeq
+       //Conditionals and jumping
+       | BCJmp Int
+       | BCJmpT Int
+       | BCJmpF Int
+       //Serial
+       | BCSerialAvail
+       | BCSerialPrint
+       | BCSerialPrintln
+       | BCSerialRead
+       | BCSerialParseInt
+       //Pins
+       | BCAnalogRead Pin
+       | BCAnalogWrite Pin
+       | BCDigitalRead Pin
+       | BCDigitalWrite Pin
+       | BCTest AnalogPin
 
-:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
+//:: ByteCode a p = BC (BCState -> ([BC], BCState))
+:: ByteCode a p = BC [BC]
+//:: ByteCode a p = BC ((ReadWrite (ByteCode a Expr)) BCState -> ([BC], BCState))
 :: BCState = {
                a::()
        }
 
-toByteVal :: BC -> String
+class toByteCode a :: a -> [Char]
+instance toByteCode Int
+instance toByteCode Bool
+instance toByteCode Char
+instance toByteCode String
+instance toByteCode Long
+instance toByteCode Button
+
+toByteVal :: BC -> [Char]
 toReadableByteVal :: BC -> String
 
 //instance toCode Pin