update message spec

diff --git a/client/main.c b/client/main.c
index 3388f21..90f6e5f 100644 (file)
--- a/client/main.c
+++ b/client/main.c
@@ -17,6 +17,7 @@
 #define MSG_GET_TASK 't'
 #define MSG_DEL_TASK 'd'
 #define MSG_SDS_SPEC 's'
+#define MSG_SDS_DEL 'a'
 #define MSG_SDS_UPD 'u'
 
 void read_message(void)
@@ -24,7 +25,6 @@ void read_message(void)
        //Find next task
        if(input_available()){
                uint8_t c = read_byte();
-               uint8_t ct;
                debug("Receiving input: %c %02x\n", c, c);
                switch(c){
                case MSG_SDS_SPEC:
@@ -36,16 +36,17 @@ void read_message(void)
                        //TODO do something with the return value
                        sds_update();
                        break;
+               case MSG_SDS_DEL:
+                       debug("Receiving a delete SDS request");
+                       sds_delete();
+                       break;
                case MSG_DEL_TASK:
                        debug("Receiving a delete task request");
                        task_delete();
                        break;
                case MSG_GET_TASK:
                        debug("Receiving a task");
-                       ct = task_register();
-                       write_byte('t');
-                       write16(ct);
-                       write_byte('\n');
+                       task_register();
                        break;
                case '\0':
                        break;

diff --git a/client/sds.c b/client/sds.c
index c5f69b6..c2fdbde 100644 (file)
--- a/client/sds.c
+++ b/client/sds.c
@@ -36,6 +36,20 @@ void sds_register(void)
 
        debug("Received sds %d: %d", sdss[cs].id, sdss[cs].value);
        sdss[cs].used = true;
+
+       write_byte('s');
+       write16(sdss[cs].id);
+       write_byte('\n');
+}
+
+void sds_delete(void)
+{
+       uint8_t cs;
+       cs = read16();
+       sdss[cs].used = false;
+       write_byte('a');
+       write16(sdss[cs].id);
+       write_byte('\n');
 }
 
 bool sds_update(void)
@@ -52,6 +66,9 @@ bool sds_update(void)
                        sdss[cs].value = read16();
                        debug("Received sds update %d: %d",
                              sdss[cs].id, sdss[cs].value);
+                       write_byte('u');
+                       write16(sdss[cs].id);
+                       write_byte('\n');
                        return true;
                }
        }
