binder.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 62 行

SCALA
62
字号
/*                     __                                               *\**     ________ ___   / /  ___     Scala API                            ****    / __/ __// _ | / /  / _ |    (c) 2002-2007, LAMP/EPFL             ****  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **** /____/\___/_/ |_/____/_/ | |                                         ****                          |/                                          **\*                                                                      */// $Id: Binder.scala 10788 2007-04-23 15:38:07Z michelou $package scala.xml.factoryimport scala.xml.parsing.ValidatingMarkupHandler/** *  @author Burak Emir */abstract class Binder(val preserveWS: Boolean) extends ValidatingMarkupHandler {  var result: NodeBuffer = new NodeBuffer()  def reportSyntaxError(pos:Int, str:String) = {}  final def procInstr(pos: Int, target: String, txt: String) =    ProcInstr(target, txt)  final def comment(pos: Int, txt: String) =    Comment(txt)  final def entityRef(pos: Int, n: String) =    EntityRef(n)  final def text(pos: Int, txt: String) =    Text(txt)  final def traverse(n:Node): Unit = n match {    case x:ProcInstr =>      result &+ procInstr(0, x.target, x.text)    case x:Comment   =>      result &+ comment(0, x.text)    case x:Text      =>      result &+ text(0, x.data)    case x:EntityRef =>      result &+ entityRef(0, x.entityName)    case _ =>       elemStart(0, n.prefix, n.label, n.attributes, n.scope)      val old = result      result = new NodeBuffer()      for (m <- n.child) traverse(m)      result = old &+ elem(0, n.prefix, n.label, n.attributes, n.scope, NodeSeq.fromSeq(result)).toList;      elemEnd(0, n.prefix, n.label)  }    final def validate(n: Node): Node = {    this.rootLabel = n.label    traverse(n)    result(0)  }}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?