← Back to branch summary

~ubuntu-branches/ubuntu/karmic/erlang/karmic-security

« back to all changes in this revision

Viewing changes to lib/percept/priv/server_root/scripts/percept_area_select.js

  • Committer: Bazaar Package Importer
  • Author(s): Sergei Golovan
  • Date: 2009-05-01 10:14:38 UTC
  • mfrom: (3.1.4 sid)
  • Revision ID: james.westby@ubuntu.com-20090501101438-6qlr6rsdxgyzrg2z
Tags: 1:13.b-dfsg-2
* Cleaned up patches: removed unneeded patch which helped to support
  different SCTP library versions, made sure that changes for m68k
  architecture applied only when building on this architecture.
* Removed duplicated information from binary packages descriptions.
* Don't require libsctp-dev build-dependency on solaris-i386 architecture
  which allows to build Erlang on Nexenta (thanks to Tim Spriggs for
  the suggestion).

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/percept/priv/server_root/scripts/percept_area_select.js
1
 
    function init_load_image() {
 
1
/*
 
2
 * %CopyrightBegin%
 
3
 * 
 
4
 * Copyright Ericsson AB 2007-2009. All Rights Reserved.
 
5
 * 
 
6
 * The contents of this file are subject to the Erlang Public License,
 
7
 * Version 1.1, (the "License"); you may not use this file except in
 
8
 * compliance with the License. You should have received a copy of the
 
9
 * Erlang Public License along with this software. If not, it can be
 
10
 * retrieved online at http://www.erlang.org/.
 
11
 * 
 
12
 * Software distributed under the License is distributed on an "AS IS"
 
13
 * basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
 
14
 * the License for the specific language governing rights and limitations
 
15
 * under the License.
 
16
 * 
 
17
 * %CopyrightEnd%
 
18
 */
 
19
 
 
20
function size_image(img, src) {
 
21
        percept_content = document.getElementById("content");
 
22
        var width  = percept_content.offsetWidth - 120;
 
23
        var imgfile = "/cgi-bin/percept_graph/" + src + "&width=" + width;
 
24
        img.src = imgfile;
 
25
        img.onload = '';
 
26
}
 
27
 
 
28
function load_image() {
2
29
        var percept_graph = document.getElementById("percept_graph");
3
30
        if (percept_graph) {
4
 
                var percept_middle = document.getElementById("percept_middle");
5
 
                var percept_graph_loading = document.getElementById("percept_graph_loading");
6
 
                var width = percept_middle.offsetWidth;
7
 
                percept_graph_loading.style.visibility = "hidden";
8
 
                percept_graph.style.visibility = "visible";
9
 
//              percept_graph.style.width = width - 40;
 
31
                percept_content = document.getElementById("content");
 
32
                var width  = percept_content.offsetWidth - 50;
 
33
                var height = max(screen.height - 550, 600); 
 
34
                var rmin   = document.form_area.data_min.value;
 
35
                var rmax   = document.form_area.data_max.value;
 
36
 
 
37
                percept_graph.style.backgroundImage = "url('/cgi-bin/percept_graph/graph" +
 
38
                        "?range_min=" + rmin + 
 
39
                        "&range_max=" + rmax +
 
40
                        "&width=" + width + 
 
41
                        "&height=" + height + "')";
 
42
                percept_graph.style.width = width;
 
43
                percept_graph.style.height = height;
10
44
        }
11
 
    }
 
45
}
12
46
 
13
 
    function select_image() {
 
47
function select_image() {
14
48
        var Graph = document.getElementById("percept_graph");
15
49
        if (Graph) {
16
50
            var GraphIndex = document.form_area.graph_select.selectedIndex;
17
51
            var GraphSelectValue = document.form_area.graph_select.options[GraphIndex].value;
18
52
            Graph.style.backgroundImage = "url('" + GraphSelectValue +"')";
19
53
        }
20
 
    }
 
54
}
21
55
   
