|
Scala 2.3.1
|
case
class
PublicID
extends
scala.xml.dtd.ExternalID
with
scala.xml.parsing.TokenTests
with
scala.ScalaObject
with
scala.Product2[java.lang.String, java.lang.String]
publicLiteral -
the public identifier literal
systemLiteral -
(can be null for notation pubIDs) the system identifier literal
Constructor Summary | |
def
this
(publicId: java.lang.String, systemId: java.lang.String)
|
Val Summary | |
val
publicId
: java.lang.String
|
|
val
systemId
: java.lang.String
|
Def Summary | |
final override
|
def
$tag
: scala.Int
|
final override
|
def
_1
: java.lang.String
|
final override
|
def
_2
: java.lang.String
|
def
attribute
: scala.xml.MetaData
always empty |
|
def
child
: scala.Nil.type
always empty |
|
override
|
def
equals
(x$1: scala.Any)
: scala.Boolean
|
override
|
def
hashCode
: scala.Int
|
def
label
: java.lang.String
the constant "#PI" |
|
final override
|
def
productPrefix
: java.lang.String
|
override
|
def
toString
(sb: scala.compat.StringBuilder)
: scala.compat.StringBuilder
appends "PUBLIC "+publicId+" SYSTEM "+systemId to argument |
Def inherited from scala.xml.dtd.ExternalID | |
systemId , toString, toString |
Def inherited from scala.xml.parsing.TokenTests | |
checkPubID , checkSysID, isName, isNameChar, isNameStart, isPubIDChar, isSpace, isSpace, isValidIANAEncoding |
Def inherited from scala.Product2[java.lang.String, java.lang.String] | |
_1 , _2, arity, element |
Constructor Detail |
Val Detail |
Def Detail |
final override
def
$tag
: scala.Int
final override
def
_1
: java.lang.String
final override
def
_2
: java.lang.String
def
attribute
: scala.xml.MetaData
def
child
: scala.Nil.type
override
def
equals
(x$1: scala.Any): scala.Boolean
override
def
hashCode
: scala.Int
def
label
: java.lang.String
final override
def
productPrefix
: java.lang.String
override
def
toString
(sb: scala.compat.StringBuilder): scala.compat.StringBuilder