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
|
/* NSC -- new Scala compiler
* Copyright 2005-2009 LAMP/EPFL
* @author Sean McDirmid
*/
// $Id$
package scala.tools.nsc.doc
import java.io.StringReader
import org.xml.sax.InputSource
import scala.collection.immutable.{ListMap, TreeSet}
import scala.xml._
object DocUtil {
//def dquote(str: String): NodeSeq =
// DQUOTE :: Text(str) :: DQUOTE :: Nil
def load(str: String): NodeSeq =
if ((str == null) || (str.length == 0))
NodeSeq.Empty
else {
val xmlSrc =
if (str.matches("^(<!--.*-->)*<[^>]+>.*<[^>]+>(<!--.*-->)*$")) str
else "<div>" + str + "</div>"
XML.load(new StringReader(xmlSrc))
}
//object DQUOTE extends SpecialNode {
// def toString(sb: StringBuffer) = {
// sb.append("\""); sb
// }
// def label = "#PCDATA"
//}
def br(nodes: NodeSeq): NodeSeq = nodes ++ (<br/>)
def hr(nodes: NodeSeq): NodeSeq = nodes ++ (<hr/>)
trait UrlContext {
def relative: String
def aref(href0: String, target: String, text: String): NodeSeq = {
if (href0 == null) return Text(text);
val href = {
if (href0.startsWith("http:") || href0.startsWith("file:")) "";
else relative
} + Utility.escape(href0)
if ((target ne null) && target.indexOf('<') != -1) throw new Error(target)
val t0 = Text(text)
if (target ne null)
(<a href={href} target={target}>{t0}</a>);
else
(<a href={href}>{t0}</a>);
}
val encoding = Properties.encodingString
val generator = System.getProperty("doc.generator", "scaladoc (" + Properties.versionString + ")")
val header =
(<meta http-equiv="content-type" content={"text/html; charset=" + encoding}/>
<meta name="generator" content={generator}/>
<link rel="stylesheet" type="text/css" href={ relative + "style.css"}/>
<script type="text/javascript" src={relative + "script.js"}></script>);
def body0(hasBody: Boolean, nodes: NodeSeq): NodeSeq =
if (!hasBody) nodes else (<body onload="init()">{nodes}</body>);
val dtype = "<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">"
def page(title: String, body: NodeSeq, hasBody: Boolean): NodeSeq =
(<html>
<head><title>{Text(if (title eq null) "null title" else title)}</title>
{header}
</head>
{body0(hasBody, body)}
</html>)
} // UrlContext
def div0(title: String): NodeSeq =
(<div class="doctitle-larger">{Text(title)}</div>);
def merge[T](ts0: TreeSet[T], ts1: TreeSet[T]): TreeSet[T] = {
var ts = ts0
for (t <- ts1.toList) ts += t
ts
}
def merge[T,S <: Ordered[S]](ts0: ListMap[T,TreeSet[S]],
ts1: ListMap[T,TreeSet[S]]): ListMap[T,TreeSet[S]] = {
var ts = ts0
for (t <- ts1.elements) {
if (!ts.contains(t._1))
ts = ts.update(t._1, new TreeSet[S]);
ts = ts.update(t._1, merge(ts(t._1), t._2))
}
ts
}
implicit def coerceIterable[T](list : Iterable[T]) = NodeWrapper(list.elements)
implicit def coerceIterator[T](list : Iterator[T]) = NodeWrapper(list)
case class NodeWrapper[T](list : Iterator[T]) {
def mkXML(begin: NodeSeq, separator: NodeSeq, end: NodeSeq)(f: T => NodeSeq): NodeSeq = {
var seq: NodeSeq = begin
val i = list
while (i.hasNext) {
seq = seq ++ f(i.next);
if (i.hasNext) seq = seq ++ separator;
}
seq ++ end
}
def mkXML(begin: String, separator: String, end: String)(f: T => NodeSeq): NodeSeq = {
this.mkXML(Text(begin),Text(separator),Text(end))(f);
}
def surround(open: String, close: String)(f: T => NodeSeq) =
if (list.hasNext) mkXML(open, ", ", close)(f)
else NodeSeq.Empty
}
}
|