22
 
   function select_down(event) {
 
56
function select_down(event) {
23
57
        var Graf = document.getElementById("percept_graph");
24
58
        var Area = document.getElementById("percept_areaselect");
25
59
        var x =  event.offsetX?(event.offsetX):event.pageX-Graf.offsetLeft;
 
60
        x = x - 60;
26
61
        
 
62
        var width  = Graf.offsetWidth;
 
63
        var height = Graf.offsetHeight;
 
64
        var margin = 20;
 
65
 
 
66
        var Xmin   = document.form_area.data_min.value;
 
67
        var Xmax   = document.form_area.data_max.value;
 
68
 
27
69
        // Trim edges
28
 
        
29
 
        if ( x < 20 ) {
30
 
            x = 20;
31
 
        }
32
 
 
33
 
        if ( x > 680 ) {
34
 
            x = 680;
35
 
        }
36
 
        var width = Graf.offsetWidth;
37
 
        var Xmin = document.form_area.data_min.value;
38
 
        var Xmax = document.form_area.data_max.value;
 
70
 
 
71
        if ( x < margin ) {
 
72
            x = margin;
 
73
        }
 
74
 
 
75
        if ( x > width - margin ) {
 
76
            x = width - margin;
 
77
        }
 
78
 
39
79
        Area.style.left = x;
40
 
        Area.style.top = Graf.offsetHeight - 20;
 
80
        Area.style.top = height - margin;
41
81
        Area.style.width = 1;
42
 
        Area.style.height = 10;
 
82
        Area.style.height = margin;
43
83
        Area.moving = true;
44
84
        Area.bgcolor = "#00ff00";
45
85
        Area.style.visibility = "visible";
46
 
        //var RangeMin = (( (x - 20)* (Xmax - Xmin)/(width - 40)) + Xmin*1);
47
 
        var RangeMin = convert_image2graph(x, Xmin, Xmax, 20, 680);
48
 
        Area.style.opacity = 0.5;
49
 
        Area.style.filter = 'alpha(opacity=50)';
 
86
        Area.style.borderRight = "1px solid #000"
 
87
        Area.style.borderLeft = "1px solid #000"
 
88
        Area.style.opacity = 0.65;
 
89
        Area.style.filter = 'alpha(opacity=65)';
 
90
        var RangeMin = convert_image2graph(x, Xmin, Xmax, margin, width - margin);
50
91
        if (RangeMin == 0) document.form_area.range_min.value = 0.0;
51
92
        else document.form_area.range_min.value = RangeMin;
52
 
    }
 
93
}
53
94
 
