source: trunk/gli/src/org/greenstone/gatherer/metadata/MetadataXMLFile.java@ 11129

Last change on this file since 11129 was 11129, checked in by mdewsnip, 18 years ago

Changed an error message to a note, since it wasn't actually an error.

  • Property svn:keywords set to Author Date Id Revision
File size: 24.4 KB
Line 
1/**
2 *############################################################################
3 * A component of the Greenstone Librarian Interface, part of the Greenstone
4 * digital library suite from the New Zealand Digital Library Project at the
5 * University of Waikato, New Zealand.
6 *
7 * Author: Michael Dewsnip, NZDL Project, University of Waikato, NZ
8 *
9 * Copyright (C) 2004 New Zealand Digital Library Project
10 *
11 * This program is free software; you can redistribute it and/or modify
12 * it under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; either version 2 of the License, or
14 * (at your option) any later version.
15 *
16 * This program is distributed in the hope that it will be useful,
17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 * GNU General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License
22 * along with this program; if not, write to the Free Software
23 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
24 *############################################################################
25 */
26
27package org.greenstone.gatherer.metadata;
28
29
30import java.io.*;
31import java.util.*;
32import org.greenstone.gatherer.DebugStream;
33import org.greenstone.gatherer.util.XMLTools;
34import org.w3c.dom.*;
35
36
37/** This class represents one metadata.xml file */
38public class MetadataXMLFile
39 extends File
40{
41 static final private String DESCRIPTION_ELEMENT = "Description";
42 static final private String DIRECTORY_FILENAME = ".*";
43 static final private String FILENAME_ELEMENT = "FileName";
44 static final private String FILESET_ELEMENT = "FileSet";
45 static final private String METADATA_ELEMENT = "Metadata";
46
47
48 public MetadataXMLFile(String metadata_xml_file_path)
49 {
50 super(metadata_xml_file_path);
51 }
52
53
54 public void addMetadata(File file, ArrayList metadata_values)
55 {
56 // Parse the metadata.xml file
57 Document document = XMLTools.parseXMLFile(this);
58 if (document == null) {
59 System.err.println("Error: Could not parse metadata.xml file " + getAbsolutePath());
60 return;
61 }
62
63 // Determine the file's path relative to the location of the metadata.xml file
64 String metadata_xml_file_directory_path = getParentFile().getAbsolutePath();
65 String file_relative_path = file.getAbsolutePath().substring(metadata_xml_file_directory_path.length());
66 if (file_relative_path.startsWith(File.separator)) {
67 file_relative_path = file_relative_path.substring(File.separator.length());
68 }
69
70 // Form a regular expression that specifies the scope of the metadata
71 String file_path_regexp;
72 if (file_relative_path.equals("")) {
73 // Special case for matching all files in the directory
74 file_path_regexp = DIRECTORY_FILENAME;
75 }
76 else {
77 // Convert the file path into a regular expression that will match it
78 file_path_regexp = MetadataTools.getRegularExpressionThatMatchesFilePath(file_relative_path);
79 }
80
81 // Find the appropriate FileSet element for this file
82 Element appropriate_fileset_element = null;
83
84 // Read all the FileSet elements in the file
85 NodeList fileset_elements_nodelist = document.getElementsByTagName(FILESET_ELEMENT);
86 for (int i = 0; i < fileset_elements_nodelist.getLength(); i++) {
87 Element current_fileset_element = (Element) fileset_elements_nodelist.item(i);
88
89 // Check the FileName elements of the FileSet to see if we have a match
90 NodeList filename_elements_nodelist = current_fileset_element.getElementsByTagName(FILENAME_ELEMENT);
91 for (int j = 0; j < filename_elements_nodelist.getLength(); j++) {
92 Element current_filename_element = (Element) filename_elements_nodelist.item(j);
93 String current_filename_element_value = XMLTools.getElementTextValue(current_filename_element);
94
95 // Only exact matches can be extended with new metadata
96 if (current_filename_element_value.equals(file_path_regexp)) {
97 appropriate_fileset_element = current_fileset_element;
98 break;
99 }
100 }
101 }
102
103 // If no appropriate FileSet element exists create a new one for this file
104 if (appropriate_fileset_element == null) {
105 DebugStream.println("Creating new FileSet element for file since none exists...");
106 appropriate_fileset_element = document.createElement(FILESET_ELEMENT);
107
108 Element new_filename_element = document.createElement(FILENAME_ELEMENT);
109 new_filename_element.appendChild(document.createTextNode(file_path_regexp));
110 appropriate_fileset_element.appendChild(new_filename_element);
111
112 Element new_description_element = document.createElement(DESCRIPTION_ELEMENT);
113 appropriate_fileset_element.appendChild(new_description_element);
114
115 document.getDocumentElement().appendChild(appropriate_fileset_element);
116 }
117
118 // Add each of the metadata values to the FileSet's Description element
119 Element description_element = (Element) appropriate_fileset_element.getElementsByTagName(DESCRIPTION_ELEMENT).item(0);
120 for (int i = 0; i < metadata_values.size(); i++) {
121 MetadataValue metadata_value = (MetadataValue) metadata_values.get(i);
122 String metadata_element_name_full = metadata_value.getMetadataElement().getFullName();
123
124 // Remove any characters that are invalid in XML
125 String metadata_value_string = XMLTools.removeInvalidCharacters(metadata_value.getFullValue());
126
127 // Square brackets need to be escaped because they are a special character in Greenstone
128 metadata_value_string = metadata_value_string.replaceAll("\\[", "&#091;");
129 metadata_value_string = metadata_value_string.replaceAll("\\]", "&#093;");
130
131 // Check if this piece of metadata has already been assigned to this FileSet element
132 boolean metadata_already_assigned = false;
133 NodeList metadata_elements_nodelist = description_element.getElementsByTagName(METADATA_ELEMENT);
134 for (int k = 0; k < metadata_elements_nodelist.getLength(); k++) {
135 Element current_metadata_element = (Element) metadata_elements_nodelist.item(k);
136
137 // Check if the metadata element name matches
138 String current_metadata_element_name_full = current_metadata_element.getAttribute("name");
139 if (current_metadata_element_name_full.equals(metadata_element_name_full)) {
140 // Check if the metadata element value matches
141 String current_metadata_value_string = XMLTools.getElementTextValue(current_metadata_element);
142 if (current_metadata_value_string.equals(metadata_value_string)) {
143 // Metadata already assigned
144 metadata_already_assigned = true;
145 break;
146 }
147 }
148 }
149
150 // If the piece of metadata hasn't already been assigned, add it now
151 if (!metadata_already_assigned) {
152 // Create a new Metadata element to record this metadata
153 Element new_metadata_element = document.createElement(METADATA_ELEMENT);
154 new_metadata_element.setAttribute("name", metadata_value.getMetadataElement().getFullName());
155 new_metadata_element.setAttribute("mode", (metadata_value.isAccumulatingMetadata() ? "accumulate" : "override"));
156 new_metadata_element.appendChild(document.createTextNode(metadata_value_string));
157
158 // Accumulating metadata: add at the end
159 if (metadata_value.isAccumulatingMetadata()) {
160 description_element.appendChild(new_metadata_element);
161 }
162 // Override metadata: add at the start (so it overrides inherited metadata without affecting other assigned metadata)
163 else {
164 description_element.insertBefore(new_metadata_element, description_element.getFirstChild());
165 }
166 }
167 }
168
169 // Rewrite the metadata.xml file
170 XMLTools.writeXMLFile(this, document);
171 }
172
173
174 public ArrayList getMetadataAssignedToFile(File file)
175 {
176 // Parse the metadata.xml file
177 Document document = XMLTools.parseXMLFile(this);
178 if (document == null) {
179 System.err.println("Error: Could not parse metadata.xml file " + getAbsolutePath());
180 return new ArrayList();
181 }
182
183 // Determine the file's path relative to the location of the metadata.xml file
184 File metadata_xml_file_directory = getParentFile();
185 String file_relative_path = file.getAbsolutePath().substring(metadata_xml_file_directory.getAbsolutePath().length());
186 if (file_relative_path.startsWith(File.separator)) {
187 file_relative_path = file_relative_path.substring(File.separator.length());
188 }
189
190 // Build up a list of metadata assigned to this file
191 ArrayList metadata_values = new ArrayList();
192
193 // Read all the FileSet elements in the file
194 NodeList fileset_elements_nodelist = document.getElementsByTagName(FILESET_ELEMENT);
195 for (int i = 0; i < fileset_elements_nodelist.getLength(); i++) {
196 Element current_fileset_element = (Element) fileset_elements_nodelist.item(i);
197 boolean current_fileset_matches = false;
198 File folder_metadata_inherited_from = null;
199
200 // Check the FileName elements of the FileSet to see if we have a match
201 NodeList filename_elements_nodelist = current_fileset_element.getElementsByTagName(FILENAME_ELEMENT);
202 for (int j = 0; j < filename_elements_nodelist.getLength(); j++) {
203 Element current_filename_element = (Element) filename_elements_nodelist.item(j);
204 String current_filename_element_value = XMLTools.getElementTextValue(current_filename_element);
205
206 // This fileset specifies metadata for the file
207 if (file_relative_path.matches(current_filename_element_value)) {
208 current_fileset_matches = true;
209 if (!file_relative_path.equals("") && current_filename_element_value.equals(DIRECTORY_FILENAME)) {
210 folder_metadata_inherited_from = metadata_xml_file_directory;
211 }
212 break;
213 }
214
215 // This fileset specifies metadata for the folder the file is in
216 if (file_relative_path.startsWith(current_filename_element_value + File.separator)) {
217 current_fileset_matches = true;
218 folder_metadata_inherited_from = new File(metadata_xml_file_directory, current_filename_element_value);
219 break;
220 }
221 }
222
223 // The FileSet doesn't apply, so move onto the next one
224 if (current_fileset_matches == false) {
225 continue;
226 }
227
228 // Read all the Metadata elements in the fileset
229 NodeList metadata_elements_nodelist = current_fileset_element.getElementsByTagName(METADATA_ELEMENT);
230 for (int k = 0; k < metadata_elements_nodelist.getLength(); k++) {
231 Element current_metadata_element = (Element) metadata_elements_nodelist.item(k);
232 String metadata_element_name_full = current_metadata_element.getAttribute("name");
233 String metadata_set_namespace = MetadataTools.getMetadataSetNamespace(metadata_element_name_full);
234
235 // Ignore legacy crap
236 if (metadata_set_namespace.equals("hidden")) {
237 continue;
238 }
239
240 MetadataSet metadata_set = MetadataSetManager.getMetadataSet(metadata_set_namespace);
241 if (metadata_set == null) {
242 // The metadata set isn't loaded, so give the option of mapping the element into a loaded set
243 String target_metadata_element_name_full = MetadataSetManager.mapUnloadedMetadataElement(metadata_element_name_full);
244 if (target_metadata_element_name_full == null || target_metadata_element_name_full.equals("")) {
245 // Skip this element if we still don't have a loaded element for it
246 continue;
247 }
248
249 metadata_element_name_full = target_metadata_element_name_full;
250 metadata_set_namespace = MetadataTools.getMetadataSetNamespace(metadata_element_name_full);
251 metadata_set = MetadataSetManager.getMetadataSet(metadata_set_namespace);
252 }
253
254 MetadataElement metadata_element = MetadataTools.getMetadataElementWithName(metadata_element_name_full);
255
256 // If the element doesn't exist in the metadata set, we're not interested
257 if (metadata_element == null) {
258 continue;
259 }
260
261 // Square brackets need to be escaped because they are a special character in Greenstone
262 String metadata_value_string = XMLTools.getElementTextValue(current_metadata_element);
263 metadata_value_string = metadata_value_string.replaceAll("&#091;", "[");
264 metadata_value_string = metadata_value_string.replaceAll("&#093;", "]");
265
266 MetadataValueTreeNode metadata_value_tree_node = metadata_element.getMetadataValueTreeNode(metadata_value_string);
267
268 // If there is no metadata value tree node for this value, create it
269 if (metadata_value_tree_node == null) {
270 DebugStream.println("Note: No value tree node for metadata value \"" + metadata_value_string + "\"");
271 metadata_element.addMetadataValue(metadata_value_string);
272 metadata_value_tree_node = metadata_element.getMetadataValueTreeNode(metadata_value_string);
273 }
274
275 MetadataValue metadata_value = new MetadataValue(metadata_element, metadata_value_tree_node);
276 metadata_value.inheritsMetadataFromFolder(folder_metadata_inherited_from);
277
278 // Is this accumulating metadata?
279 if (current_metadata_element.getAttribute("mode").equals("accumulate")) {
280 metadata_value.setIsAccumulatingMetadata(true);
281 }
282
283 // Add the new metadata value to the list
284 metadata_values.add(metadata_value);
285 }
286 }
287
288 return metadata_values;
289 }
290
291
292 public void removeMetadata(File file, ArrayList metadata_values)
293 {
294 // Parse the metadata.xml file
295 Document document = XMLTools.parseXMLFile(this);
296 if (document == null) {
297 System.err.println("Error: Could not parse metadata.xml file " + getAbsolutePath());
298 return;
299 }
300
301 // Determine the file's path relative to the location of the metadata.xml file
302 String metadata_xml_file_directory_path = getParentFile().getAbsolutePath();
303 String file_relative_path = file.getAbsolutePath().substring(metadata_xml_file_directory_path.length());
304 if (file_relative_path.startsWith(File.separator)) {
305 file_relative_path = file_relative_path.substring(File.separator.length());
306 }
307
308 // Form a regular expression that specifies the scope of the metadata
309 String file_path_regexp;
310 if (file_relative_path.equals("")) {
311 // Special case for matching all files in the directory
312 file_path_regexp = DIRECTORY_FILENAME;
313 }
314 else {
315 // Convert the file path into a regular expression that will match it
316 file_path_regexp = MetadataTools.getRegularExpressionThatMatchesFilePath(file_relative_path);
317 }
318
319 // Find the appropriate FileSet element for this file
320 Element appropriate_fileset_element = null;
321
322 // Read all the FileSet elements in the file
323 NodeList fileset_elements_nodelist = document.getElementsByTagName(FILESET_ELEMENT);
324 for (int i = 0; i < fileset_elements_nodelist.getLength(); i++) {
325 Element current_fileset_element = (Element) fileset_elements_nodelist.item(i);
326
327 // Check the FileName elements of the FileSet to see if we have a match
328 NodeList filename_elements_nodelist = current_fileset_element.getElementsByTagName(FILENAME_ELEMENT);
329 for (int j = 0; j < filename_elements_nodelist.getLength(); j++) {
330 Element current_filename_element = (Element) filename_elements_nodelist.item(j);
331 String current_filename_element_value = XMLTools.getElementTextValue(current_filename_element);
332
333 // Only exact matches can be extended with new metadata
334 if (current_filename_element_value.equals(file_path_regexp)) {
335 appropriate_fileset_element = current_fileset_element;
336 break;
337 }
338 }
339 }
340
341 // If no appropriate FileSet element exists the metadata isn't assigned in this metadata.xml file
342 if (appropriate_fileset_element == null) {
343 DebugStream.println("Note: No appropriate FileSet element found when removing metadata from " + this);
344 return;
345 }
346
347 // Remove each of the metadata values from the FileSet's Description element
348 Element description_element = (Element) appropriate_fileset_element.getElementsByTagName(DESCRIPTION_ELEMENT).item(0);
349 for (int i = 0; i < metadata_values.size(); i++) {
350 MetadataValue metadata_value = (MetadataValue) metadata_values.get(i);
351
352 // Remove any characters that are invalid in XML
353 String metadata_value_string = XMLTools.removeInvalidCharacters(metadata_value.getFullValue());
354
355 // Square brackets need to be escaped because they are a special character in Greenstone
356 metadata_value_string = metadata_value_string.replaceAll("\\[", "&#091;");
357 metadata_value_string = metadata_value_string.replaceAll("\\]", "&#093;");
358
359 // Find the Metadata element to delete from the fileset
360 String metadata_element_name_full = metadata_value.getMetadataElement().getFullName();
361 NodeList metadata_elements_nodelist = appropriate_fileset_element.getElementsByTagName(METADATA_ELEMENT);
362 for (int k = 0; k < metadata_elements_nodelist.getLength(); k++) {
363 Element current_metadata_element = (Element) metadata_elements_nodelist.item(k);
364
365 // Check the metadata element name matches
366 String current_metadata_element_name_full = current_metadata_element.getAttribute("name");
367 if (current_metadata_element_name_full.equals(metadata_element_name_full)) {
368 // Check the metadata element value matches
369 String current_metadata_value_string = XMLTools.getElementTextValue(current_metadata_element);
370 if (current_metadata_value_string.equals(metadata_value_string)) {
371 // Remove this Metadata element
372 current_metadata_element.getParentNode().removeChild(current_metadata_element);
373 break;
374 }
375 }
376 }
377 }
378
379 // Rewrite the metadata.xml file
380 XMLTools.writeXMLFile(this, document);
381 }
382
383
384 public void replaceMetadata(File file, MetadataValue old_metadata_value, MetadataValue new_metadata_value)
385 {
386 // Parse the metadata.xml file
387 Document document = XMLTools.parseXMLFile(this);
388 if (document == null) {
389 System.err.println("Error: Could not parse metadata.xml file " + getAbsolutePath());
390 return;
391 }
392
393 // Determine the file's path relative to the location of the metadata.xml file
394 String metadata_xml_file_directory_path = getParentFile().getAbsolutePath();
395 String file_relative_path = file.getAbsolutePath().substring(metadata_xml_file_directory_path.length());
396 if (file_relative_path.startsWith(File.separator)) {
397 file_relative_path = file_relative_path.substring(File.separator.length());
398 }
399
400 // Form a regular expression that specifies the scope of the metadata
401 String file_path_regexp;
402 if (file_relative_path.equals("")) {
403 // Special case for matching all files in the directory
404 file_path_regexp = DIRECTORY_FILENAME;
405 }
406 else {
407 // Convert the file path into a regular expression that will match it
408 file_path_regexp = MetadataTools.getRegularExpressionThatMatchesFilePath(file_relative_path);
409 }
410
411 // Remove any characters that are invalid in XML
412 String old_metadata_value_string = XMLTools.removeInvalidCharacters(old_metadata_value.getFullValue());
413 String new_metadata_value_string = XMLTools.removeInvalidCharacters(new_metadata_value.getFullValue());
414
415 // Square brackets need to be escaped because they are a special character in Greenstone
416 old_metadata_value_string = old_metadata_value_string.replaceAll("\\[", "&#091;");
417 old_metadata_value_string = old_metadata_value_string.replaceAll("\\]", "&#093;");
418 new_metadata_value_string = new_metadata_value_string.replaceAll("\\[", "&#091;");
419 new_metadata_value_string = new_metadata_value_string.replaceAll("\\]", "&#093;");
420
421 // Read all the FileSet elements in the file
422 NodeList fileset_elements_nodelist = document.getElementsByTagName(FILESET_ELEMENT);
423 for (int i = 0; i < fileset_elements_nodelist.getLength(); i++) {
424 Element current_fileset_element = (Element) fileset_elements_nodelist.item(i);
425 boolean current_fileset_matches = false;
426
427 // Check the FileName elements of the FileSet to see if we have a match
428 NodeList filename_elements_nodelist = current_fileset_element.getElementsByTagName(FILENAME_ELEMENT);
429 for (int j = 0; j < filename_elements_nodelist.getLength(); j++) {
430 Element current_filename_element = (Element) filename_elements_nodelist.item(j);
431 String current_filename_element_value = XMLTools.getElementTextValue(current_filename_element);
432
433 // Only exact matches can be edited
434 if (current_filename_element_value.equals(file_path_regexp)) {
435 current_fileset_matches = true;
436 break;
437 }
438 }
439
440 // The FileSet doesn't apply, so move onto the next one
441 if (current_fileset_matches == false) {
442 continue;
443 }
444
445 // Each metadata value is only allowed to be assigned once
446 boolean new_metadata_value_already_exists = false;
447 Element metadata_element_to_edit = null;
448
449 // Find the Metadata element to replace in the fileset
450 String metadata_element_name_full = old_metadata_value.getMetadataElement().getFullName();
451 NodeList metadata_elements_nodelist = current_fileset_element.getElementsByTagName(METADATA_ELEMENT);
452 for (int k = 0; k < metadata_elements_nodelist.getLength(); k++) {
453 Element current_metadata_element = (Element) metadata_elements_nodelist.item(k);
454
455 // Check the metadata element name matches
456 String current_metadata_element_name_full = current_metadata_element.getAttribute("name");
457 if (!current_metadata_element_name_full.equals(metadata_element_name_full)) {
458 continue;
459 }
460
461 // Check the new metadata value doesn't already exist
462 String current_metadata_value_string = XMLTools.getElementTextValue(current_metadata_element);
463 if (current_metadata_value_string.equals(new_metadata_value_string)) {
464 new_metadata_value_already_exists = true;
465 }
466
467 // Check the metadata element value matches
468 if (current_metadata_value_string.equals(old_metadata_value_string)) {
469 metadata_element_to_edit = current_metadata_element;
470 }
471 }
472
473 // If the new metadata value already existed, remove the original value
474 if (new_metadata_value_already_exists) {
475 metadata_element_to_edit.getParentNode().removeChild(metadata_element_to_edit);
476 }
477 // Otherwise replace the old value with the new value
478 else {
479 XMLTools.setElementTextValue(metadata_element_to_edit, new_metadata_value_string);
480 }
481 }
482
483 // Rewrite the metadata.xml file
484 XMLTools.writeXMLFile(this, document);
485 }
486
487
488 /**
489 * Every metadata.xml file must be skimmed when a collection is opened, for two reasons:
490 * - To build complete and accurate metadata value trees (needed for Enrich pane and hierarchy files)
491 * - To handle any non-namespaced metadata in the file
492 */
493 public void skimFile()
494 {
495 boolean file_changed = false;
496
497 // Parse the metadata.xml file
498 DebugStream.println("Skimming metadata.xml file " + this + "...");
499 Document document = XMLTools.parseXMLFile(this);
500 if (document == null) {
501 System.err.println("Error: Could not parse metadata.xml file " + getAbsolutePath());
502 return;
503 }
504
505 // Read all the Metadata elements in the file
506 NodeList metadata_elements_nodelist = document.getElementsByTagName(METADATA_ELEMENT);
507 for (int i = 0; i < metadata_elements_nodelist.getLength(); i++) {
508 Element current_metadata_element = (Element) metadata_elements_nodelist.item(i);
509 String metadata_element_name_full = current_metadata_element.getAttribute("name");
510 String metadata_set_namespace = MetadataTools.getMetadataSetNamespace(metadata_element_name_full);
511
512 // Ignore legacy crap
513 if (metadata_set_namespace.equals("hidden")) {
514 continue;
515 }
516
517 MetadataSet metadata_set = MetadataSetManager.getMetadataSet(metadata_set_namespace);
518 if (metadata_set == null) {
519 // The metadata set isn't loaded, so give the option of mapping the element into a loaded set
520 String target_metadata_element_name_full = MetadataSetManager.mapUnloadedMetadataElement(metadata_element_name_full);
521 if (target_metadata_element_name_full == null || target_metadata_element_name_full.equals("")) {
522 // Skip this element if we still don't have a loaded element for it
523 continue;
524 }
525
526 // Update the metadata.xml file to have the new element name
527 current_metadata_element.setAttribute("name", target_metadata_element_name_full);
528 file_changed = true;
529
530 metadata_element_name_full = target_metadata_element_name_full;
531 metadata_set_namespace = MetadataTools.getMetadataSetNamespace(metadata_element_name_full);
532 metadata_set = MetadataSetManager.getMetadataSet(metadata_set_namespace);
533 }
534
535 String metadata_element_name = MetadataTools.getMetadataElementName(metadata_element_name_full);
536 MetadataElement metadata_element = metadata_set.getMetadataElementWithName(metadata_element_name);
537
538 // If the element doesn't exist in the metadata set, add it
539 if (metadata_element == null) {
540 metadata_element = metadata_set.addMetadataElementForThisSession(metadata_element_name);
541 }
542
543 // Square brackets need to be escaped because they are a special character in Greenstone
544 String metadata_value_string = XMLTools.getElementTextValue(current_metadata_element);
545 metadata_value_string = metadata_value_string.replaceAll("&#091;", "[");
546 metadata_value_string = metadata_value_string.replaceAll("&#093;", "]");
547
548 metadata_element.addMetadataValue(metadata_value_string);
549 }
550
551 // Rewrite the metadata.xml file if it has changed
552 if (file_changed) {
553 XMLTools.writeXMLFile(this, document);
554 }
555 }
556}
Note: See TracBrowser for help on using the repository browser.