in scala.xml.dtd
object MakeValidationException

object MakeValidationException
extends java.lang.Object
with scala.ScalaObject

Constructor Summary
def this



Def Summary
def fromFixedAttribute ( k : java.lang.String , value : java.lang.String , actual : java.lang.String ) : scala.xml.dtd.ValidationException

def fromMissingAttribute ( allKeys : scala.collection.Set[java.lang.String] ) : scala.xml.dtd.ValidationException

def fromMissingAttribute ( key : java.lang.String , tpe : java.lang.String ) : scala.xml.dtd.ValidationException

def fromNonEmptyElement : scala.xml.dtd.ValidationException

def fromUndefinedAttribute ( key : java.lang.String ) : scala.xml.dtd.ValidationException

def fromUndefinedElement ( label : java.lang.String ) : scala.xml.dtd.ValidationException



Constructor Detail
def this

Def Detail
def fromFixedAttribute ( k : java.lang.String , value : java.lang.String , actual : java.lang.String ) : scala.xml.dtd.ValidationException

def fromMissingAttribute ( allKeys : scala.collection.Set[java.lang.String] ) : scala.xml.dtd.ValidationException

def fromMissingAttribute ( key : java.lang.String , tpe : java.lang.String ) : scala.xml.dtd.ValidationException

def fromNonEmptyElement : scala.xml.dtd.ValidationException

def fromUndefinedAttribute ( key : java.lang.String ) : scala.xml.dtd.ValidationException

def fromUndefinedElement ( label : java.lang.String ) : scala.xml.dtd.ValidationException