src/library/scala/xml/dtd/Tokens.scala


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

package scala.xml.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 => " ";
  }
}