diff options
Diffstat (limited to 'src/compiler/scala/tools/nsc/ast/parser/xml/Utility.scala')
-rwxr-xr-x | src/compiler/scala/tools/nsc/ast/parser/xml/Utility.scala | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/src/compiler/scala/tools/nsc/ast/parser/xml/Utility.scala b/src/compiler/scala/tools/nsc/ast/parser/xml/Utility.scala index 39e4831af2..6dcfa173df 100755 --- a/src/compiler/scala/tools/nsc/ast/parser/xml/Utility.scala +++ b/src/compiler/scala/tools/nsc/ast/parser/xml/Utility.scala @@ -122,10 +122,6 @@ object Utility { case '\u0009' | '\u000A' | '\u000D' | '\u0020' => true case _ => false } - /** {{{ - * (#x20 | #x9 | #xD | #xA)+ - * }}} */ - final def isSpace(cs: Seq[Char]): Boolean = cs.nonEmpty && (cs forall isSpace) /** {{{ * NameChar ::= Letter | Digit | '.' | '-' | '_' | ':' @@ -164,13 +160,4 @@ object Utility { case _ => ch == '_' } } - - /** {{{ - * Name ::= ( Letter | '_' ) (NameChar)* - * }}} - * See [5] of XML 1.0 specification. - */ - def isName(s: String) = - s.nonEmpty && isNameStart(s.head) && (s.tail forall isNameChar) - } |