blob: c3466ee0e7db308de814c1f6b091f2cca31572c3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2009, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://www.scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
package scala.xml
package dtd
class Tokens {
// Tokens
final val TOKEN_PCDATA = 0
final val NAME = 1
final val LPAREN = 3
final val RPAREN = 4
final val COMMA = 5
final val STAR = 6
final val PLUS = 7
final val OPT = 8
final val CHOICE = 9
final val END = 10
final val S = 13
final def token2string(i: Int): String = i match {
case 0 => "#PCDATA"
case 1 => "NAME"
case 3 => "("
case 4 => ")"
case 5 => ","
case 6 => "*"
case 7 => "+"
case 8 => "?"
case 9 => "|"
case 10 => "END"
case 13 => " "
}
}
|