|
Scala
1.4.0.3 |
|||
publicLiteral
-
the public identifier literal
systemLiteral
-
(can be null for notation pubIDs) the system identifier literal
Field Summary | |
val publicId: String
|
|
val systemId: String
|
Method Summary | |
final
|
def attribute: MetaData
always empty |
final
|
def child: Nil.type
always empty |
final
|
def label: String
the constant "#PI" |
final override
|
def toString(): String
returns "PUBLIC "+publicId+" SYSTEM "+systemId |
final
|
def toString(sb: StringBuffer): StringBuffer
appends "PUBLIC "+publicId+" SYSTEM "+systemId to argument |
Methods inherited from java/lang/Object-class |
clone, eq, equals, finalize, getClass, hashCode, ne, notify, notifyAll, synchronized, wait, wait, wait |
Methods inherited from scala/Any-class |
!=, ==, asInstanceOf, isInstanceOf, match |
Methods inherited from scala/CaseClass-class |
caseArity, caseElement, caseName |
Methods inherited from scala/ScalaObject-class |
getScalaType |
Methods inherited from scala/xml/parsing/TokenTests-class |
checkPubID, checkSysID, isName, isNameChar, isNameStart, isPubIDChar, isSpace, isSpace, isValidIANAEncoding |
Field Detail |
val publicId: String
val systemId: String
Method Detail |
final def label: String
final def attribute: MetaData
final def child: Nil.type
final override def toString(): String
final def toString(sb: StringBuffer): StringBuffer
|
Scala
1.4.0.3 |
|||