group.scala
来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 72 行
SCALA
72 行
/* __ *\** ________ ___ / / ___ Scala API **** / __/ __// _ | / / / _ | (c) 2003-2007, LAMP/EPFL **** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **** /____/\___/_/ |_/____/_/ | | **** |/ **\* */// $Id: Group.scala 12905 2007-09-18 09:13:45Z michelou $package scala.xml/** A hack to group XML nodes in one node for output. * * @author Burak Emir * @version 1.0 */@serializablecase class Group(val nodes: Seq[Node]) extends Node { override def theSeq = nodes /** structural equality */ override def equals(x: Any) = x match { case z:Group => (length == z.length) && sameElements(z) case z:Node => (length == 1) && z == apply(0) case z:Seq[_] => sameElements(z) case z:String => text == z case _ => false } /** * @throws Predef.UnsupportedOperationException (always) */ final def label = throw new UnsupportedOperationException("class Group does not support method 'label'") /** * @throws Predef.UnsupportedOperationException (always) */ final override def attributes = throw new UnsupportedOperationException("class Group does not support method 'attributes'") /** * @throws Predef.UnsupportedOperationException (always) */ final override def namespace = throw new UnsupportedOperationException("class Group does not support method 'namespace'") /** * @throws Predef.UnsupportedOperationException (always) */ final override def child = throw new UnsupportedOperationException("class Group does not support method 'child'") /** * @throws Predef.UnsupportedOperationException (always) */ def toString(sb: StringBuilder) = throw new UnsupportedOperationException( "class Group does not support method toString(StringBuilder)") override def text = { // same impl as NodeSeq val sb = new StringBuilder() val it = elements while (it.hasNext) sb.append(it.next.text) sb.toString() }}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?