| 39 |
data = string.replace(data, "'", "'") |
data = string.replace(data, "'", "'") |
| 40 |
return data |
return data |
| 41 |
|
|
| 42 |
def save_session(session, filename): |
class Saver: |
| 43 |
"""Save the session session to the file given by filename""" |
|
| 44 |
dir = os.path.dirname(filename) |
"""Class to serialize a session into an XML file. |
| 45 |
file = open(filename, 'w') |
|
| 46 |
write = file.write |
Applications built on top of Thuban may derive from this class and |
| 47 |
write('<?xml version="1.0" encoding="UTF-8"?>\n') |
override or extend the methods to save additinal information. This |
| 48 |
write('<!DOCTYPE session SYSTEM "thuban.dtd">\n') |
additional information should take the form of additional attributes |
| 49 |
write('<session title="%s">\n' % escape(session.title)) |
or elements whose names are prefixed with a namespace. To define a |
| 50 |
for map in session.Maps(): |
namespace derived classes should extend the write_session method to |
| 51 |
write('\t<map title="%s">\n' % escape(map.title)) |
pass the namespaces to the default implementation. |
| 52 |
if map.projection and len(map.projection.params) > 0: |
""" |
| 53 |
write('\t\t<projection>\n') |
|
| 54 |
for param in map.projection.params: |
def __init__(self, session): |
| 55 |
write('\t\t\t<parameter value="%s"/>\n' % escape(param)) |
self.session = session |
| 56 |
write('\t\t</projection>\n') |
|
| 57 |
|
def write(self, file_or_filename): |
| 58 |
|
"""Write the session to a file. |
| 59 |
|
|
| 60 |
|
The argument may be either a file object or a filename. If it's |
| 61 |
|
a filename, the file will be opened for writing. Files of |
| 62 |
|
shapefiles will be stored as filenames relative to the directory |
| 63 |
|
the file is stored in (as given by os.path.dirname(filename)) if |
| 64 |
|
they have a common parent directory other than the root |
| 65 |
|
directory. |
| 66 |
|
|
| 67 |
|
If the argument is a file object (which is determined by the |
| 68 |
|
presence of a write method) all filenames will be absolut |
| 69 |
|
filenames. |
| 70 |
|
""" |
| 71 |
|
if hasattr(file_or_filename, "write"): |
| 72 |
|
# it's a file object |
| 73 |
|
self.file = file_or_filename |
| 74 |
|
self.dir = "" |
| 75 |
|
else: |
| 76 |
|
filename = file_or_filename |
| 77 |
|
self.dir = os.path.dirname(filename) |
| 78 |
|
self.file = open(filename, 'w') |
| 79 |
|
self.write_header() |
| 80 |
|
self.write_session(self.session) |
| 81 |
|
|
| 82 |
|
def write_element(self, element, attrs, empty = 0, indentation = ""): |
| 83 |
|
# Helper function to write an element open tag with attributes |
| 84 |
|
self.file.write("%s<%s" % (indentation, element)) |
| 85 |
|
for name, value in attrs.items(): |
| 86 |
|
self.file.write(' %s="%s"' % (escape(name), escape(value))) |
| 87 |
|
if empty: |
| 88 |
|
self.file.write("/>\n") |
| 89 |
|
else: |
| 90 |
|
self.file.write(">\n") |
| 91 |
|
|
| 92 |
|
def write_header(self): |
| 93 |
|
"""Write the XML header""" |
| 94 |
|
write = self.file.write |
| 95 |
|
write('<?xml version="1.0" encoding="UTF-8"?>\n') |
| 96 |
|
write('<!DOCTYPE session SYSTEM "thuban.dtd">\n') |
| 97 |
|
|
| 98 |
|
def write_session(self, session, attrs = None, namespaces = ()): |
| 99 |
|
"""Write the session and its contents |
| 100 |
|
|
| 101 |
|
By default, write a session element with the title attribute and |
| 102 |
|
call write_map for each map contained in the session. |
| 103 |
|
|
| 104 |
|
The optional argument attrs is for additional attributes and, if |
| 105 |
|
given, should be a mapping from attribute names to attribute |
| 106 |
|
values. The values should not be XML-escaped yet. |
| 107 |
|
|
| 108 |
|
The optional argument namespaces, if given, should be a sequence |
| 109 |
|
of (name, URI) pairs. The namespaces are written as namespace |
| 110 |
|
attributes into the session element. This is mainly useful for |
| 111 |
|
derived classes that need to store additional information in a |
| 112 |
|
thuban session file. |
| 113 |
|
""" |
| 114 |
|
if attrs is None: |
| 115 |
|
attrs = {} |
| 116 |
|
attrs["title"] = session.title |
| 117 |
|
for name, uri in namespaces: |
| 118 |
|
attrs["xmlns:" + name] = uri |
| 119 |
|
self.write_element("session", attrs) |
| 120 |
|
for map in session.Maps(): |
| 121 |
|
self.write_map(map) |
| 122 |
|
self.file.write('</session>\n') |
| 123 |
|
|
| 124 |
|
def write_map(self, map): |
| 125 |
|
"""Write the map and its contents. |
| 126 |
|
|
| 127 |
|
By default, write a map element element with the title |
| 128 |
|
attribute, call write_projection to write the projection |
| 129 |
|
element, call write_layer for each layer contained in the map |
| 130 |
|
and finally call write_label_layer to write the label layer. |
| 131 |
|
""" |
| 132 |
|
write = self.file.write |
| 133 |
|
write('\t<map title="%s">\n' % escape(map.title)) |
| 134 |
|
self.write_projection(map.projection) |
| 135 |
for layer in map.Layers(): |
for layer in map.Layers(): |
| 136 |
fill = layer.fill |
self.write_layer(layer) |
| 137 |
if fill is None: |
self.write_label_layer(map.LabelLayer()) |
| 138 |
fill = "None" |
write('\t</map>\n') |
| 139 |
else: |
|
| 140 |
fill = fill.hex() |
def write_projection(self, projection): |
| 141 |
stroke = layer.stroke |
"""Write the projection. |
| 142 |
if stroke is None: |
""" |
| 143 |
stroke = "None" |
if projection and len(projection.params) > 0: |
| 144 |
else: |
self.file.write('\t\t<projection>\n') |
| 145 |
stroke = stroke.hex() |
for param in projection.params: |
| 146 |
write(('\t\t<layer title="%s" filename="%s"' |
self.file.write('\t\t\t<parameter value="%s"/>\n' |
| 147 |
' fill="%s" stroke="%s" stroke_width="%d"/>\n') % |
% escape(param)) |
| 148 |
(escape(layer.title), |
self.file.write('\t\t</projection>\n') |
| 149 |
escape(relative_filename(dir, layer.filename)), |
|
| 150 |
fill, stroke, layer.stroke_width)) |
def write_layer(self, layer, attrs = None): |
| 151 |
labels = map.LabelLayer().Labels() |
"""Write the layer. |
| 152 |
|
|
| 153 |
|
The optional argument attrs is for additional attributes and, if |
| 154 |
|
given, should be a mapping from attribute names to attribute |
| 155 |
|
values. The values should not be XML-escaped yet. |
| 156 |
|
""" |
| 157 |
|
if attrs is None: |
| 158 |
|
attrs = {} |
| 159 |
|
attrs["title"] = layer.title |
| 160 |
|
attrs["filename"] = relative_filename(self.dir, layer.filename) |
| 161 |
|
attrs["stroke_width"] = str(layer.stroke_width) |
| 162 |
|
fill = layer.fill |
| 163 |
|
if fill is None: |
| 164 |
|
attrs["fill"] = "None" |
| 165 |
|
else: |
| 166 |
|
attrs["fill"] = fill.hex() |
| 167 |
|
stroke = layer.stroke |
| 168 |
|
if stroke is None: |
| 169 |
|
attrs["stroke"] = "None" |
| 170 |
|
else: |
| 171 |
|
attrs["stroke"] = stroke.hex() |
| 172 |
|
self.write_element("layer", attrs, empty = 1, indentation = "\t\t") |
| 173 |
|
|
| 174 |
|
def write_label_layer(self, layer): |
| 175 |
|
"""Write the label layer. |
| 176 |
|
""" |
| 177 |
|
labels = layer.Labels() |
| 178 |
if labels: |
if labels: |
| 179 |
write('\t\t<labellayer>\n') |
self.file.write('\t\t<labellayer>\n') |
| 180 |
for label in labels: |
for label in labels: |
| 181 |
write(('\t\t\t<label x="%g" y="%g" text="%s"' |
self.file.write(('\t\t\t<label x="%g" y="%g" text="%s"' |
| 182 |
' halign="%s" valign="%s"/>\n') |
' halign="%s" valign="%s"/>\n') |
| 183 |
% (label.x, label.y, label.text, label.halign, |
% (label.x, label.y, label.text, label.halign, |
| 184 |
label.valign)) |
label.valign)) |
| 185 |
write('\t\t</labellayer>\n') |
self.file.write('\t\t</labellayer>\n') |
| 186 |
write('\t</map>\n') |
|
| 187 |
write('</session>\n') |
|
| 188 |
|
|
| 189 |
|
def save_session(session, file, saver_class = None): |
| 190 |
|
"""Save the session session to a file. |
| 191 |
|
|
| 192 |
|
The file argument may either be a filename or an open file object. |
| 193 |
|
|
| 194 |
|
The optional argument saver_class is the class to use to serialize |
| 195 |
|
the session. By default or if it's None, the saver class will be |
| 196 |
|
Saver. |
| 197 |
|
|
| 198 |
|
If writing the session is successful call the session's |
| 199 |
|
UnsetModified method |
| 200 |
|
""" |
| 201 |
|
if saver_class is None: |
| 202 |
|
saver_class = Saver |
| 203 |
|
saver = saver_class(session) |
| 204 |
|
saver.write(file) |
| 205 |
|
|
| 206 |
# after a successful save consider the session unmodified. |
# after a successful save consider the session unmodified. |
| 207 |
session.UnsetModified() |
session.UnsetModified() |
Parent Directory
| 
Revision Log
| 
Patch