jashkenas--coffeescript/lib/grammar.js

643 lines
20 KiB
JavaScript
Raw Normal View History

2010-02-11 04:24:05 +00:00
(function(){
var Parser, _a, _b, _c, _d, _e, _f, _g, _h, alt, alternatives, grammar, name, o, operators, token, tokens, unwrap;
var __hasProp = Object.prototype.hasOwnProperty;
2010-02-11 04:24:05 +00:00
Parser = require('jison').Parser;
unwrap = /function\s*\(\)\s*\{\s*return\s*([\s\S]*);\s*\}/;
o = function(patternString, action, options) {
2010-02-11 04:24:05 +00:00
var match;
if (!(action)) {
return [patternString, '$$ = $1;', options];
2010-02-11 04:24:05 +00:00
}
2010-04-04 06:59:44 +00:00
action = (match = (action + '').match(unwrap)) ? match[1] : ("(" + action + "())");
return [patternString, ("$$ = " + action + ";"), options];
2010-02-11 04:24:05 +00:00
};
grammar = {
Root: [
o("", function() {
2010-02-11 04:24:05 +00:00
return new Expressions();
}), o("TERMINATOR", function() {
return new Expressions();
2010-04-05 14:26:23 +00:00
}), o("Body"), o("Block TERMINATOR")
2010-02-11 04:24:05 +00:00
],
Body: [
o("Line", function() {
2010-02-11 04:24:05 +00:00
return Expressions.wrap([$1]);
2010-04-05 14:26:23 +00:00
}), o("Body TERMINATOR Line", function() {
2010-02-11 04:24:05 +00:00
return $1.push($3);
2010-04-05 14:26:23 +00:00
}), o("Body TERMINATOR")
],
Line: [o("Expression"), o("Statement")],
Statement: [
o("Return"), o("Throw"), o("BREAK", function() {
return new LiteralNode($1);
2010-04-05 14:26:23 +00:00
}), o("CONTINUE", function() {
return new LiteralNode($1);
2010-04-05 14:26:23 +00:00
})
2010-02-11 04:24:05 +00:00
],
Expression: [o("Value"), o("Call"), o("Code"), o("Operation"), o("Assign"), o("If"), o("Try"), o("While"), o("For"), o("Switch"), o("Extends"), o("Class"), o("Splat"), o("Existence"), o("Comment")],
Block: [
o("INDENT Body OUTDENT", function() {
2010-02-11 04:24:05 +00:00
return $2;
}), o("INDENT OUTDENT", function() {
return new Expressions();
}), o("TERMINATOR Comment", function() {
return Expressions.wrap([$2]);
2010-02-11 04:24:05 +00:00
})
],
Identifier: [
o("IDENTIFIER", function() {
return new LiteralNode($1);
2010-02-11 04:24:05 +00:00
})
],
AlphaNumeric: [
o("NUMBER", function() {
return new LiteralNode($1);
2010-02-11 04:24:05 +00:00
}), o("STRING", function() {
return new LiteralNode($1);
2010-02-11 04:24:05 +00:00
})
],
Literal: [
o("AlphaNumeric"), o("JS", function() {
return new LiteralNode($1);
2010-02-11 04:24:05 +00:00
}), o("REGEX", function() {
return new LiteralNode($1);
2010-02-11 04:24:05 +00:00
}), o("TRUE", function() {
return new LiteralNode(true);
}), o("FALSE", function() {
return new LiteralNode(false);
}), o("YES", function() {
return new LiteralNode(true);
}), o("NO", function() {
return new LiteralNode(false);
}), o("ON", function() {
return new LiteralNode(true);
}), o("OFF", function() {
return new LiteralNode(false);
})
],
Assign: [
o("Assignable ASSIGN Expression", function() {
2010-02-11 04:24:05 +00:00
return new AssignNode($1, $3);
})
],
AssignObj: [
o("Identifier", function() {
return new ValueNode($1);
}), o("AlphaNumeric"), o("Identifier ASSIGN Expression", function() {
2010-02-11 04:24:05 +00:00
return new AssignNode(new ValueNode($1), $3, 'object');
}), o("AlphaNumeric ASSIGN Expression", function() {
return new AssignNode(new ValueNode($1), $3, 'object');
}), o("Comment")
2010-02-11 04:24:05 +00:00
],
Return: [
o("RETURN Expression", function() {
2010-02-11 04:24:05 +00:00
return new ReturnNode($2);
}), o("RETURN", function() {
return new ReturnNode(new ValueNode(new LiteralNode('null')));
})
],
Comment: [
o("HERECOMMENT", function() {
return new CommentNode($1);
})
],
Existence: [
o("Expression ?", function() {
2010-02-11 04:24:05 +00:00
return new ExistenceNode($1);
})
],
Code: [
o("PARAM_START ParamList PARAM_END FuncGlyph Block", function() {
2010-02-11 04:24:05 +00:00
return new CodeNode($2, $5, $4);
}), o("FuncGlyph Block", function() {
return new CodeNode([], $2, $1);
})
],
FuncGlyph: [
o("->", function() {
2010-02-11 04:24:05 +00:00
return 'func';
}), o("=>", function() {
return 'boundfunc';
})
],
OptComma: [o(''), o(',')],
ParamList: [
o("", function() {
return [];
}), o("Param", function() {
2010-02-11 04:24:05 +00:00
return [$1];
}), o("ParamList , Param", function() {
return $1.concat([$3]);
})
],
Param: [
o("PARAM", function() {
return new LiteralNode($1);
2010-02-11 04:24:05 +00:00
}), o("Param . . .", function() {
return new SplatNode($1);
})
],
Splat: [
o("Expression . . .", function() {
2010-02-11 04:24:05 +00:00
return new SplatNode($1);
})
],
SimpleAssignable: [
o("Identifier", function() {
2010-02-11 04:24:05 +00:00
return new ValueNode($1);
2010-03-28 17:06:16 +00:00
}), o("Value Accessor", function() {
return $1.push($2);
}), o("Invocation Accessor", function() {
return new ValueNode($1, [$2]);
}), o("ThisProperty")
],
Assignable: [
o("SimpleAssignable"), o("Array", function() {
return new ValueNode($1);
}), o("Object", function() {
return new ValueNode($1);
})
],
Value: [
o("Assignable"), o("Literal", function() {
2010-03-28 17:06:16 +00:00
return new ValueNode($1);
2010-02-11 04:24:05 +00:00
}), o("Parenthetical", function() {
return new ValueNode($1);
}), o("Range", function() {
return new ValueNode($1);
2010-03-28 17:06:16 +00:00
}), o("This"), o("NULL", function() {
return new ValueNode(new LiteralNode('null'));
2010-02-11 04:24:05 +00:00
})
],
Accessor: [
o("PROPERTY_ACCESS Identifier", function() {
2010-02-11 04:24:05 +00:00
return new AccessorNode($2);
}), o("PROTOTYPE_ACCESS Identifier", function() {
return new AccessorNode($2, 'prototype');
}), o("::", function() {
return new AccessorNode(new LiteralNode('prototype'));
2010-02-11 04:24:05 +00:00
}), o("SOAK_ACCESS Identifier", function() {
return new AccessorNode($2, 'soak');
}), o("Index"), o("Slice", function() {
return new SliceNode($1);
})
],
Index: [
o("INDEX_START Expression INDEX_END", function() {
2010-02-11 04:24:05 +00:00
return new IndexNode($2);
}), o("INDEX_SOAK Index", function() {
$2.soakNode = true;
return $2;
}), o("INDEX_PROTO Index", function() {
$2.proto = true;
return $2;
2010-02-11 04:24:05 +00:00
})
],
Object: [
o("{ AssignList OptComma }", function() {
2010-02-11 04:24:05 +00:00
return new ObjectNode($2);
})
],
AssignList: [
o("", function() {
2010-02-11 04:24:05 +00:00
return [];
}), o("AssignObj", function() {
return [$1];
}), o("AssignList , AssignObj", function() {
return $1.concat([$3]);
}), o("AssignList OptComma TERMINATOR AssignObj", function() {
2010-02-11 04:24:05 +00:00
return $1.concat([$4]);
}), o("AssignList OptComma INDENT AssignList OptComma OUTDENT", function() {
return $1.concat($4);
2010-02-11 04:24:05 +00:00
})
],
Class: [
o("CLASS SimpleAssignable", function() {
return new ClassNode($2);
}), o("CLASS SimpleAssignable EXTENDS Value", function() {
return new ClassNode($2, $4);
}), o("CLASS SimpleAssignable INDENT ClassBody OUTDENT", function() {
return new ClassNode($2, null, $4);
}), o("CLASS SimpleAssignable EXTENDS Value INDENT ClassBody OUTDENT", function() {
return new ClassNode($2, $4, $6);
})
],
ClassAssign: [
o("AssignObj", function() {
return $1;
}), o("ThisProperty ASSIGN Expression", function() {
return new AssignNode(new ValueNode($1), $3, 'this');
})
],
ClassBody: [
o("", function() {
return [];
}), o("ClassAssign", function() {
return [$1];
}), o("ClassBody TERMINATOR ClassAssign", function() {
return $1.concat($3);
})
2010-02-11 04:24:05 +00:00
],
Call: [
o("Invocation"), o("Super"), o("NEW Invocation", function() {
return $2.newInstance();
}), o("NEW Value", function() {
return (new CallNode($2, [])).newInstance();
})
2010-02-11 04:24:05 +00:00
],
Extends: [
o("SimpleAssignable EXTENDS Value", function() {
2010-02-11 04:24:05 +00:00
return new ExtendsNode($1, $3);
})
],
Invocation: [
o("Value Arguments", function() {
2010-02-11 04:24:05 +00:00
return new CallNode($1, $2);
}), o("Invocation Arguments", function() {
return new CallNode($1, $2);
})
],
Arguments: [
o("CALL_START ArgList OptComma CALL_END", function() {
return $2;
2010-02-11 04:24:05 +00:00
})
],
Super: [
2010-06-27 20:50:31 +00:00
o("SUPER Arguments", function() {
return new CallNode('super', $2);
2010-02-11 04:24:05 +00:00
})
],
This: [
o("THIS", function() {
2010-03-28 17:06:16 +00:00
return new ValueNode(new LiteralNode('this'));
}), o("@", function() {
return new ValueNode(new LiteralNode('this'));
2010-03-28 17:06:16 +00:00
})
],
ThisProperty: [
o("@ Identifier", function() {
return new ValueNode(new LiteralNode('this'), [new AccessorNode($2)]);
2010-02-11 04:24:05 +00:00
})
],
Range: [
o("[ Expression . . Expression ]", function() {
2010-02-11 04:24:05 +00:00
return new RangeNode($2, $5);
}), o("[ Expression . . . Expression ]", function() {
return new RangeNode($2, $6, true);
})
],
Slice: [
o("INDEX_START Expression . . Expression INDEX_END", function() {
2010-02-11 04:24:05 +00:00
return new RangeNode($2, $5);
}), o("INDEX_START Expression . . . Expression INDEX_END", function() {
return new RangeNode($2, $6, true);
})
],
Array: [
o("[ ArgList OptComma ]", function() {
return new ArrayNode($2);
2010-02-11 04:24:05 +00:00
})
],
ArgList: [
o("", function() {
2010-02-11 04:24:05 +00:00
return [];
}), o("Expression", function() {
return [$1];
}), o("ArgList , Expression", function() {
return $1.concat([$3]);
}), o("ArgList OptComma TERMINATOR Expression", function() {
2010-02-11 04:24:05 +00:00
return $1.concat([$4]);
}), o("ArgList OptComma INDENT ArgList OptComma OUTDENT", function() {
return $1.concat($4);
})
2010-02-11 04:24:05 +00:00
],
SimpleArgs: [
o("Expression"), o("SimpleArgs , Expression", function() {
return $1 instanceof Array ? $1.concat([$3]) : [$1].concat([$3]);
2010-02-11 04:24:05 +00:00
})
],
Try: [
o("TRY Block Catch", function() {
2010-02-11 04:24:05 +00:00
return new TryNode($2, $3[0], $3[1]);
}), o("TRY Block FINALLY Block", function() {
return new TryNode($2, null, null, $4);
}), o("TRY Block Catch FINALLY Block", function() {
return new TryNode($2, $3[0], $3[1], $5);
})
],
Catch: [
o("CATCH Identifier Block", function() {
2010-02-11 04:24:05 +00:00
return [$2, $3];
})
],
Throw: [
o("THROW Expression", function() {
2010-02-11 04:24:05 +00:00
return new ThrowNode($2);
})
],
Parenthetical: [
o("( Line )", function() {
2010-02-11 04:24:05 +00:00
return new ParentheticalNode($2);
})
],
WhileSource: [
o("WHILE Expression", function() {
return new WhileNode($2);
}), o("WHILE Expression WHEN Expression", function() {
return new WhileNode($2, {
guard: $4
});
}), o("UNTIL Expression", function() {
return new WhileNode($2, {
invert: true
});
}), o("UNTIL Expression WHEN Expression", function() {
return new WhileNode($2, {
invert: true,
guard: $4
});
})
],
While: [
o("WhileSource Block", function() {
return $1.addBody($2);
2010-04-05 14:26:23 +00:00
}), o("Statement WhileSource", function() {
return $2.addBody(Expressions.wrap([$1]));
}), o("Expression WhileSource", function() {
return $2.addBody(Expressions.wrap([$1]));
}), o("Loop", function() {
return $1;
})
],
Loop: [
o("LOOP Block", function() {
return new WhileNode(new LiteralNode('true')).addBody($2);
}), o("LOOP Expression", function() {
return new WhileNode(new LiteralNode('true')).addBody(Expressions.wrap([$2]));
2010-02-11 04:24:05 +00:00
})
],
For: [
o("Statement ForStart ForSource", function() {
$3.raw = $2.raw;
return new ForNode($1, $3, $2[0], $2[1]);
}), o("Expression ForStart ForSource", function() {
$3.raw = $2.raw;
return new ForNode($1, $3, $2[0], $2[1]);
}), o("ForStart ForSource Block", function() {
$2.raw = $1.raw;
return new ForNode($3, $2, $1[0], $1[1]);
})
],
ForStart: [
o("FOR ForVariables", function() {
return $2;
}), o("FOR ALL ForVariables", function() {
$3.raw = true;
return $3;
2010-02-11 04:24:05 +00:00
})
],
ForValue: [
o("Identifier"), o("Array", function() {
return new ValueNode($1);
}), o("Object", function() {
return new ValueNode($1);
})
],
ForVariables: [
o("ForValue", function() {
2010-02-11 04:24:05 +00:00
return [$1];
}), o("ForValue , ForValue", function() {
2010-02-11 04:24:05 +00:00
return [$1, $3];
})
],
ForSource: [
o("IN Expression", function() {
2010-02-11 04:24:05 +00:00
return {
source: $2
};
}), o("OF Expression", function() {
return {
source: $2,
object: true
};
}), o("IN Expression WHEN Expression", function() {
return {
source: $2,
guard: $4
};
}), o("OF Expression WHEN Expression", function() {
return {
source: $2,
guard: $4,
object: true
};
}), o("IN Expression BY Expression", function() {
return {
source: $2,
step: $4
};
}), o("IN Expression WHEN Expression BY Expression", function() {
return {
source: $2,
guard: $4,
step: $6
};
}), o("IN Expression BY Expression WHEN Expression", function() {
return {
source: $2,
step: $4,
guard: $6
};
2010-02-11 04:24:05 +00:00
})
],
Switch: [
o("SWITCH Expression INDENT Whens OUTDENT", function() {
return $4.switchesOver($2);
2010-02-11 04:24:05 +00:00
}), o("SWITCH Expression INDENT Whens ELSE Block OUTDENT", function() {
return $4.switchesOver($2).addElse($6, true);
2010-05-11 02:57:51 +00:00
}), o("SWITCH INDENT Whens OUTDENT", function() {
return $3;
}), o("SWITCH INDENT Whens ELSE Block OUTDENT", function() {
return $3.addElse($5, true);
2010-02-11 04:24:05 +00:00
})
],
Whens: [
o("When"), o("Whens When", function() {
return $1.addElse($2);
2010-02-11 04:24:05 +00:00
})
],
When: [
o("LEADING_WHEN SimpleArgs Block", function() {
return new IfNode($2, $3, {
2010-02-11 04:24:05 +00:00
statement: true
});
}), o("LEADING_WHEN SimpleArgs Block TERMINATOR", function() {
return new IfNode($2, $3, {
2010-02-11 04:24:05 +00:00
statement: true
});
})
],
IfBlock: [
o("IF Expression Block", function() {
2010-02-11 04:24:05 +00:00
return new IfNode($2, $3);
2010-04-27 23:35:15 +00:00
}), o("UNLESS Expression Block", function() {
return new IfNode($2, $3, {
2010-04-27 23:35:15 +00:00
invert: true
});
}), o("IfBlock ELSE IF Expression Block", function() {
return $1.addElse((new IfNode($4, $5)).forceStatement());
}), o("IfBlock ELSE Block", function() {
return $1.addElse($3);
2010-02-11 04:24:05 +00:00
})
],
If: [
o("IfBlock"), o("Statement IF Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
2010-04-05 14:26:23 +00:00
statement: true
});
}), o("Expression IF Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
2010-02-11 04:24:05 +00:00
statement: true
});
2010-04-05 14:26:23 +00:00
}), o("Statement UNLESS Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
2010-04-05 14:26:23 +00:00
statement: true,
invert: true
});
2010-02-11 04:24:05 +00:00
}), o("Expression UNLESS Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
2010-02-11 04:24:05 +00:00
statement: true,
invert: true
});
})
],
Operation: [
o("! Expression", function() {
return new OpNode('!', $2);
}), o("!! Expression", function() {
return new OpNode('!!', $2);
}), o("- Expression", (function() {
return new OpNode('-', $2);
}), {
prec: 'UMINUS'
}), o("+ Expression", (function() {
return new OpNode('+', $2);
}), {
prec: 'UPLUS'
}), o("~ Expression", function() {
return new OpNode('~', $2);
}), o("-- Expression", function() {
return new OpNode('--', $2);
}), o("++ Expression", function() {
return new OpNode('++', $2);
}), o("DELETE Expression", function() {
return new OpNode('delete', $2);
}), o("TYPEOF Expression", function() {
return new OpNode('typeof', $2);
}), o("Expression --", function() {
return new OpNode('--', $1, null, true);
}), o("Expression ++", function() {
return new OpNode('++', $1, null, true);
}), o("Expression * Expression", function() {
return new OpNode('*', $1, $3);
}), o("Expression / Expression", function() {
return new OpNode('/', $1, $3);
}), o("Expression % Expression", function() {
return new OpNode('%', $1, $3);
}), o("Expression + Expression", function() {
return new OpNode('+', $1, $3);
}), o("Expression - Expression", function() {
return new OpNode('-', $1, $3);
}), o("Expression << Expression", function() {
return new OpNode('<<', $1, $3);
}), o("Expression >> Expression", function() {
return new OpNode('>>', $1, $3);
}), o("Expression >>> Expression", function() {
return new OpNode('>>>', $1, $3);
}), o("Expression & Expression", function() {
return new OpNode('&', $1, $3);
}), o("Expression | Expression", function() {
return new OpNode('|', $1, $3);
}), o("Expression ^ Expression", function() {
return new OpNode('^', $1, $3);
}), o("Expression <= Expression", function() {
return new OpNode('<=', $1, $3);
}), o("Expression < Expression", function() {
return new OpNode('<', $1, $3);
}), o("Expression > Expression", function() {
return new OpNode('>', $1, $3);
}), o("Expression >= Expression", function() {
return new OpNode('>=', $1, $3);
}), o("Expression == Expression", function() {
return new OpNode('==', $1, $3);
}), o("Expression != Expression", function() {
return new OpNode('!=', $1, $3);
}), o("Expression && Expression", function() {
return new OpNode('&&', $1, $3);
}), o("Expression || Expression", function() {
return new OpNode('||', $1, $3);
}), o("Expression OP? Expression", function() {
return new OpNode('?', $1, $3);
}), o("Expression -= Expression", function() {
return new OpNode('-=', $1, $3);
}), o("Expression += Expression", function() {
return new OpNode('+=', $1, $3);
}), o("Expression /= Expression", function() {
return new OpNode('/=', $1, $3);
}), o("Expression *= Expression", function() {
return new OpNode('*=', $1, $3);
}), o("Expression %= Expression", function() {
return new OpNode('%=', $1, $3);
}), o("Expression ||= Expression", function() {
return new OpNode('||=', $1, $3);
}), o("Expression &&= Expression", function() {
return new OpNode('&&=', $1, $3);
}), o("Expression ?= Expression", function() {
return new OpNode('?=', $1, $3);
}), o("Expression INSTANCEOF Expression", function() {
return new OpNode('instanceof', $1, $3);
}), o("Expression IN Expression", function() {
return new InNode($1, $3);
}), o("Expression OF Expression", function() {
return new OpNode('in', $1, $3);
}), o("Expression ! IN Expression", function() {
return new OpNode('!', new InNode($1, $4));
}), o("Expression ! OF Expression", function() {
return new OpNode('!', new ParentheticalNode(new OpNode('in', $1, $4)));
})
2010-02-11 04:24:05 +00:00
]
};
operators = [["left", '?'], ["nonassoc", 'UMINUS', 'UPLUS', '!', '!!', '~', '++', '--'], ["left", '*', '/', '%'], ["left", '+', '-'], ["left", '<<', '>>', '>>>'], ["left", '&', '|', '^'], ["left", '<=', '<', '>', '>='], ["right", 'DELETE', 'INSTANCEOF', 'TYPEOF'], ["left", '==', '!='], ["left", '&&', '||', 'OP?'], ["right", '-=', '+=', '/=', '*=', '%=', '||=', '&&=', '?='], ["left", '.'], ["right", 'INDENT'], ["left", 'OUTDENT'], ["right", 'WHEN', 'LEADING_WHEN', 'IN', 'OF', 'BY', 'THROW'], ["right", 'FOR', 'WHILE', 'UNTIL', 'LOOP', 'NEW', 'SUPER', 'CLASS'], ["left", 'EXTENDS'], ["right", 'ASSIGN', 'RETURN'], ["right", '->', '=>', 'UNLESS', 'IF', 'ELSE']];
2010-02-11 04:24:05 +00:00
tokens = [];
_a = grammar;
for (name in _a) { if (__hasProp.call(_a, name)) {
alternatives = _a[name];
grammar[name] = (function() {
_b = []; _d = alternatives;
for (_c = 0, _e = _d.length; _c < _e; _c++) {
alt = _d[_c];
_b.push((function() {
_g = alt[0].split(' ');
for (_f = 0, _h = _g.length; _f < _h; _f++) {
token = _g[_f];
if (!(grammar[token])) {
tokens.push(token);
}
}
if (name === 'Root') {
2010-04-04 06:59:44 +00:00
alt[1] = ("return " + (alt[1]));
}
return alt;
})());
}
return _b;
})();
}}
2010-02-16 06:04:48 +00:00
exports.parser = new Parser({
tokens: tokens.join(' '),
bnf: grammar,
operators: operators.reverse(),
2010-02-11 04:24:05 +00:00
startSymbol: 'Root'
});
})();