Not perfect but it can parse the rainloop script to a tree and back to string

This commit is contained in:
djmaze 2021-01-14 12:45:51 +01:00
parent b2e77f3f67
commit 2786d0d959
5 changed files with 155 additions and 113 deletions

View file

@ -7,59 +7,59 @@
const
RegEx = Sieve.RegEx,
M = {
UNKNOWN : 0,
STRING_LIST : 1,
QUOTED_STRING : 2,
MULTILINE_STRING : 3,
HASH_COMMENT : 4,
BRACKET_COMMENT : 5,
BLOCK_START : 6,
BLOCK_END : 7,
LEFT_PARENTHESIS : 8,
RIGHT_PARENTHESIS: 9,
COMMA : 10,
SEMICOLON : 11,
TAG : 12,
IDENTIFIER : 13,
NUMBER : 14,
WHITESPACE : 15
},
T_UNKNOWN = 0,
T_STRING_LIST = 1,
T_QUOTED_STRING = 2,
T_MULTILINE_STRING = 3,
T_HASH_COMMENT = 4,
T_BRACKET_COMMENT = 5,
T_BLOCK_START = 6,
T_BLOCK_END = 7,
T_LEFT_PARENTHESIS = 8,
T_RIGHT_PARENTHESIS = 9,
T_COMMA = 10,
T_SEMICOLON = 11,
T_TAG = 12,
T_IDENTIFIER = 13,
T_NUMBER = 14,
T_WHITESPACE = 15,
MRegEx = [
/* M.STRING_LIST */ RegEx.STRING_LIST,
/* M.QUOTED_STRING */ RegEx.QUOTED_STRING,
/* M.MULTILINE_STRING */ RegEx.MULTI_LINE,
/* M.HASH_COMMENT */ RegEx.HASH_COMMENT,
/* M.BRACKET_COMMENT */ RegEx.BRACKET_COMMENT,
/* M.BLOCK_START */ '\\{',
/* M.BLOCK_END */ '\\}',
/* M.LEFT_PARENTHESIS */ '\\(', // anyof / allof
/* M.RIGHT_PARENTHESIS */ '\\)', // anyof / allof
/* M.COMMA */ ',',
/* M.SEMICOLON */ ';',
/* M.TAG */ RegEx.TAG,
/* M.IDENTIFIER */ RegEx.IDENTIFIER,
/* M.NUMBER */ RegEx.NUMBER,
/* M.WHITESPACE */ '(?: |\\r\\n|\\t)+',
/* M.UNKNOWN */ '[^ \\r\\n\\t]+'
].join(')|(');
TokensRegEx = '(' + [
/* T_STRING_LIST */ RegEx.STRING_LIST,
/* T_QUOTED_STRING */ RegEx.QUOTED_STRING,
/* T_MULTILINE_STRING */ RegEx.MULTI_LINE,
/* T_HASH_COMMENT */ RegEx.HASH_COMMENT,
/* T_BRACKET_COMMENT */ RegEx.BRACKET_COMMENT,
/* T_BLOCK_START */ '\\{',
/* T_BLOCK_END */ '\\}',
/* T_LEFT_PARENTHESIS */ '\\(', // anyof / allof
/* T_RIGHT_PARENTHESIS */ '\\)', // anyof / allof
/* T_COMMA */ ',',
/* T_SEMICOLON */ ';',
/* T_TAG */ RegEx.TAG,
/* T_IDENTIFIER */ RegEx.IDENTIFIER,
/* T_NUMBER */ RegEx.NUMBER,
/* T_WHITESPACE */ '(?: |\\r\\n|\\t)+',
/* T_UNKNOWN */ '[^ \\r\\n\\t]+'
].join(')|(') + ')';
Sieve.parseScript = script => {
let match,
line = 1,
tree = [],
// create one regex to find the right match
// avoids looping over all possible tokens: increases performance
regex = RegExp(MRegEx, 'g'),
// Create one regex to find the tokens
// Use exec() to forward since lastIndex
regex = RegExp(TokensRegEx, 'gm'),
levels = [],
command = null,
args = [];
const
error = message => { throw new SyntaxError(message + ' at ' + regex.lastIndex, 'script.sieve', line) },
error = message => {
throw new SyntaxError(message + ' at ' + regex.lastIndex + ' line ' + line, 'script.sieve', line)
},
pushArgs = () => {
if (command && args.length) {
command.pushArguments(args);
@ -77,9 +77,11 @@ Sieve.parseScript = script => {
// create the part
switch (type)
{
case M.IDENTIFIER: {
case T_IDENTIFIER: {
pushArgs();
let new_command;
value = value.toLowerCase();
let new_command,
className = value[0].toUpperCase() + value.substring(1);
if ('if' === value) {
new_command = new Sieve.Commands.Conditional(value);
} else if ('elsif' === value || 'else' === value) {
@ -89,16 +91,16 @@ Sieve.parseScript = script => {
} else if ('allof' === value || 'anyof' === value) {
(command instanceof Sieve.Commands.Conditional)
|| error('Test-list not in conditional');
new_command = new Sieve.Tests[value]();
} else if (Sieve.Tests[value]) {
new_command = new Sieve.Tests[className]();
} else if (Sieve.Tests[className]) {
// address / envelope / exists / header / not / size
new_command = new Sieve.Tests[value]();
} else if (Sieve.Commands[value]) {
new_command = new Sieve.Tests[className]();
} else if (Sieve.Commands[className]) {
// discard / fileinto / keep / redirect / require / stop
new_command = new Sieve.Commands[value]();
} else if (Sieve.Extensions[value]) {
new_command = new Sieve.Commands[className]();
} else if (Sieve.Extensions[className]) {
// body / ereject / reject / imap4flags / vacation
new_command = new Sieve.Extensions[value]();
new_command = new Sieve.Extensions[className]();
} else {
error('Unknown command ' + value);
// new_command = new Sieve.Grammar.Command(value);
@ -122,64 +124,64 @@ Sieve.parseScript = script => {
} else {
tree.push(new_command);
}
if (new_command instanceof Sieve.Commands.Conditional || new_command instanceof Sieve.Commands.TestList) {
if (new_command instanceof Sieve.Commands.Conditional || new_command instanceof Sieve.Grammar.TestList) {
levels.push(new_command);
}
}
command = new_command;
break; }
case M.TAG:
case T_TAG:
command
? args.push(value)
? args.push(value.toLowerCase())
: error('Tag must be command argument');
break;
case M.STRING_LIST:
case T_STRING_LIST:
command
? args.push(Sieve.Grammar.StringList.fromString(value))
: error('String list must be command argument');
break;
case M.MULTILINE_STRING:
case T_MULTILINE_STRING:
command
? args.push(new Sieve.Grammar.MultiLine(value))
: error('Multi-line string must be command argument');
break;
case M.QUOTED_STRING:
case T_QUOTED_STRING:
command
? args.push(new Sieve.Grammar.QuotedString(value.substr(1,value.length-2)))
: error('Quoted string must be command argument');
break;
case M.NUMBER:
case T_NUMBER:
command
? args.push(new Sieve.Grammar.Number(value))
: error('Number must be command argument');
break;
case M.BRACKET_COMMENT:
case T_BRACKET_COMMENT:
(command ? command.commands : tree).push(
new Sieve.Grammar.BracketComment(value.substr(1,value.length-4))
new Sieve.Grammar.BracketComment(value.substr(2, value.length-4))
);
break;
case M.HASH_COMMENT:
case T_HASH_COMMENT:
(command ? command.commands : tree).push(
new Sieve.Grammar.HashComment(value.substr(1).trim())
);
break;
case M.WHITESPACE:
case T_WHITESPACE:
// (command ? command.commands : tree).push(value.trim());
command || tree.push(value.trim());
break;
case M.SEMICOLON:
case T_SEMICOLON:
command || error('Semicolon not at end of command');
pushArgs();
// levels.pop();
command = levels.last();
break;
case M.BLOCK_START:
case T_BLOCK_START:
// https://tools.ietf.org/html/rfc5228#section-2.9
// Action commands do not take tests or blocks
levels.length || error('Block start not part of control command');
@ -187,28 +189,28 @@ Sieve.parseScript = script => {
pushArgs();
command = levels.last();
break;
case M.BLOCK_END:
case T_BLOCK_END:
levels.length || error('Block end has no matching block start');
levels.pop();
command = levels.last();
break;
// anyof / allof
case M.LEFT_PARENTHESIS:
case T_LEFT_PARENTHESIS:
(levels.last() instanceof Sieve.Grammar.TestList)
|| error('Test start not part of test-list');
command || error('Not inside command');
pushArgs();
command = levels.last();
break;
case M.RIGHT_PARENTHESIS:
case T_RIGHT_PARENTHESIS:
(levels.last() instanceof Sieve.Grammar.TestList)
|| error('Test end not part of test-list');
pushArgs();
levels.pop();
command = levels.last();
break;
case M.COMMA:
case T_COMMA:
// Must be inside PARENTHESIS aka test-list
(levels.last() instanceof Sieve.Grammar.TestList)
|| error('Comma not part of test-list');
@ -216,7 +218,7 @@ Sieve.parseScript = script => {
command = levels.last();
break;
case M.UNKNOWN:
case T_UNKNOWN:
error('Invalid token ' + value);
}