aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mussel1/mussel1.puml22
-rw-r--r--mussel2/mussel2.puml22
2 files changed, 44 insertions, 0 deletions
diff --git a/mussel1/mussel1.puml b/mussel1/mussel1.puml
new file mode 100644
index 0000000..49b2fc7
--- /dev/null
+++ b/mussel1/mussel1.puml
@@ -0,0 +1,22 @@
+@startuml
+skin plantuml
+'skin rose
+'!theme vibrant
+
+start
+partition init {
+:setup serial connection;
+:print "ready";
+}
+while (endlessly every few millisecond)
+partition loop {
+if (currentSecond < 50 ?) equals (yes) then
+:print "good";
+else (no)
+:print "bad";
+endif
+}
+endwhile
+:(this point never reached);
+stop
+@enduml
diff --git a/mussel2/mussel2.puml b/mussel2/mussel2.puml
new file mode 100644
index 0000000..7175d5e
--- /dev/null
+++ b/mussel2/mussel2.puml
@@ -0,0 +1,22 @@
+@startuml
+skin plantuml
+'skin rose
+'!theme vibrant
+
+start
+partition init {
+:setup serial connection;
+:print "ready";
+}
+while (endlessly every few millisecond)
+partition loop {
+if (currentSecond mod 12 < 9 ?) equals (yes) then
+:print "good";
+else (no)
+:print "bad";
+endif
+}
+endwhile
+:(this point never reached);
+stop
+@enduml