AssureIt/index.html at master · assureit/AssureIt · 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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
<html>
<head>
    <title>Mock up</title>
    <link rel='stylesheet' href='plugins/Editor/lib/codemirror/codemirror.css'>
    <link rel='stylesheet' href="plugins/MenuBar/lib/jquery-ui-1.10.3.custom.min.css">
    <link rel='stylesheet' href='plugins/Monitor/lib/DataTables-1.9.4/css/jquery.dataTables.css'>
    <link rel='stylesheet' href="lib/animate-custom.css">
    <link rel='stylesheet' href="plugin/ColorTheme/default.css">
    <script type="text/javascript" src="lib/jquery.min.js"></script>
    <script type="text/javascript" src="lib/pointer.min.js"></script>
    <script type="text/javascript" src="lib/underscore-min.js"></script>
    <script type="text/javascript" src="lib/ASNParser/peg.js"></script>
    <script type="text/javascript" src="src/CaseModel.js"></script>
    <script type="text/javascript" src="src/CaseViewer.js"></script>
    <script type="text/javascript" src="src/EditorUtil.js"></script>
    <script type="text/javascript" src="src/Layout.js"></script>
    <script type="text/javascript" src="src/PlugInManager.js"></script>
    <script type="text/javascript" src="src/Converter.js"></script>
    <script type="text/javascript" src="src/ServerApi.js"></script>
    <script type="text/javascript" src="src/Pattern.js"></script>
    <script type="text/javascript" src="plugins/Editor/lib/codemirror/codemirror.js"></script>
    <script type="text/javascript" src="plugins/Editor/lib/codemirror/mode/ASN/asn.js"></script>
    <script type="text/javascript" src="plugins/Editor/lib/codemirror/display/placeholder.js"></script>
    <script type="text/javascript" src="plugins/Editor/Editor.js"></script>
    <script type="text/javascript" src="plugins/DScript/DScript.js"></script>
    <script type="text/javascript" src="plugins/DScript/Generator.js"></script>
    <script type="text/javascript" src="plugins/FullScreenEditor/FullScreenEditor.js"></script>
    <script type="text/javascript" src="plugins/MenuBar/lib/jquery.jqdock.min.js"></script>
    <script type="text/javascript" src="plugins/MenuBar/lib/jquery-ui-1.10.3.custom.min.js"></script>
    <script type="text/javascript" src="plugins/MenuBar/MenuBar.js"></script>
    <script type="text/javascript" src="plugins/Scale/Scale.js"></script>
    <script type="text/javascript" src="plugins/DefaultStatementRender/DefaultStatementRender.js"></script>
    <script type="text/javascript" src="plugins/Annotation/Annotation.js"></script>
    <script type="text/javascript" src="plugins/Monitor/lib/DataTables-1.9.4/js/jquery.dataTables.min.js"></script>
    <script type="text/javascript" src="plugins/Monitor/Monitor.js"></script>
    <script type="text/javascript" src="plugins/Note/Note.js"></script>
    <script type="text/javascript" src="plugins/Export/Export.js"></script>
    <script type="text/javascript" src="plugins/SearchNode/SearchNode.js"></script>
    <script type="text/javascript" src="plugins/SimplePattern/SimplePattern.js"></script>
    <script type="text/javascript" src="plugins/LayoutPortrait/LayoutPortrait.js"></script>
    <script type="text/javascript" src="src/CaseDecoder.js"></script>
    <script type="text/javascript" src="src/CaseEncoder.js"></script>
    <script type="text/javascript" src="src/CommitModel.js"></script>
    <script type="text/javascript" src="src/RecApi.js"></script>
    <script type="text/javascript" src="mock/Index.js"></script>
</head>
<body style="overflow: hidden; margin: 0px;">
    <div id="viewer" style="width: 100%; height: 100%;">
        <svg id="layer0box" xmlns="http://www.w3.org/2000/svg" version="1.1" style="width: 100%; height: 100%; position: absolute">
            <g id="layer0" transform="translate(0,0)"></g>
        </svg>
        <div id="background" style="width: 100%; height: 100%; position: absolute;"></div>
        <div id="layer1" style="width: 0px; height: 0px; position: absolute;"></div>
        <div id="layer2" style="width: 0px; height: 0px; position: absolute;"></div>
    </div>
    <svg width="0" height="0">
        <defs>
            <marker id="Triangle-black" viewBox="0 0 10 10" refX="10" refY="5"
                markerUnits="strokeWidth" markerWidth="15" markerHeight="9" orient="auto">
                <path d="M 0 0 L 10 5 L 0 10 z" fill="gray" stroke="gray"></path>
            </marker>
            <marker id="Triangle-white" viewBox="0 0 10 10" refX="10" refY="5"
                markerUnits="strokeWidth" markerWidth="15" markerHeight="9" orient="auto">
                <path d="M 0 0 L 10 5 L 0 10 z" fill="white" stroke="gray"></path>
            </marker>
            <polygon fill="none" stroke="#333" stroke-width="1.5" points="0 -20 -20 0 0 20 20 0" id="UndevelopdSymbol"></polygon>
        </defs>
    </svg>
    <div id="editor-wrapper" style="border: 1px solid black">
        <textarea id="editor" placeholder="Type something..."></textarea>
    </div>
    <div id="fullscreen-editor-wrapper" style="border: 1px solid black">
        <textarea id="fullscreen-editor" placeholder="Type something..."></textarea>
    </div>
    <div id="dscript-editor-wrapper" style="border: 1px solid black">
        <div>
            <textarea id="dscript-editor-left"  placeholder=""></textarea>
        </div>
        <div>
            <textarea id="dscript-editor-right" placeholder="Generated code goes here."></textarea>
        </div>
    </div>
</body>
</html>