protocol-ml/index.html at master · YeeShin504/protocol-ml · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="UTF-8" />
  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
  <title>protocol-ml</title>
  <style>
    body {
      margin: 0;
      background: #333333;
      display: flex;
      align-items: center;
      justify-content: center;
      min-height: 100vh;
    }

    pre.protocol-ml {
      display: none;
    }

    /* svg.protocol-diagram>path {
      stroke: "#eee";
      fill: "#eee";
    } */
  </style>
</head>

<body>

  <pre class="protocol-ml">
def messageSpacing 20px
def participantSpacing 160px

participant Alice a
participant Bob b

a -> b : "normal"
b -> a : "normal reply"

a ~> b : "corrupted"
b ~> a : "corrupted reply"

a -x b : "dropped"
b -x a : "dropped reply"

a => b : "thick"
b => a : "thick reply"

a @2 < "left label @2"
b @5 > "right label @5"
</pre>

  <script type="module" src="./src/main.ts"></script>
</body>

</html>