aboutsummaryrefslogtreecommitdiff
path: root/lexers/prolog.lua
diff options
context:
space:
mode:
authorMarc André Tanner <mat@brain-dump.org>2015-10-16 12:36:47 +0200
committerMarc André Tanner <mat@brain-dump.org>2015-11-08 13:35:36 +0100
commit039042f2e323c1f982f1de61b702c88fb33d6ccb (patch)
tree67dea69de9462e0c27ea2a743b4c5d1798eaa057 /lexers/prolog.lua
parentb1ec60061623601ca6185a16d77c6c6c62135e95 (diff)
downloadvis-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.lua64
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