33 private val choose_byte: Map[String, Byte] = |
33 private val choose_byte: Map[String, Byte] = |
34 { |
34 { |
35 import Token._ |
35 import Token._ |
36 Map[String, Byte]( |
36 Map[String, Byte]( |
37 // logical entities |
37 // logical entities |
38 Markup.TCLASS -> LABEL, |
38 Markup.TCLASS -> NULL, |
39 Markup.TYCON -> LABEL, |
39 Markup.TYCON -> NULL, |
40 Markup.FIXED_DECL -> LABEL, |
40 Markup.FIXED_DECL -> FUNCTION, |
41 Markup.FIXED -> LABEL, |
41 Markup.FIXED -> NULL, |
42 Markup.CONST_DECL -> LABEL, |
42 Markup.CONST_DECL -> FUNCTION, |
43 Markup.CONST -> LABEL, |
43 Markup.CONST -> NULL, |
44 Markup.FACT_DECL -> LABEL, |
44 Markup.FACT_DECL -> FUNCTION, |
45 Markup.FACT -> LABEL, |
45 Markup.FACT -> NULL, |
46 Markup.DYNAMIC_FACT -> LABEL, |
46 Markup.DYNAMIC_FACT -> LABEL, |
47 Markup.LOCAL_FACT_DECL -> LABEL, |
47 Markup.LOCAL_FACT_DECL -> FUNCTION, |
48 Markup.LOCAL_FACT -> LABEL, |
48 Markup.LOCAL_FACT -> NULL, |
49 // inner syntax |
49 // inner syntax |
50 Markup.TFREE -> LITERAL2, |
50 Markup.TFREE -> NULL, |
51 Markup.FREE -> LITERAL2, |
51 Markup.FREE -> NULL, |
52 Markup.TVAR -> LITERAL3, |
52 Markup.TVAR -> NULL, |
53 Markup.SKOLEM -> LITERAL3, |
53 Markup.SKOLEM -> NULL, |
54 Markup.BOUND -> LITERAL3, |
54 Markup.BOUND -> NULL, |
55 Markup.VAR -> LITERAL3, |
55 Markup.VAR -> NULL, |
56 Markup.NUM -> DIGIT, |
56 Markup.NUM -> DIGIT, |
57 Markup.FLOAT -> DIGIT, |
57 Markup.FLOAT -> DIGIT, |
58 Markup.XNUM -> DIGIT, |
58 Markup.XNUM -> DIGIT, |
59 Markup.XSTR -> LITERAL4, |
59 Markup.XSTR -> LITERAL4, |
60 Markup.LITERAL -> LITERAL4, |
60 Markup.LITERAL -> OPERATOR, |
61 Markup.INNER_COMMENT -> COMMENT1, |
61 Markup.INNER_COMMENT -> COMMENT1, |
62 Markup.SORT -> FUNCTION, |
62 Markup.SORT -> NULL, |
63 Markup.TYP -> FUNCTION, |
63 Markup.TYP -> NULL, |
64 Markup.TERM -> FUNCTION, |
64 Markup.TERM -> NULL, |
65 Markup.PROP -> FUNCTION, |
65 Markup.PROP -> NULL, |
66 Markup.ATTRIBUTE -> FUNCTION, |
66 Markup.ATTRIBUTE -> NULL, |
67 Markup.METHOD -> FUNCTION, |
67 Markup.METHOD -> NULL, |
68 // ML syntax |
68 // ML syntax |
69 Markup.ML_KEYWORD -> KEYWORD2, |
69 Markup.ML_KEYWORD -> KEYWORD1, |
70 Markup.ML_IDENT -> NULL, |
70 Markup.ML_IDENT -> NULL, |
71 Markup.ML_TVAR -> LITERAL3, |
71 Markup.ML_TVAR -> NULL, |
72 Markup.ML_NUMERAL -> DIGIT, |
72 Markup.ML_NUMERAL -> DIGIT, |
73 Markup.ML_CHAR -> LITERAL1, |
73 Markup.ML_CHAR -> LITERAL1, |
74 Markup.ML_STRING -> LITERAL1, |
74 Markup.ML_STRING -> LITERAL1, |
75 Markup.ML_COMMENT -> COMMENT1, |
75 Markup.ML_COMMENT -> COMMENT1, |
76 Markup.ML_MALFORMED -> INVALID, |
76 Markup.ML_MALFORMED -> INVALID, |
77 // embedded source text |
77 // embedded source text |
78 Markup.ML_SOURCE -> COMMENT4, |
78 Markup.ML_SOURCE -> COMMENT3, |
79 Markup.DOC_SOURCE -> COMMENT4, |
79 Markup.DOC_SOURCE -> COMMENT3, |
80 Markup.ANTIQ -> COMMENT4, |
80 Markup.ANTIQ -> COMMENT4, |
81 Markup.ML_ANTIQ -> COMMENT4, |
81 Markup.ML_ANTIQ -> COMMENT4, |
82 Markup.DOC_ANTIQ -> COMMENT4, |
82 Markup.DOC_ANTIQ -> COMMENT4, |
83 // outer syntax |
83 // outer syntax |
|
84 Markup.KEYWORD -> KEYWORD2, |
|
85 Markup.OPERATOR -> OPERATOR, |
|
86 Markup.COMMAND -> KEYWORD1, |
84 Markup.IDENT -> NULL, |
87 Markup.IDENT -> NULL, |
85 Markup.COMMAND -> OPERATOR, |
|
86 Markup.KEYWORD -> KEYWORD4, |
|
87 Markup.VERBATIM -> COMMENT3, |
88 Markup.VERBATIM -> COMMENT3, |
88 Markup.COMMENT -> COMMENT1, |
89 Markup.COMMENT -> COMMENT1, |
89 Markup.CONTROL -> COMMENT3, |
90 Markup.CONTROL -> COMMENT3, |
90 Markup.MALFORMED -> INVALID, |
91 Markup.MALFORMED -> INVALID, |
91 Markup.STRING -> LITERAL3, |
92 Markup.STRING -> LITERAL3, |