diff options
Diffstat (limited to 'src/library/scala/xml/pull/XMLEvent.scala')
| -rw-r--r-- | src/library/scala/xml/pull/XMLEvent.scala | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/library/scala/xml/pull/XMLEvent.scala b/src/library/scala/xml/pull/XMLEvent.scala index 50e657489d..622a3e7b87 100644 --- a/src/library/scala/xml/pull/XMLEvent.scala +++ b/src/library/scala/xml/pull/XMLEvent.scala @@ -1,7 +1,7 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003-2006, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** +** / __/ __// _ | / / / _ | (c) 2003-2007, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** \* */ @@ -11,11 +11,10 @@ package scala.xml.pull -/** represents an XMLEvent for pull parsing +/** This class represents an XML event for pull parsing. */ -trait XMLEvent { -} +trait XMLEvent -case class ElemStart(pre: String, label: String, attrs: MetaData, scope:NamespaceBinding) extends XMLEvent +case class ElemStart(pre: String, label: String, attrs: MetaData, scope: NamespaceBinding) extends XMLEvent case class ElemEnd(pre: String, label: String) extends XMLEvent |