Scala Library Documentation
|
|
scala/xml/dtd/PublicID.scala
]
case
class
PublicID(val
publicId : java.lang.String, val
systemId : java.lang.String)
extends
ExternalID with
TokenTests with
ProductpublicLiteral -
the public identifier literalsystemLiteral -
(can be null for notation pubIDs) the system identifier literalMethod Summary | |
def
|
attribute
: MetaData
always empty
|
def
|
child
: Nil
always empty
|
override def
|
equals (arg0 : Any) : Boolean |
override def
|
hashCode : Int |
def
|
label
: java.lang.String
the constant "#PI"
|
override final def
|
productArity
: Int
return k for a product
A(x_1,...,x_k)) |
override final def
|
productElement
(arg0 : Int) : Any
for a case class
A(x_1,...,x_k)) , returns x_(i+1)
for 0 <= i < k |
override final def
|
productPrefix
: java.lang.String
By default the empty string. Implementations may override this
method in order to prepend a string prefix to the result of the
toString methods.
|
override def
|
toString
: java.lang.String
returns "PUBLIC "+publicLiteral+" SYSTEM "+systemLiteral
|
override def
|
toString
(sb : StringBuilder) : StringBuilder
appends "PUBLIC "+publicId+" SYSTEM "+systemId to argument
|
Methods inherited from Product | |
element, arity |
Methods inherited from TokenTests | |
isSpace, isSpace, isNameChar, isNameStart, isName, isPubIDChar, isValidIANAEncoding, checkSysID, checkPubID |
Methods inherited from AnyRef | |
getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Method Details |
def
label : java.lang.String
def
attribute : MetaData
def
child : Nil
override
def
toString(sb : StringBuilder) : StringBuilder
override
def
hashCode : Int
override
def
toString : java.lang.String
override final
def
productPrefix : java.lang.String
override final
def
productArity : Int
A(x_1,...,x_k))
A(x_1,...,x_k))
, returns x_(i+1)
for 0 <= i < k
n -
the position of the n-th elementIndexOutOfBoundsException -
Scala Library Documentation
|
|