diff options
author | Jonas Smedegaard <dr@jones.dk> | 2025-04-19 10:34:39 +0200 |
---|---|---|
committer | Jonas Smedegaard <dr@jones.dk> | 2025-04-19 10:34:39 +0200 |
commit | e546c1924d534961cc1293ea0d878819f9f29a0c (patch) | |
tree | 5203119d57328db9cee97545bcf12df44314434c /ballotbox | |
parent | 217819954fa3ee999e837dafd26817f69b5746b9 (diff) |
drop superseded diagram
Diffstat (limited to 'ballotbox')
-rw-r--r-- | ballotbox/ballotbox.puml | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/ballotbox/ballotbox.puml b/ballotbox/ballotbox.puml deleted file mode 100644 index d03c650..0000000 --- a/ballotbox/ballotbox.puml +++ /dev/null @@ -1,38 +0,0 @@ -@startuml -start -partition init { -:setup serial connection; -:setup Bluetooth - * init server background task - * add hook to capture votes; -:setup ballot - * resolve nextVotingTime - * clear votes; -:print "ready"; -} -while (repeat every few millisecond) -partition loop { -:resolve currentTime; -if (currentTime >= nextVotingTime?) equals (yes) then -:count and print ballot; -switch (voterCount?) -case (< 5) -:print "ALARM: Too few voters!"; -kill -case (<= 8) -:resolve votesPositive; -if (votesPositive < 5 ?) equals (yes) then -:print "ALARM: Bad water quality!"; -kill -endif -:setup ballot; -case (> 8) -:print "ALARM: Too many voters!"; -kill -endswitch -endif -} -endwhile --[hidden]-> -kill -@enduml |