docutil.scala
来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 124 行
SCALA
124 行
/* NSC -- new Scala compiler * Copyright 2005-2007 LAMP/EPFL * @author Sean McDirmid */// $Id: DocUtil.scala 14416 2008-03-19 01:17:25Z mihaylov $package scala.tools.nsc.docimport java.io.StringReaderimport org.xml.sax.InputSourceimport 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(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 }}⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?