|
Scala
1.2.0.1 |
|||
Method Summary | |
final
|
def checkPubID(s: String): Boolean
|
final
|
def checkSysID(s: String): Boolean
|
final
|
def isName(s: String): Boolean
Name ::= ( Letter | '_' ) (NameChar)* see [5] of XML 1.0 specification |
final
|
def isNameChar(ch: Char): Boolean
NameChar ::= Letter | Digit | '.' | '-' | '_' | ':' | CombiningChar | Extender see [4] and Appendix B of XML 1.0 specification |
final
|
def isNameStart(ch: Char): Boolean
NameStart ::= ( Letter | '_' ) where Letter means in one of the Unicode general categories { Ll, Lu, Lo, Lt, Nl } We do not allow a name to start with ':'. |
final
|
def isPubIDChar(c: Char): Boolean
|
final
|
def isSpace(ch: Char): Boolean
(#x20 | #x9 | #xD | #xA) |
final
|
def isSpace(cs: Seq[Char]): Boolean
(#x20 | #x9 | #xD | #xA)+ |
Method Detail |
final def isSpace(ch: Char): Boolean
final def isSpace(cs: Seq[Char]): Boolean
final def isNameChar(ch: Char): Boolean
final def isNameStart(ch: Char): Boolean
final def isName(s: String): Boolean
final def isPubIDChar(c: Char): Boolean
final def checkSysID(s: String): Boolean
final def checkPubID(s: String): Boolean
|
Scala
1.2.0.1 |
|||