a56a852327055ef91dd27b2ab6b2a4a9844f9bc8
[WebKit-https.git] / WebCore / page / inspector / PropertiesSection.js
1 /*
2  * Copyright (C) 2007 Apple Inc.  All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  *
8  * 1.  Redistributions of source code must retain the above copyright
9  *     notice, this list of conditions and the following disclaimer.
10  * 2.  Redistributions in binary form must reproduce the above copyright
11  *     notice, this list of conditions and the following disclaimer in the
12  *     documentation and/or other materials provided with the distribution.
13  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
14  *     its contributors may be used to endorse or promote products derived
15  *     from this software without specific prior written permission.
16  *
17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28
29 WebInspector.PropertiesSection = function(title, subtitle)
30 {
31     this.element = document.createElement("div");
32     this.element.className = "section";
33
34     this.headerElement = document.createElement("div");
35     this.headerElement.className = "header";
36
37     this.titleElement = document.createElement("div");
38     this.titleElement.className = "title";
39
40     this.subtitleElement = document.createElement("div");
41     this.subtitleElement.className = "subtitle";
42
43     this.headerElement.appendChild(this.titleElement);
44     this.headerElement.appendChild(this.subtitleElement);
45
46     var section = this;
47     this.headerElement.addEventListener("click", function() { section.expanded = !section.expanded; }, false);
48
49     this.propertiesElement = document.createElement("ol");
50     this.propertiesElement.className = "properties";
51     this.propertiesTreeOutline = new TreeOutline(this.propertiesElement);
52
53     this.element.appendChild(this.headerElement);
54     this.element.appendChild(this.propertiesElement);
55
56     this.title = title;
57     this.subtitle = subtitle;
58     this.expanded = false;
59 }
60
61 WebInspector.PropertiesSection.prototype = {
62     get title()
63     {
64         return this._title;
65     },
66
67     set title(x)
68     {
69         if (this._title === x)
70             return;
71         this._title = x;
72         this.titleElement.textContent = x;
73     },
74
75     get subtitle()
76     {
77         return this._subtitle;
78     },
79
80     set subtitle(x)
81     {
82         if (this._subtitle === x)
83             return;
84         this._subtitle = x;
85         this.subtitleElement.innerHTML = x;
86     },
87
88     get expanded()
89     {
90         return this._expanded;
91     },
92
93     set expanded(x)
94     {
95         if (x)
96             this.expand();
97         else
98             this.collapse();
99     },
100
101     expand: function()
102     {
103         if (this._expanded)
104             return;
105         this._expanded = true;
106
107         if (!this._populated && this.onpopulate) {
108             this.onpopulate(this);
109             this._populated = true;
110         }
111         this.element.addStyleClass("expanded");
112     },
113
114     collapse: function()
115     {
116         if (!this._expanded)
117             return;
118         this._expanded = false;
119         this.element.removeStyleClass("expanded");
120     }
121 }