equal
deleted
inserted
replaced
226 { |
226 { |
227 def is_command: Boolean = kind == Token.Kind.COMMAND |
227 def is_command: Boolean = kind == Token.Kind.COMMAND |
228 def is_command(name: String): Boolean = kind == Token.Kind.COMMAND && source == name |
228 def is_command(name: String): Boolean = kind == Token.Kind.COMMAND && source == name |
229 def is_keyword: Boolean = kind == Token.Kind.KEYWORD |
229 def is_keyword: Boolean = kind == Token.Kind.KEYWORD |
230 def is_keyword(name: String): Boolean = kind == Token.Kind.KEYWORD && source == name |
230 def is_keyword(name: String): Boolean = kind == Token.Kind.KEYWORD && source == name |
|
231 def is_keyword(name: Char): Boolean = |
|
232 kind == Token.Kind.KEYWORD && source.length == 1 && source(0) == name |
231 def is_delimiter: Boolean = is_keyword && !Symbol.is_ascii_identifier(source) |
233 def is_delimiter: Boolean = is_keyword && !Symbol.is_ascii_identifier(source) |
232 def is_ident: Boolean = kind == Token.Kind.IDENT |
234 def is_ident: Boolean = kind == Token.Kind.IDENT |
233 def is_sym_ident: Boolean = kind == Token.Kind.SYM_IDENT |
235 def is_sym_ident: Boolean = kind == Token.Kind.SYM_IDENT |
234 def is_string: Boolean = kind == Token.Kind.STRING |
236 def is_string: Boolean = kind == Token.Kind.STRING |
235 def is_nat: Boolean = kind == Token.Kind.NAT |
237 def is_nat: Boolean = kind == Token.Kind.NAT |
254 source.startsWith("{*") || |
256 source.startsWith("{*") || |
255 source.startsWith("(*") || |
257 source.startsWith("(*") || |
256 source.startsWith(Symbol.open) || |
258 source.startsWith(Symbol.open) || |
257 source.startsWith(Symbol.open_decoded)) |
259 source.startsWith(Symbol.open_decoded)) |
258 |
260 |
|
261 def is_open_bracket: Boolean = is_keyword && Word.open_brackets.exists(is_keyword(_)) |
|
262 def is_close_bracket: Boolean = is_keyword && Word.close_brackets.exists(is_keyword(_)) |
|
263 |
259 def is_begin: Boolean = is_keyword("begin") |
264 def is_begin: Boolean = is_keyword("begin") |
260 def is_end: Boolean = is_command("end") |
265 def is_end: Boolean = is_command("end") |
261 |
266 |
262 def content: String = |
267 def content: String = |
263 if (kind == Token.Kind.STRING) Scan.Parsers.quoted_content("\"", source) |
268 if (kind == Token.Kind.STRING) Scan.Parsers.quoted_content("\"", source) |