forked from for-GET/http-decision-diagram
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathhttpdd.fsm.html
30 lines (30 loc) · 1.4 KB
/
httpdd.fsm.html
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
<!doctype html>
<html>
<head>
<title>HTTP Decision Diagram</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.css"></link>
<script>
// fix Chrome 48+
// http://jointjs.com/blog/get-transform-to-element-polyfill.html
SVGElement.prototype.getTransformToElement = SVGElement.prototype.getTransformToElement || function(toElement) {
return toElement.getScreenCTM().inverse().multiply(this.getScreenCTM());
};
</script>
<!-- <script src="http://coffeescript.org/extras/coffee-script.js"></script> -->
<script src="coffee-script.js"></script>
<!-- <script src="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.all.js"></script> -->
<script src="joint.all.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.shapes.fsa.js"></script>
<script type="text/coffeescript" src="httpdd.fsm.html.coffee"></script>
</head>
<body style="margin:0">
<div id="foreword" style="position:absolute; padding:5px; display:none">
<button id="to_png">Open as PNG</button>
<button id="to_jpeg">Open as JPEG</button>
<button id="to_svg">Open as SVG</button>
<div><span id="title" style="font-weight:bold"></span> <span id="version"></span></div>
<div id="description"></div>
</div>
<div id="paper" style="pointer-events: none"></div>
</body>
</html>