forked from Sazivlam/sea-project
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
146 lines (109 loc) · 4.36 KB
/
index.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
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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<title>JavaScript DCR Graphs Engine</title>
<meta name="description" content="JavaScript DCR Graphs Engine">
<meta name="author" content="Tijs Slaats">
<link rel="stylesheet" href="css/styles.css?v=1.0">
<link href="https://unpkg.com/material-components-web@latest/dist/material-components-web.min.css" rel="stylesheet">
<script src="https://unpkg.com/material-components-web@latest/dist/material-components-web.min.js"></script>
</head>
<body>
<script src="js/lodash.js"></script>
<script src="js/jQuery.js"></script>
<script src="js/peerjs.min.js"></script>
<div id="iter" > </div>
<script src="out.js"></script>
<table id="task-table" ></table>
<br />
<p id="accepting"></p>
<br />
<div id= "myinfo" style="text-align: center;">
<p > <h2> My Information </h2> </p>
<div id="peer-input-block">
<div id="peer-input-text">Enter server ID or wait for client to connect</div>
<input id="peer-input-id">
<button class="mdc-button mdc-button--raised" id="btn-conn">
<span class="mdc-button__label">Connect</span> </button>
</div>
<div id="trace-input-block" style="display: none;">
<div id="trace-input-text">Enter number of traces</div>
<input id="trace-input-id" type="number">
<button class="mdc-button mdc-button--raised" id="btn-trace-submit">
<span class="mdc-button__label">Submit</span> </button>
</div>
<div id="iter-input-block" style="display: none;">
<div id="iter-input-text">Enter number of iterations</div>
<input id="iter-input-id" type="number">
<button class="mdc-button mdc-button--raised" id="btn-iter-submit">
<span class="mdc-button__label">Submit</span> </button>
</div>
<div id="name-input-block" style="display: none;">
<div id="name-input-text">Enter your name</div>
<input id="name-input-id">
<button class="mdc-button mdc-button--raised" id="btn-subname">Submit</button>
</div>
<div id="role-select-block" style="display: none;">
<div id="role-selection">Select your roles</div>
<label>Robot</label>
<input type='checkbox' id='robot'>
<label>Human</label>
<input type='checkbox' id='human'>
<button class="mdc-button mdc-button--raised" id="btn-role">Submit</button>
</div>
<p id="input-error"></p>
<div id="my-id"></div>
<div id="my-name" style="display: none;"></div>
<div id="my-roles" style="display: none;"></div>
<div id="conn-status"></div>
<div id="server-id"></div>
<div id="conn-list"></div>
<p id="cant-start"></p>
<p id="cant-connect"></p>
<p class= "important" id="sim-status"></p>
</div>
<div id="buttonsandareas">
<div id="start_sim_buttons">
<button class="mdc-button mdc-button--raised" id="btn-start-manual-sim">Start manual simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-resume-manual-sim" style="display: none;">Resume manual
simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-pause-manual-sim" style="display: none;">Pause manual
simulation</button>
<button class="mdc-button mdc-button--raised" id="btn-stop-manual-sim" style="display: none;" >Stop manual simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-start-auto-sim">
Start Auto Simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-resume-auto-sim" style="display: none;">Resume auto
simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-pause-auto-sim" style="display: none;">Pause auto
simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-stop-auto-sim" style="display: none;">
Stop Auto Simulation</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-save-log" style="display: none;">Save log</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-discard-log" style="display: none;">Discard log</button>
<br />
<button class="mdc-button mdc-button--raised" id="btn-download-model">Download model</button>
<br />
</div>
<textarea id="ta-dcr" rows="20" cols="150" >
A(0,0,0)
B(0,1,1)
A -->* B
B *--> A
C -->% A
D -->+ A
D -->* B
A --><> (B, D)
</textarea>
<p id="parse-error"></p>
</div>
</body>
</html>