EvElemEnd

case class EvElemEnd(pre: String, label: String) extends XMLEvent

An Element's end tag was encountered.

Value parameters:
label

the name of the element, not including the prefix

pre

prefix, if any, on the element. This is the xs in <xs:string>foo</xs:string>.

trait Serializable
trait Product
trait Equals
trait XMLEvent
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product