scala.xml.dtd

object MakeValidationException

[source: scala/xml/dtd/MakeValidationException.scala]

object MakeValidationException
extends AnyRef
Method Summary
def fromFixedAttribute (k : String, value : String, actual : String) : ValidationException
def fromMissingAttribute (allKeys : Set[String]) : ValidationException
def fromMissingAttribute (key : String, tpe : String) : ValidationException
def fromNonEmptyElement : ValidationException
def fromUndefinedAttribute (key : String) : ValidationException
def fromUndefinedElement (label : String) : ValidationException
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
def fromFixedAttribute(k : String, value : String, actual : String) : ValidationException

def fromNonEmptyElement : ValidationException

def fromUndefinedElement(label : String) : ValidationException

def fromUndefinedAttribute(key : String) : ValidationException

def fromMissingAttribute(allKeys : Set[String]) : ValidationException

def fromMissingAttribute(key : String, tpe : String) : ValidationException