@@ -64,7 +81,7 @@ void sds_publish(int id)
        for(cs = 0; cs<MAXSDSS; cs++){
                if(sdss[cs].used && sdss[cs].id == id){
                        debug("Publish %d=%d", sdss[cs].id, sdss[cs].value);
-                       write_byte('u');
+                       write_byte('p');
                        write16(sdss[cs].id);
                        write16(sdss[cs].value);
                        write_byte('\n');

diff --git a/client/sds.h b/client/sds.h
index 1cc5b3b..ab67bc8 100644 (file)
--- a/client/sds.h
+++ b/client/sds.h
@@ -13,6 +13,7 @@ struct sds {
 
 void sds_init(void);
 void sds_register(void);
+void sds_delete(void);
 bool sds_update(void);
 void sds_publish(int id);
 int sds_fetch(int id);

diff --git a/client/task.c b/client/task.c
index 3d9a644..9ef5403 100644 (file)
--- a/client/task.c
+++ b/client/task.c
@@ -16,7 +16,7 @@ void task_init(void)
        memset(&tasks, 0, sizeof(struct task)*MAXTASKS);
 }
 
-int task_register(void)
+void task_register(void)
 {
        uint8_t ct;
        uint16_t i;
@@ -48,12 +48,18 @@ int task_register(void)
        tasks[ct].used = true;
        tasks[ct].lastrun = 0L;
 
-       return ct;
+       write_byte('t');
+       write16(ct);
+       write_byte('\n');
 }
 
 void task_delete(void)
 {
-       tasks[read_byte()].used = false;
+       uint8_t c = read_byte();
+       tasks[c].used = false;
+       write_byte('d');
+       write16(c);
+       write_byte('\n');
 }
 
 struct task *task_get(int num)

diff --git a/client/task.h b/client/task.h
index bfa2f55..0ea1b99 100644 (file)
--- a/client/task.h
+++ b/client/task.h
@@ -16,7 +16,7 @@ struct task {
 };
 
 void task_init(void);
-int task_register(void);
+void task_register(void);
 void task_delete(void);
 struct task *task_get(int num);
 

diff --git a/mTaskInterpret.dcl b/mTaskInterpret.dcl
index 0105944..319ffb3 100644 (file)
--- a/mTaskInterpret.dcl
+++ b/mTaskInterpret.dcl
@@ -6,14 +6,17 @@ from Data.Monoid import class Semigroup, class Monoid
 import mTask
 
 :: MTaskMSGRecv
-       = MTPub Int String
+       = MTTaskAck Int
+       | MTTaskDelAck Int
+       | MTSDSAck Int
+       | MTSDSDelAck Int
+       | MTPub Int String
        | MTMessage String
-       | MTTaskAdded Int
        | MTEmpty
 
 :: MTaskMSGSend
-       = MTSds Int String
-       | MTTask Int String
+       = MTTask Int String
+       | MTSds Int String
        | MTUpd Int String
 
 instance toString MTaskMSGRecv

diff --git a/mTaskInterpret.icl b/mTaskInterpret.icl
index 1833e62..c63c95d 100644 (file)
--- a/mTaskInterpret.icl
+++ b/mTaskInterpret.icl
@@ -23,19 +23,22 @@ import qualified Data.Map as DM
 import Text.Encodings.Base64
 
 encode :: MTaskMSGSend -> String
-encode (MTSds i v) = "s" +++ to16bit i +++ v +++ "\n"
 encode (MTTask to data) = "t" +++ to16bit to +++ to16bit (size data) +++ data +++ "\n"
+encode (MTSds i v) = "s" +++ to16bit i +++ v +++ "\n"
 encode (MTUpd i v) = "u" +++ to16bit i +++ v +++ "\n"
 
 decode :: String -> MTaskMSGRecv
 decode x
 | size x == 0 = MTEmpty
 = case x.[0] of
+       't' = MTTaskAck (from16bit (x % (1,3)))
+       'd' = MTTaskDelAck (from16bit (x % (1,3)))
+       'm' = MTMessage x
+       's' = MTSDSAck (from16bit (x % (1,3)))
+       'a' = MTSDSDelAck (from16bit (x % (1,3)))
+       'p' = MTPub (from16bit (x % (1,3))) (x % (3,5))
        '\0' = MTEmpty
        '\n' = MTEmpty
-       'm' = MTMessage x
-       't' = MTTaskAdded (from16bit (x % (1,3)))
-       'u' = MTPub (from16bit (x % (1,3))) (x % (3,5))
        _ = MTMessage x//abort ("Didn't understand message: " +++ join " " [toString (toInt c)\\c<-: x] +++ "\n")
 
 safePrint :== toString o toJSON
@@ -49,9 +52,13 @@ instance toString MTaskMSGSend where
                +++ " value " +++ safePrint v
 
 instance toString MTaskMSGRecv where
+       toString (MTTaskAck i) = "Task added with id: " +++ toString i
+       toString (MTTaskDelAck i) = "Task deleted with id: " +++ toString i
+       toString (MTSDSAck i) = "SDS added with id: " +++ toString i
+       toString (MTSDSDelAck i) = "SDS deleted with id: " +++ toString i
        toString (MTPub i v) = "Publish id: " +++ toString i
                +++ " value " +++ safePrint v
-       toString (MTTaskAdded i) = "Task added with id: " +++ toString i
+       toString (MTMessage m) = m
        toString MTEmpty = "Empty message"
 
 bclength :: BC -> Int

diff --git a/miTask.icl b/miTask.icl
index 5436ffe..767cd98 100644 (file)
--- a/miTask.icl
+++ b/miTask.icl
@@ -113,7 +113,8 @@ mTaskTask = let (msgs, sdsShares) = makeMsgs 1000 bc in
                = updateSDSs xs m n
                updateSDSs _ m mtm = case mtm of
                        MTMessage s = upd (\l->take 5 [s:l]) m @! ()
-                       mta=:(MTTaskAdded _) = upd (\l->take 5 [toString mta:l]) m @! ()
+                       mta=:(MTTaskAck _) = upd (\l->take 5 [toString mta:l]) m @! ()
+                       //TODO other recv msgs
                        _ = return ()
 
                lens :: ([MTaskMSGRecv], [MTaskMSGSend],Bool) -> ([String], [String])