ExtDef

scala.xml.dtd.ExtDef
case class ExtDef(extID: ExternalID) extends EntityDef

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class EntityDef
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

Attributes

Definition Classes

Inherited methods

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product