scala-xml/scala.xml.dtd/ExtDef

ExtDef

case class ExtDef(extID: ExternalID) extends EntityDef
trait Serializable
trait Product
trait Equals
class EntityDef
class Object
trait Matchable
class Any

Value members

Concrete methods

override def buildString(sb: StringBuilder): StringBuilder
Definition Classes

Inherited methods

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