assets/state-machine-spec.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" contentScriptType="application/ecmascript" contentStyleType="text/css" height="499px" preserveAspectRatio="none" style="width:257px;height:499px;" version="1.1" viewBox="0 0 257 499" width="257px" zoomAndPan="magnify"><defs><filter height="300%" id="fzh8cpauesrok" width="300%" x="-1" y="-1"><feGaussianBlur result="blurOut" stdDeviation="2.0"/><feColorMatrix in="blurOut" result="blurOut2" type="matrix" values="0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .4 0"/><feOffset dx="4.0" dy="4.0" in="blurOut2" result="blurOut3"/><feBlend in="SourceGraphic" in2="blurOut3" mode="normal"/></filter></defs><g><ellipse cx="189.5" cy="18" fill="#000000" filter="url(#fzh8cpauesrok)" rx="10" ry="10" style="stroke: none; stroke-width: 1.0;"/><rect fill="#FEFECE" filter="url(#fzh8cpauesrok)" height="50" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="80" x="149.5" y="89"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="149.5" x2="229.5" y1="115.2969" y2="115.2969"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="60" x="159.5" y="106.9951">Sleeping</text><rect fill="#FEFECE" filter="url(#fzh8cpauesrok)" height="50" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="69" x="107" y="200"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="107" x2="176" y1="226.2969" y2="226.2969"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="49" x="117" y="217.9951">Hungry</text><rect fill="#FEFECE" filter="url(#fzh8cpauesrok)" height="50" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="57" x="6" y="327"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="6" x2="63" y1="353.2969" y2="353.2969"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="37" x="16" y="344.9951">Dead</text><ellipse cx="34.5" cy="463" fill="none" filter="url(#fzh8cpauesrok)" rx="10" ry="10" style="stroke: #000000; stroke-width: 1.0;"/><ellipse cx="35" cy="463.5" fill="#000000" rx="6" ry="6" style="stroke: none; stroke-width: 1.0;"/><rect fill="#FEFECE" filter="url(#fzh8cpauesrok)" height="50" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="86" x="98.5" y="327"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="98.5" x2="184.5" y1="353.2969" y2="353.2969"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="66" x="108.5" y="344.9951">Digesting</text><rect fill="#FEFECE" filter="url(#fzh8cpauesrok)" height="50" rx="12.5" ry="12.5" style="stroke: #A80036; stroke-width: 1.5;" width="63" x="182" y="438"/><line style="stroke: #A80036; stroke-width: 1.5;" x1="182" x2="245" y1="464.2969" y2="464.2969"/><text fill="#000000" font-family="sans-serif" font-size="14" lengthAdjust="spacingAndGlyphs" textLength="43" x="192" y="455.9951">Playful</text><!--link *start to Sleeping--><path d="M189.5,28.2737 C189.5,41.3608 189.5,64.5555 189.5,83.5207 " fill="none" id="*start-Sleeping" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="189.5,88.7458,193.5,79.7458,189.5,83.7458,185.5,79.7458,189.5,88.7458" style="stroke: #A80036; stroke-width: 1.0;"/><!--link Hungry to Dead--><path d="M114.5945,250.2016 C105.357,259.2908 95.1679,269.822 86.5,280 C75.0929,293.3944 63.5241,309.1521 54.2039,322.5054 " fill="none" id="Hungry-Dead" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="51.1329,326.9349,59.5481,321.8178,53.9818,322.8259,52.9736,317.2596,51.1329,326.9349" style="stroke: #A80036; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="45" x="87.5" y="293.0669">not fed</text><!--link Dead to *end--><path d="M34.5,377.1876 C34.5,398.8675 34.5,429.4491 34.5,447.646 " fill="none" id="Dead-*end" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="34.5,452.8722,38.5,443.8722,34.5,447.8722,30.5,443.8722,34.5,452.8722" style="stroke: #A80036; stroke-width: 1.0;"/><!--link Hungry to Digesting--><path d="M141.5,250.0911 C141.5,270.7035 141.5,299.9647 141.5,321.8484 " fill="none" id="Hungry-Digesting" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="141.5,326.961,145.5,317.961,141.5,321.961,137.5,317.961,141.5,326.961" style="stroke: #A80036; stroke-width: 1.0;"/><text fill="#000000" font-family="sans-serif" font-size="13" lengthAdjust="spacingAndGlyphs" textLength="20" x="142.5" y="293.0669">fed</text><!--link Digesting to Playful--><path d="M157.8379,377.1876 C168.7006,393.9342 183.0085,415.9923 194.3979,433.5509 " fill="none" id="Digesting-Playful" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="197.2267,437.9121,195.6847,428.1847,194.5057,433.7173,188.973,432.5384,197.2267,437.9121" style="stroke: #A80036; stroke-width: 1.0;"/><!--link Playful to Sleeping--><path d="M211.7574,437.6593 C207.4344,374.7964 196.2318,211.892 191.5763,144.193 " fill="none" id="Playful-Sleeping" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="191.226,139.0992,187.8531,148.3525,191.5691,144.0874,195.8342,147.8035,191.226,139.0992" style="stroke: #A80036; stroke-width: 1.0;"/><!--link Sleeping to Hungry--><path d="M178.6081,139.1876 C171.4276,155.7923 161.9891,177.6189 154.4282,195.1036 " fill="none" id="Sleeping-Hungry" style="stroke: #A80036; stroke-width: 1.0;"/><polygon fill="#A80036" points="152.3488,199.9121,159.5924,193.2391,154.3334,195.3228,152.2496,190.0637,152.3488,199.9121" style="stroke: #A80036; stroke-width: 1.0;"/><!--
@startuml
[*] - -> Sleeping
Hungry - -> Dead : not fed
Dead - -> [*]
Hungry - -> Digesting : fed
Digesting - -> Playful
Playful - -> Sleeping
Sleeping - -> Hungry
@enduml

PlantUML version 1.2017.18(Fri Oct 06 18:56:32 CEST 2017)
(GPL source distribution)
Java Runtime: OpenJDK Runtime Environment
JVM: OpenJDK 64-Bit Server VM
Java Version: 1.8.0_144-b01
Operating System: Linux
OS Version: 4.13.5-1-ARCH
Default Encoding: UTF-8
Language: en
Country: US
--></g></svg>