-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathindex.html
136 lines (103 loc) · 4.47 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
<!doctype html>
<html>
<head>
<title>Underview: a data structure visualizer</title>
<script src="mori.js"></script>
<script src="Immutable.min.js"></script>
<script src="underview.js"></script>
</head>
<body>
<canvas id="canvas" width="800" height="680"></canvas>
<div style="float:right">
<div style="display:none">
<p><button id="simple">simple queue</button></p>
<p><button id="tricky">tricky queue</button></p>
<p><button id="poke_simple">Poke simple</button></p>
<p><button id="vector_mori">Mori Vector</button></p>
</div>
<p><button id="queue_mori">Mori Queue</button></p>
<p><button id="map_mori_random">Mori Map random</button></p>
<p><button id="map_mori_sequential">Mori Map sequential</button></p>
<p><button id="vector_fb">FB Vector queue</button></p>
<p><button id="map_fb_random">FB Map random</button></p>
<p><button id="map_fb_sequential">FB Map sequential</button></p>
<hr />
<p><button id="stop">Stop!</button></p>
<p><button id="toggle_black">Toggle black</button></p>
<p>Sat: <input type="range" id="sat_value" value="0" max="50"></p>
<p>Lit: <input type="range" id="lit_value" value="20" max="60"></p>
<p>Spd: <input type="range" id="spd_value" value="30" max="200"></p>
</div>
<script>
/// steppers and goers
UV.add_stepper('vector_mori',
// THINK: do something more interesting with this
{ init: function() { return mori.vector() }
, step: function(data) {
if(mori.count(data) < 200 || rand(3))
data = mori.conj(data, rand())
else
data = mori.pop(data)
return data } } )
UV.add_stepper('queue_mori',
{ init: function() { return mori.queue() }
, step: function(data) {
data = mori.conj(data, rand())
if(mori.count(data) > 200)
data = mori.pop(data)
return data } } )
UV.add_stepper('map_mori_random',
{ init: function() { return mori.hash_map() }
, step: function(data) {
var n = rand(350) + 1
data = mori.assoc(data, 'a'+n, n)
return data } } )
UV.add_stepper('map_mori_sequential',
{ init: function() { return mori.hash_map() }
, step: function(data) {
var n = mori.count(data) + 1
data = mori.assoc(data, 'a'+n, n)
return data } } )
UV.add_stepper('vector_fb',
{ init: function() { return Immutable.Vector() }
, step: function(data) {
data = data.push(rand())
if(data.length > 360)
data = data.shift()
return data } } )
UV.add_stepper('map_fb_random',
{ init: function() { return Immutable.Map() }
, step: function(data) {
var n = rand(350) + 1
data = data.set('a'+n, n)
return data } } )
UV.add_stepper('map_fb_sequential',
{ init: function() { return Immutable.Map() }
, step: function(data) {
var n = data.length + 1
data = data.set('a'+n, n)
return data } } )
// go fun and dom bindings
var el = document.getElementById.bind(document)
var ctx = el('canvas').getContext('2d')
var pipeline = ['flatten', 'valuation', 'colorize', 'shift-columns', 'draw-columns']
var renderer = UV.build_renderer(pipeline, ctx)
var scheduler = UV.build_scheduler(renderer.draw)
function clickit(elstr, fun) { el(elstr).addEventListener('click', function() { fun() }) }
function makego(stepper_name) {
var stepper = UV.steppers[stepper_name]
return partial(scheduler.go, stepper)
}
Object.keys(UV.steppers).forEach(function(key) {
clickit(key, makego(key))
})
// other controls
clickit('stop', scheduler.stop)
clickit('toggle_black', function() { renderer.set('valuation', 'black', !renderer.get('valuation', 'black') ) })
function changeit(elstr, fun) { el(elstr).addEventListener('change', function(x) { fun(x) }) }
changeit('sat_value', function(elem) { renderer.set('valuation', 'sat', elem.target.value) })
changeit('lit_value', function(elem) { renderer.set('valuation', 'lit', elem.target.value) })
changeit('spd_value', function(elem) { scheduler.speed(elem.target.value) })
</script>
</body>
</html>