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
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
|
#
# Copyright (C) 2000 Stephen Davies
# Copyright (C) 2000 Stefan Seefeld
# All rights reserved.
# Licensed to the public under the terms of the GNU LGPL (>= 2),
# see the file COPYING for details.
#
from Synopsis import config
from Synopsis import AST
from Tags import *
from TreeFormatter import TreeFormatter
import os
#The javascript that goes up the top
top_js = """<script type="text/javascript" language="JavaScript1.2"><!--
var isNav4 = false, isIE4 = false;
if (parseInt(navigator.appVersion.charAt(0)) == 4) {
isNav4 = (navigator.appName == "Netscape") ? true : false;
} else if (parseInt(navigator.appVersion.charAt(0)) >= 4) {
isIE4 = (navigator.appName.indexOf("Microsoft") != -1) ? true : false;
}
var isMoz = (isNav4 || isIE4) ? false : true;
showImage = new Image(); hideImage = new Image();
function init_tree(show_src, hide_src) {
showImage.src = show_src; hideImage.src = hide_src;
}
function toggle(id) {
if (isMoz) {
section = document.getElementById(id);
image = document.getElementById(id+"_img");
if (section.style.display == "none") {
section.style.display = "";
image.src = showImage.src;
} else {
section.style.display = "none";
image.src = hideImage.src;
}
} else if (isIE4) {
section = document.items[id];
image = document.images[id+"_img"];
if (section.style.display == "none") {
section.style.display = "";
image.src = showImage.src;
} else {
section.style.display = "none";
image.src = hideImage.src;
}
} else if (isNav4) {
section = document.items[id];
image = document.images[id+"_img"];
if (section.display == "none") {
section.style.display = "";
image.src = showImage.src;
} else {
section.display = "none";
image.src = hideImage.src;
}
}
}
var tree_max_node = 0;
function openAll() {
for (i = 1; i <= tree_max_node; i++) {
id = "tree"+i;
section = document.getElementById(id);
image = document.getElementById(id+"_img");
section.style.display = "";
image.src = showImage.src;
}
}
function closeAll() {
for (i = 1; i <= tree_max_node; i++) {
id = "tree"+i;
section = document.getElementById(id);
image = document.getElementById(id+"_img");
section.style.display = "none";
image.src = hideImage.src;
}
}
init_tree("%s", "%s");
--></script>
"""
# The HTML for one image. %s's are 2x the same id string and the image
img_html = """<a href="javascript:toggle('%s');"
>%s</a>"""
class TreeFormatterJS(TreeFormatter):
"""Javascript trees. The trees have expanding and
collapsing nodes. call js_init() with the button images and default
open/close policy during process"""
def register(self, view):
TreeFormatter.register(self, view)
self.__id = 0
self.__open_img = ''
self.__close_img = ''
self.__leaf_img = ''
share = config.datadir
self.js_init(os.path.join(share, 'syn-down.png'),
os.path.join(share, 'syn-right.png'),
os.path.join(share, 'syn-dot.png'),
'tree_%s.png', 0)
def get_id(self):
self.__id = self.__id + 1
return "tree%d"%self.__id
def js_init(self, open_img, close_img, leaf_img, base, default_open=1):
"""Initialise the JSTree view. This method copies the files to the
output directory and stores the values given.
@param open_img filename of original open image
@param close_img filename of original close image
@param base filename with a %s for open/close images, eg "tree_%s.png"
@param default_open true if sections are open by default
"""
self.__open_img = open_img
self.__close_img = close_img
self.__leaf_img = leaf_img
self.__def_open = default_open
self.__base_open = base%'open'
self.__base_close = base%'close'
self.__base_leaf = base%'leaf'
# Copy images across
file_layout = self.view.processor.file_layout
file_layout.copy_file(open_img, self.__base_open)
file_layout.copy_file(close_img, self.__base_close)
file_layout.copy_file(leaf_img, self.__base_leaf)
def start_tree(self):
"""Writes the javascript"""
self.write(top_js%(self.__base_open, self.__base_close))
def format_image(self, id, filename, alt_text=""):
"""Returns the image element for the given image"""
# todo: resolve directory path
id = id and 'id="%s" '%id or ''
return '<img %sborder="0" src="%s" alt="%s" />'%(id, filename, alt_text)
def write_leaf(self, item_text):
"""Write a leaf node to the output at the current tree level."""
img = self.format_image(None, self.__base_leaf, "leaf")
self.write(div('module-section', img+item_text))
def write_node_start(self, item_text):
"""Write a non-leaf node to the output at the current tree level, and
start a new level."""
# Get a unique id for this node
id = self.get_id()
# Get the image for this node
if self.__def_open: img = self.formatImage(id, self.__base_open, 'node')
else: img = self.format_image(id+"_img", self.__base_close, 'node')
# Get the scripted link for the image
img_link = img_html%(id, img)
# Write the item
self.write('<div class="module-section">%s%s'%(img_link, item_text))
# Start the (collapsible) section for the child nodes
if self.__def_open:
self.write('<div id="%s">'%id)
else:
self.write('<div id="%s" style="display:none;">'%id)
def write_node_end(self):
"""Finish a non-leaf node, and close the current tree level."""
# Close the collapsible div, and the node's div
self.write('</div></div>')
def end_tree(self):
"""Writes the end of the tree."""
js_end = """<script type="text/javascript" language="JavaScript1.2"><!--
tree_max_node = %d; // --></script>"""
self.write(js_end%self.__id)
html_buttons = """
<div><a href="javascript:openAll()">Open All</a> |
<a href="javascript:closeAll()">Close All</a></div>
"""
self.write(html_buttons)
|
