|
Scala Library
|
|
scala/xml/Parsing.scala]
object
Parsing
extends AnyRefParsing ...parsing.TokenTests or Utilty (helper functions for parsing XML fragments).| Method Summary | |
def
|
checkPubID (s : java.lang.String) : Boolean |
def
|
checkSysID (s : java.lang.String) : Boolean |
def
|
isName
(s : java.lang.String) : Boolean
Name ::= ( Letter | '_' ) (NameChar)see [5] of XML 1.0 specification |
def
|
isNameChar
(ch : Char) : Boolean
NameChar ::= Letter | Digit | '.' | '-' | '_' | ':'
| CombiningChar | Extender
see [4] and Appendix B of XML 1.0 specification |
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 ':'. see [3] and Appendix B of XML 1.0 specification |
def
|
isPubIDChar (c : Char) : Boolean |
final def
|
isSpace
(cs : Seq[Char]) : Boolean
(#x20 | #x9 | #xD | #xA)+ |
final def
|
isSpace
(ch : Char) : Boolean
(#x20 | #x9 | #xD | #xA) |
| Methods inherited from AnyRef | |
| getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
(#x20 | #x9 | #xD | #xA)
(#x20 | #x9 | #xD | #xA)+
NameChar ::= Letter | Digit | '.' | '-' | '_' | ':'
| CombiningChar | Extender
see [4] and Appendix B of XML 1.0 specificationNameStart ::= ( 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 ':'. see [3] and Appendix B of XML 1.0 specification
def
isName(s : java.lang.String) : Boolean
Name ::= ( Letter | '_' ) (NameChar)see [5] of XML 1.0 specification
def
checkSysID(s : java.lang.String) : Boolean
def
checkPubID(s : java.lang.String) : Boolean
|
Scala Library
|
|