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
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2003-2009, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.xml
import Predef._
import scala.xml.parsing.NoBindingFactoryAdapter
import org.xml.sax.InputSource
import java.io.{File, FileDescriptor, FileInputStream, FileOutputStream}
import java.io.{InputStream, Reader, StringReader, Writer}
import scala.util.control.Exception.ultimately
/** The object <code>XML</code> provides constants, and functions to load
* and save XML elements. Use this when data binding is not desired, i.e.
* when XML is handled using <code>Symbol</code> nodes.
*
* @author Burak Emir
* @version 1.0, 25/04/2005
*/
object XML
{
val xml = "xml"
val xmlns = "xmlns"
val namespace = "http://www.w3.org/XML/1998/namespace"
val preserve = "preserve"
val space = "space"
val lang = "lang"
val encoding = "ISO-8859-1"
// functions for generic xml loading, saving
private def mkAdapter(is: InputSource): Elem = new NoBindingFactoryAdapter().loadXML(is)
private def mkAdapter(fis: FileInputStream): Elem = mkAdapter(new InputSource(fis))
/** loads XML from given file, using XML parser in JDK. */
final def loadFile(file: File): Elem =
mkAdapter(new FileInputStream(file))
/** loads XML from given file descriptor, using XML parser in JDK. */
final def loadFile(fileDesc: FileDescriptor): Elem =
mkAdapter(new FileInputStream(fileDesc))
/** loads XML from given file, using XML parser in JDK. */
final def loadFile(fileName: String): Elem =
mkAdapter(new FileInputStream(fileName))
/** loads XML from given InputStream, using XML parser in JDK. */
final def load(is: InputStream): Elem =
mkAdapter(new InputSource(is))
/** loads XML from given Reader, using XML parser in JDK. */
final def load(reader: Reader): Elem =
mkAdapter(new InputSource(reader))
/** loads XML from given sysID, using XML parser in JDK. */
final def load(sysID: String): Elem =
mkAdapter(new InputSource(sysID))
/** loads XML from a given input source, using XML parser in JDK.
*
* @param source ...
* @return ...
*/
final def load(source: InputSource): Elem = mkAdapter(source)
/** loads XML from a string, using XML parser in JDK. */
final def loadString(string: String): Elem = load(new StringReader(string))
@deprecated("Use save() instead")
final def saveFull(filename: String, node: Node, xmlDecl: Boolean, doctype: dtd.DocType): Unit =
saveFull(filename, node, encoding, xmlDecl, doctype)
@deprecated("Use save() instead")
final def saveFull(filename: String, node: Node, enc: String, xmlDecl: Boolean, doctype: dtd.DocType): Unit =
saveFull(filename, node, enc, xmlDecl, doctype)
/** Saves a node to a file with given filename using given encoding
* optionally with xmldecl and doctype declaration.
*
* @param filename the filename
* @param node the xml node we want to write
* @param enc encoding to use
* @param xmlDecl if true, write xml declaration
* @param doctype if not null, write doctype declaration
*/
final def save(
filename: String,
node: Node,
enc: String = encoding,
xmlDecl: Boolean = false,
doctype: dtd.DocType
): Unit =
{
// using NIO classes of JDK 1.4
import java.io._
import java.nio.channels._
val fos = new FileOutputStream(filename)
val w = Channels.newWriter(fos.getChannel(), enc)
ultimately({ w.close() ; fos.close() })(
write(w, node, enc, xmlDecl, doctype)
)
}
/** Writes the given node using writer, optionally with xml decl and doctype.
* It's the caller's responsibility to close the writer.
*
* @param w the writer
* @param node the xml node we want to write
* @param enc the string to be used in <code>xmlDecl</code>
* @param xmlDecl if true, write xml declaration
* @param doctype if not null, write doctype declaration
*/
final def write(w: java.io.Writer, node: Node, enc: String, xmlDecl: Boolean, doctype: dtd.DocType) {
/* TODO: optimize by giving writer parameter to toXML*/
if (xmlDecl) w.write("<?xml version='1.0' encoding='" + enc + "'?>\n")
if (doctype ne null) w.write( doctype.toString() + "\n")
w.write(Utility.toXML(node).toString)
}
}
|