doc/statemachine.drawio.svg

<svg host="65bd71144e" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="594px" height="458px" viewBox="-0.5 -0.5 594 458" content="&lt;mxfile&gt;&lt;diagram name=&quot;Page-1&quot; id=&quot;58cdce13-f638-feb5-8d6f-7d28b1aa9fa0&quot;&gt;3VrBcqM4EP0aH50CZDA+jpNsZqqyW7PlrdrMUQEZNMaIFXJs5+tXAgkQ2I5nwAYnhxRqtYTU3e+p1XgE7te7JwqT8E/io2hkGf5uBB5GluWYFv8vBHspsMxcEFDs56KKYIHfkRQaUrrBPko1RUZIxHCiCz0Sx8hjmgxSSra62pJE+lsTGMg3GqVg4cEINdT+xT4LpdQ0KupfEQ5C+WrXlh2v0FsFlGxi+b6RBZbZX969hmouqZ+G0Cfbigg8jsA9JYTlT+vdPYqEaZXZ8nF/HOkt1k1RzM4ZsH+fPePZ+w4FL/95yd/hi7lxx3KWNxhtkNpGtli2Vwbis3Bf8MY8ZOuIy0z+yDeTiP6UQcoWDDLRv8RRdE8iQrOBwMj+hDKjZIUqPcul7GnuQS0IUYZ2FZHc0xMia8Tonquo3omdD5HxZzmyvS29CaQLwooflQzK+AmKmUsb8gdpxl8wqdPSpCj2ezXoVEW+MqjVs0HNWdOAPsewbBLKQhKQGEaPpXTubegb8qVpS5VnQhIp/IkY20s+ghtGat6om7gw/lETp2RDPXRiI3IfHDIBYqc27OaKYpcnPUZRBBl+05msc/tbTZJYfHv69tc/B93yDF/5AaHZEkY4iPmzxy2GuDnnIhgxp+AvsmONfT/zGkUpfoev2XzC1gnBMcv2Y89H9sNB65+MmUbYFweJfItGxofgMDbuDMPUOWYM8ubZ9pezfxfbqUytqKGYtgYhslymPFLqDiwW2cKnxkHnfWJMOcPClHXglHDgmhtyHvF9zBleI0Gw/M180RHkx4VfaASssNkg0aeiqxv0ARN0ij45jT25FthmDV9DL1v48bxgG2KGFgnMYn/LE++aT9Mkz4WXeCcQ2cW5b7n6uW8qL1bOfffAue9e7Nw3GnZLyJr4hBIxVEQz3SSsacXY/yIuBiLmI5im2NONh3aYvcgQF88/Ks8Pu2pjrxox38+LGi4aP6o95aCspUZpdNkn983OpL4Sc9akjrlpIxbsA7GgZC0PRlALxUZumZtGjqreeWoTTUAtpuvBmtuuMRGPH7ivqEkmPL5gS3+Po13F+EM+YW3w5ZlHXc4HcswXODI0HN3ZHyCpQGyueRZmfx9WqgrRFaxagsF0amCYnAeGzmIInKLhrAAw4FREIaB9KsJZUeeSTqhubE50ojWvlpZYzucgB9H6jihPmLOgOsEYZs+MoSop16aM4ni6EmWAZsXglSK4ugG+UKDo5upiW3oaZbXjjCtwwqQHTvhd5F8ip1Z1gg+xPKx6gtmsOi9xjNNQVA2GdMu0VXFTIcLo+ZapEDq4U7AM/3Mumy0i3u0r4g8fXs60dmdTH3Q+uLN1lu+6DSh5MPb4yKFjadI3lD7LhxqVp32c0E0vgom25YeJW/sUXNO3bfeUvl6v6Cwp/Nwl784+OBl3JgDTdomiSkH1z1ZmDfgXTCPthq9voeQNnJ4ZVJUre0q/9ZSj6Lti+q0I9cbSb7Xsm0u/rxnxz2RlgOlPHHzl20aOO37zVqp08ksB32mWoKHndlOGZk5g17it7sJzv6HYqmpxbKILfUNR7XOTmJp+6yTmYLg2c5gh/RTmFMKG+UuYouoN2qcmvFn+mjJXL3+xCh7/Bw==&lt;/diagram&gt;&lt;/mxfile&gt;" style="background-color: rgb(255, 255, 255);">
    <defs/>
    <g>
        <ellipse cx="23" cy="240" rx="11" ry="11" fill="#000000" stroke="#ff0000" pointer-events="all"/>
        <ellipse cx="578" cy="200" rx="11" ry="11" fill="#000000" stroke="#ff0000" pointer-events="all"/>
        <ellipse cx="578" cy="200" rx="15" ry="15" fill="none" stroke="#ff0000" pointer-events="all"/>
        <path d="M 223 120 Q 302 120 302 80 Q 302 40 374.63 40" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 379.88 40 L 372.88 43.5 L 374.63 40 L 372.88 36.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 51px; margin-left: 284px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                SIGINT
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="284" y="54" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    SIGINT
                </text>
            </switch>
        </g>
        <path d="M 223 120 Q 302 120 302 160 Q 302 200 374.63 200" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 379.88 200 L 372.88 203.5 L 374.63 200 L 372.88 196.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 211px; margin-left: 300px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                &lt;time has elapsed&gt;
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="300" y="214" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    &lt;time has elapsed&gt;
                </text>
            </switch>
        </g>
        <ellipse cx="183" cy="120" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 120px; margin-left: 144px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">
                                active
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="183" y="124" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">
                    active
                </text>
            </switch>
        </g>
        <path d="M 154.72 91.72 Q 183 20 208.95 85.79" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 210.87 90.68 L 205.05 85.45 L 208.95 85.79 L 211.56 82.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 40px; margin-left: 183px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                pomodoro interrupt
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="183" y="44" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    pomodoro i...
                </text>
            </switch>
        </g>
        <path d="M 23 225 Q 23 120 136.63 120" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 141.88 120 L 134.88 123.5 L 136.63 120 L 134.88 116.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 106px; margin-left: 40px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                pomodoro start
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="40" y="109" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    pomodoro start
                </text>
            </switch>
        </g>
        <path d="M 23 255 Q 23 360 136.63 360" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 141.88 360 L 134.88 363.5 L 136.63 360 L 134.88 356.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 359px; margin-left: 26px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                break start
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="26" y="362" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    break start
                </text>
            </switch>
        </g>
        <path d="M 461 200 Q 461 200 556.63 200" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 561.88 200 L 554.88 203.5 L 556.63 200 L 554.88 196.5 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <ellipse cx="421" cy="200" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 200px; margin-left: 382px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">
                                finished
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="421" y="204" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">
                    finished
                </text>
            </switch>
        </g>
        <path d="M 461 40 Q 578 40 578 178.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 578 183.88 L 574.5 176.88 L 578 178.63 L 581.5 176.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <ellipse cx="421" cy="40" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 40px; margin-left: 382px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">
                                cancelled
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="421" y="44" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">
                    cancelled
                </text>
            </switch>
        </g>
        <path d="M 183 400 Q 183 440 302 440 Q 421 440 421 406.37" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 421 401.12 L 424.5 408.12 L 421 406.37 L 417.5 408.12 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 451px; margin-left: 319px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                &lt;time has elapsed&gt;
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="319" y="454" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    &lt;time has elapsed&gt;
                </text>
            </switch>
        </g>
        <ellipse cx="183" cy="360" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 360px; margin-left: 144px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">
                                active
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="183" y="364" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">
                    active
                </text>
            </switch>
        </g>
        <path d="M 461 360 Q 578 360 578 221.37" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 578 216.12 L 581.5 223.12 L 578 221.37 L 574.5 223.12 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <ellipse cx="421" cy="360" rx="40" ry="40" fill="#ffffff" stroke="#000000" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 78px; height: 1px; padding-top: 360px; margin-left: 382px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; white-space: normal; word-wrap: normal; ">
                                finished
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="421" y="364" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">
                    finished
                </text>
            </switch>
        </g>
        <path d="M 183 320 Q 183 280 302 280 Q 421 280 421 313.63" fill="none" stroke="#000000" stroke-miterlimit="10" pointer-events="stroke"/>
        <path d="M 421 318.88 L 417.5 311.88 L 421 313.63 L 424.5 311.88 Z" fill="#000000" stroke="#000000" stroke-miterlimit="10" pointer-events="all"/>
        <g transform="translate(-0.5 -0.5)">
            <switch>
                <foreignObject style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility">
                    <div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 1px; height: 1px; padding-top: 271px; margin-left: 303px;">
                        <div style="box-sizing: border-box; font-size: 0; text-align: center; ">
                            <div style="display: inline-block; font-size: 11px; font-family: Helvetica; color: #000000; line-height: 1.2; pointer-events: all; background-color: #ffffff; white-space: nowrap; ">
                                SIGINT
                            </div>
                        </div>
                    </div>
                </foreignObject>
                <text x="303" y="274" fill="#000000" font-family="Helvetica" font-size="11px" text-anchor="middle">
                    SIGINT
                </text>
            </switch>
        </g>
    </g>
    <switch>
        <g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/>
        <a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank">
            <text text-anchor="middle" font-size="10px" x="50%" y="100%">
                Viewer does not support full SVG 1.1
            </text>
        </a>
    </switch>
</svg>