54
 
    function select_move(event) {
 
95
 function select_move(event) {
55
96
        var Graf = document.getElementById("percept_graph");
56
97
        var Area = document.getElementById("percept_areaselect");
57
98
        var x =  event.offsetX?(event.offsetX):event.pageX-Graf.offsetLeft;
 
99
        x = x - 60;
58
100
        if (Area.moving == true) {
59
101
            
60
 
            // Trim edges
61
 
        
62
 
            if ( x < 20 ) {
63
 
                x = 20;
64
 
            }
65
 
 
66
 
            if ( x > 680 ) {
67
 
                x = 680;
68
 
            }
69
 
 
70
102
            var width = Graf.offsetWidth;
 
103
            var height = Graf.offsetHeight;
 
104
            var margin = 20;
71
105
            var Xmin = document.form_area.data_min.value;
72
106
            var Xmax = document.form_area.data_max.value;
 
107
            
 
108
            // Trim edges
 
109
        
 
110
            if ( x < margin ) {
 
111
                x = margin;
 
112
            }
 
113
 
 
114
            if ( x > width - margin ) {
 
115
                x = width - margin;
 
116
            }
 
117
 
73
118
            var x0 = min(x, Area.offsetLeft);
74
119
            var x1 = max(x, Area.offsetLeft);
75
120
            var w = (x1 - x0);
76
121
            Area.style.left = x0;
77
122
            Area.style.width = w;
78
 
        var RangeMin = convert_image2graph(x0, Xmin, Xmax, 20, 680);
79
 
        var RangeMax = convert_image2graph(x1, Xmin, Xmax, 20, 680);
80
 
//          var RangeMin = (((x0 - 20)*(Xmax - Xmin)/(width - 20)) + Xmin*1.0);
81
 
//          var RangeMax = (((x1 - 20)*(Xmax - Xmin)/(width - 20)) + Xmin*1.0);
82
 
            Area.style.opacity = 0.5;
 
123
            var RangeMin = convert_image2graph(x0, Xmin, Xmax, margin, width - margin);
 
124
            var RangeMax = convert_image2graph(x1, Xmin, Xmax, margin, width - margin);
83
125
            Area.style.visibility = "visible";
84
126
           
85
127
            if (RangeMin == 0) document.form_area.range_min.value = 0.0;
87
129
            if (RangeMax == 0) document.form_area.range_max.value = 0.0;
88
130
            else document.form_area.range_max.value = RangeMax;
89
131
        }
90
 
    }
91
 
    function select_up(event) {
 
132
}
 
133
 
 
134
function select_up(event) {
92
135
        var Graf = document.getElementById("percept_graph");
93
136
        var Area = document.getElementById("percept_areaselect");
94
137
        var x =  event.offsetX?(event.offsetX):event.pageX-Graf.offsetLeft;
95
 
        // Trim edges
96
 
        
97
 
        if ( x < 20 ) {
98
 
            x = 20;
99
 
        }
100
138
 
101
 
        if ( x > 680 ) {
102
 
            x = 680;
103
 
        }
 
139
        x = x - 60;
104
140
        var width = Graf.offsetWidth;
 
141
        var height = Graf.offsetHeight;
 
142
        var margin = 20;
 
143
        var Xmin = document.form_area.data_min.value;
 
144
        var Xmax = document.form_area.data_max.value;
 
145
        
 
146
        // Trim edges
 
147
        
 
148
        if ( x < margin ) {
 
149
            x = margin;
 
150
        }
 
151
 
 
152
        if ( x > width - margin ) {
 
153
            x = width - margin;
 
154
        }
 
155
 
105
156
        var w = (x - Area.style.offsetLeft);
106
 
        var Xmin = document.form_area.data_min.value;
107
 
        var Xmax = document.form_area.data_max.value;
 
157
 
108
158
        Area.moving = false;
109
159
        Area.style.width = w;
110
 
        var RangeMax = convert_image2graph(x, Xmin, Xmax, 20, 680);
111
 
//        var RangeMax = (((x - 20)*(Xmax - Xmin)/(width - 40)) + Xmin*1.0);
 
160
        var RangeMax = convert_image2graph(x, Xmin, Xmax, margin, width - margin);
112
161
        if (RangeMax == 0) document.form_area.range_max.value = 0.0;
113
162
        else document.form_area.range_max.value = RangeMax;
114
 
    }
115
 
    function min(A, B) {
 
163
}
 
164
 
 
165
function min(A, B) {
116
166
        if (A > B) return B;
117
167
        else return A;
118
 
    }
119
 
    function max(A,B) {
 
168
}
 
169
 
 
170
function max(A,B) {
120
171
        if (A > B) return A;
121
172
        else return B;
122
 
    }
123
 
    function convert_image2graph(X, Xmin, Xmax, X0, X1) {
 
173
}
 
174
 
 
175
function convert_image2graph(X, Xmin, Xmax, X0, X1) {
124
176
        var ImageWidth = X1 - X0;
125
177
        var RangeWidth = Xmax - Xmin;
126
178
        var DX = RangeWidth/ImageWidth;
127
179
        var Xprime = (X - X0)*DX + Xmin*1.0;
128
180
        return Xprime;
129
 
    }
130
 
//      var RangeMin = (((x0 - 20)*(Xmax - Xmin)/(width - 20)) + Xmin*1.0);
 
181
}