diff options
| author | Marc André Tanner <mat@brain-dump.org> | 2015-10-16 12:36:47 +0200 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2015-11-08 13:35:36 +0100 |
| commit | 039042f2e323c1f982f1de61b702c88fb33d6ccb (patch) | |
| tree | 67dea69de9462e0c27ea2a743b4c5d1798eaa057 /lexers/prolog.lua | |
| parent | b1ec60061623601ca6185a16d77c6c6c62135e95 (diff) | |
| download | vis-039042f2e323c1f982f1de61b702c88fb33d6ccb.tar.gz vis-039042f2e323c1f982f1de61b702c88fb33d6ccb.tar.xz | |
Import LPeg based lexers from Scintillua 3.6.1-1
These are Copyright (c) 2007-2015 Mitchell and released under the
MIT license.
Diffstat (limited to 'lexers/prolog.lua')
| -rw-r--r-- | lexers/prolog.lua | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/lexers/prolog.lua b/lexers/prolog.lua new file mode 100644 index 0000000..8fe63dc --- /dev/null +++ b/lexers/prolog.lua @@ -0,0 +1,64 @@ +-- Copyright 2006-2015 Mitchell mitchell.att.foicica.com. See LICENSE. +-- Prolog LPeg lexer. + +local l = require('lexer') +local token, word_match = l.token, l.word_match +local P, R, S = lpeg.P, lpeg.R, lpeg.S + +local M = {_NAME = 'prolog'} + +-- Whitespace. +local ws = token(l.WHITESPACE, l.space^1) + +-- Comments. +local line_comment = '%' * l.nonnewline^0 +local block_comment = '/*' * (l.any - '*/')^0 * P('*/')^-1 +local comment = token(l.COMMENT, line_comment + block_comment) + +-- Strings. +local sq_str = l.delimited_range("'", true) +local dq_str = l.delimited_range('"', true) +local string = token(l.STRING, sq_str + dq_str) + +-- Numbers. +local number = token(l.NUMBER, l.digit^1 * ('.' * l.digit^1)^-1) + +-- Keywords. +local keyword = token(l.KEYWORD, word_match{ + 'module', 'meta_predicate', 'multifile', 'dynamic', 'abolish', + 'current_output', 'peek_code', 'append', 'current_predicate', 'put_byte', + 'arg', 'current_prolog_flag', 'put_char', 'asserta', 'assert', 'fail', + 'put_code', 'assertz', 'findall', 'read', 'at_end_of_stream', 'float', + 'read_term', 'atom', 'flush_output', 'repeat', 'atom_chars', 'functor', + 'retract', 'atom_codes', 'get_byte', 'set_input', 'atom_concat', 'get_char', + 'set_output', 'atom_length', 'get_code', 'set_prolog_flag', 'atomic', 'halt', + 'set_stream_position', 'bagof', 'integer', 'setof', 'call', 'is', + 'stream_property', 'catch', 'nl', 'sub_atom', 'char_code', 'nonvar', 'throw', + 'char_conversion', 'number', 'clause', 'number_chars', + 'unify_with_occurs_check', 'close', 'number_codes', 'var', 'compound', 'once', + 'copy_term', 'op', 'write', 'writeln', 'write_canonical', 'write_term', + 'writeq', 'current_char_conversion', 'open', 'current_input', 'peek_byte', + 'current_op', 'peek_char', 'false', 'true', 'consult', 'member', 'memberchk', + 'reverse', 'permutation', 'delete', + -- Math. + 'mod', 'div', 'abs', 'exp', 'ln', 'log', 'sqrt', 'round', 'trunc', 'val', + 'cos', 'sin', 'tan', 'arctan', 'random', 'randominit' +}) + +-- Identifiers. +local identifier = token(l.IDENTIFIER, l.word) + +-- Operators. +local operator = token(l.OPERATOR, S('-!+\\|=:;&<>()[]{}')) + +M._rules = { + {'whitespace', ws}, + {'keyword', keyword}, + {'identifier', identifier}, + {'string', string}, + {'comment', comment}, + {'number', number}, + {'operator', operator}, +} + +return M |
