blob: bcfffcc7f93c29d1f1301e8c1bdfb37c1534d995 (
plain)
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
|
var Rooms = new function(){
var base = this
base.list = {}
base.regions = []
base.init = function(){
Rooms.builder.init()
Rooms.clipper.init()
Rooms.mover.init()
}
base.filter = function(f){
return _.values(base.list).filter(f)
}
base.add = function(room){
base.list[room.id] = room
}
base.add_with_rect = function(rect){
var room = new Room({
rect: rect,
height: 500
})
base.add(room)
}
base.remove = function(room){
delete base.list[room.id]
}
base.count = function(){
return this.values().length
}
base.forEach = function(f){
return base.values().forEach(f)
}
base.map = function(f){
return base.values().map(f)
}
base.values = function(){
return _.values(base.list)
}
base.serialize = function(){
var rooms = base.map(function(room){
return room.serialize()
})
return rooms
}
base.deserialize = function(rooms_data){
rooms_data.forEach(function(data){
var rect = new Rect(data.rect.x[0], data.rect.y[0], data.rect.x[1], data.rect.y[1])
var room = new Room({
id: data.id,
rect: rect,
height: data.height
})
base.add(room)
})
Rooms.clipper.update()
}
base.uid = (function(){
var id = 0
return function(s){
s = s || ""
var ss
while (1) {
ss = s + (id++)
if (! (ss in base.list)) {
return ss
}
}
}
})()
base.sorted_by_position = function(){
return sort_rooms_by_position( base.values() )
}
base.sorted_by_height = function(){
return sort_rooms_by_height( base.values() )
}
base.sorted_by_area = function(){
return sort_rooms_by_area( base.values() )
}
}
|
