js/campus-coords.js


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

define(function() {
    'use strict';
    return [
        {
            "name": "Sportpark",
            "coords": [
                [355,134],
                [355,221],
                [648,221],
                [648,134]
            ]
        }, {
            "name" : "Zwarte doos",
            "coords": [
                [297,647],
                [321,647],
                [321,666],
                [304,666],
                [304,659],
                [297,659],
            ]
        }, {
            "name": "Metaforum",
            "coords": [
                [453,492],
                [512,492],
                [512,607],
                [453,607],
            ]
        }, {
            "name": "Auditorium",
            "coords": [
                [278,496],
                [278,528],
                [281,528],
                [281,540],
                [343,540],
                [343,531],
                [345,531],
                [345,518],
                [348,518],
                [348,513],
                [345,513],
                [345,507],
                [343,507],
                [343,496],
                [331,496],
                [331,488],
                [329,488],
                [329,496],
            ]
        }, {
            "name": "Hoofdgebouw",
            "coords": [
                [400,454],
                [400,482],
                [387,482],
                [387,510],
                [397,510],
                [397,528],
                [391,528],
                [391,558],
                [401,558],
                [401,587],
                [416,587],
                [416,558],
                [429,558],
                [429,528],
                [419,528],
                [419,519],
                [429,519],
                [430,482],
                [416,482],
                [416,454],
            ]
        }
    ];
});