Diff: PVARP.h

Revision:

0:6477530de2c0

diff -r 000000000000 -r 6477530de2c0 PVARP.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/PVARP.h	Fri Nov 27 21:43:33 2015 +0000
@@ -0,0 +1,36 @@
+/* PVARP */
+void PVARP(void const *i)
+{
+    int CurrentState = PVARP_INITIAL;
+    RtosTimer local_timer = RtosTimer(PVARP_timer, osTimerPeriodic,(void *)0);
+    local_timer.start(1);
+    while (true) {
+        switch (CurrentState) {
+            case PVARP_ASENSE:
+                if(PVARP_clock >= ASENSE_TIME_UPPER) {
+                    SyncStatus[ASENSE] = agre_time;
+                    CurrentState = PVARP_INITIAL;
+                    PVARP_clock = 0;
+                    pc.printf("ASense ");
+                    pc.printf("Time: %ld", agre_time);
+                    pc.printf("\n");
+                }
+                break;
+        }
+        for(int trn=30; trn<=25; trn++) {
+            if(TRANS[trn].source == CurrentState){
+                TRANS[trn].active = true;
+            }else{
+                TRANS[trn].active = false;
+            }
+            if(TRANS[trn].active) {
+                if(EVAL_GUARD(trn)) {
+                    if(TRANS[trn].syncid == NONE || agre_time - SyncStatus[TRANS[trn].syncid] < Broadcase_delay) {
+                        CurrentState = TRANS[trn].dest;
+                        ASSIGN(trn);
+                    }
+                }
+            }
+        }
+    }
+}