1
0
Fork 0
mirror of https://github.com/jashkenas/coffeescript.git synced 2022-11-09 12:23:24 -05:00
jashkenas--coffeescript/lib/grammar.js
2010-09-27 23:59:47 -04:00

646 lines
21 KiB
JavaScript

(function() {
var Parser, _i, _j, _len, _len2, _ref, _ref2, _ref3, _result, alt, alternatives, grammar, name, o, operators, token, tokens, unwrap;
var __hasProp = Object.prototype.hasOwnProperty;
Parser = require('jison').Parser;
unwrap = /function\s*\(\)\s*\{\s*return\s*([\s\S]*);\s*\}/;
o = function(patternString, action, options) {
var match;
if (!(action)) {
return [patternString, '$$ = $1;', options];
}
action = (match = (action + '').match(unwrap)) ? match[1] : ("(" + (action) + "())");
action = action.replace(/\b(?:[A-Z][a-z]+Node|Expressions)\b/g, 'yy.$&');
return [patternString, ("$$ = " + (action) + ";"), options];
};
grammar = {
Root: [
o("", function() {
return new Expressions;
}), o("TERMINATOR", function() {
return new Expressions;
}), o("Body"), o("Block TERMINATOR")
],
Body: [
o("Line", function() {
return Expressions.wrap([$1]);
}), o("Body TERMINATOR Line", function() {
return $1.push($3);
}), o("Body TERMINATOR")
],
Line: [o("Expression"), o("Statement")],
Statement: [
o("Return"), o("Throw"), o("BREAK", function() {
return new LiteralNode($1);
}), o("CONTINUE", function() {
return new LiteralNode($1);
}), o("DEBUGGER", function() {
return new LiteralNode($1);
})
],
Expression: [o("Value"), o("Invocation"), o("Code"), o("Operation"), o("Assign"), o("If"), o("Try"), o("While"), o("For"), o("Switch"), o("Extends"), o("Class"), o("Existence"), o("Comment")],
Block: [
o("INDENT Body OUTDENT", function() {
return $2;
}), o("INDENT OUTDENT", function() {
return new Expressions;
}), o("TERMINATOR Comment", function() {
return Expressions.wrap([$2]);
})
],
Identifier: [
o("IDENTIFIER", function() {
return new LiteralNode($1);
})
],
AlphaNumeric: [
o("NUMBER", function() {
return new LiteralNode($1);
}), o("STRING", function() {
return new LiteralNode($1);
})
],
Literal: [
o("AlphaNumeric"), o("JS", function() {
return new LiteralNode($1);
}), o("REGEX", function() {
return new LiteralNode($1);
}), 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 = Expression", function() {
return new AssignNode($1, $3);
}), o("Assignable = INDENT Expression OUTDENT", function() {
return new AssignNode($1, $4);
})
],
AssignObj: [
o("Identifier", function() {
return new ValueNode($1);
}), o("AlphaNumeric"), o("Identifier : Expression", function() {
return new AssignNode(new ValueNode($1), $3, 'object');
}), o("AlphaNumeric : Expression", function() {
return new AssignNode(new ValueNode($1), $3, 'object');
}), o("Identifier : INDENT Expression OUTDENT", function() {
return new AssignNode(new ValueNode($1), $4, 'object');
}), o("AlphaNumeric : INDENT Expression OUTDENT", function() {
return new AssignNode(new ValueNode($1), $4, 'object');
}), o("Comment")
],
Return: [
o("RETURN Expression", function() {
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() {
return new ExistenceNode($1);
})
],
Code: [
o("PARAM_START ParamList PARAM_END FuncGlyph Block", function() {
return new CodeNode($2, $5, $4);
}), o("FuncGlyph Block", function() {
return new CodeNode([], $2, $1);
})
],
FuncGlyph: [
o("->", function() {
return 'func';
}), o("=>", function() {
return 'boundfunc';
})
],
OptComma: [o(''), o(',')],
ParamList: [
o("", function() {
return [];
}), o("Param", function() {
return [$1];
}), o("ParamList , Param", function() {
return $1.concat([$3]);
})
],
Param: [
o("PARAM", function() {
return new LiteralNode($1);
}), o("@ PARAM", function() {
return new ParamNode($2, true);
}), o("PARAM . . .", function() {
return new ParamNode($1, false, true);
}), o("@ PARAM . . .", function() {
return new ParamNode($2, true, true);
})
],
Splat: [
o("Expression . . .", function() {
return new SplatNode($1);
})
],
SimpleAssignable: [
o("Identifier", function() {
return new ValueNode($1);
}), 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() {
return new ValueNode($1);
}), o("Parenthetical", function() {
return new ValueNode($1);
}), o("Range", function() {
return new ValueNode($1);
}), o("This"), o("NULL", function() {
return new ValueNode(new LiteralNode('null'));
})
],
Accessor: [
o("PROPERTY_ACCESS Identifier", function() {
return new AccessorNode($2);
}), o("PROTOTYPE_ACCESS Identifier", function() {
return new AccessorNode($2, 'prototype');
}), o("::", function() {
return new AccessorNode(new LiteralNode('prototype'));
}), 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() {
return new IndexNode($2);
}), o("INDEX_SOAK Index", function() {
$2.soakNode = true;
return $2;
}), o("INDEX_PROTO Index", function() {
$2.proto = true;
return $2;
})
],
Object: [
o("{ AssignList OptComma }", function() {
return new ObjectNode($2);
})
],
AssignList: [
o("", function() {
return [];
}), o("AssignObj", function() {
return [$1];
}), o("AssignList , AssignObj", function() {
return $1.concat([$3]);
}), o("AssignList OptComma TERMINATOR AssignObj", function() {
return $1.concat([$4]);
}), o("AssignList OptComma INDENT AssignList OptComma OUTDENT", function() {
return $1.concat($4);
})
],
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);
}), o("CLASS INDENT ClassBody OUTDENT", function() {
return new ClassNode('__temp__', null, $3);
}), o("CLASS", function() {
return new ClassNode('__temp__', null, new Expressions);
}), o("CLASS EXTENDS Value", function() {
return new ClassNode('__temp__', $3, new Expressions);
}), o("CLASS EXTENDS Value INDENT ClassBody OUTDENT", function() {
return new ClassNode('__temp__', $3, $5);
})
],
ClassAssign: [
o("AssignObj", function() {
return $1;
}), o("ThisProperty : Expression", function() {
return new AssignNode(new ValueNode($1), $3, 'this');
}), o("ThisProperty : INDENT Expression OUTDENT", function() {
return new AssignNode(new ValueNode($1), $4, 'this');
})
],
ClassBody: [
o("", function() {
return [];
}), o("ClassAssign", function() {
return [$1];
}), o("ClassBody TERMINATOR ClassAssign", function() {
return $1.concat($3);
}), o("{ ClassBody }", function() {
return $2;
})
],
Extends: [
o("SimpleAssignable EXTENDS Value", function() {
return new ExtendsNode($1, $3);
})
],
Invocation: [
o("Value OptFuncExist Arguments", function() {
return new CallNode($1, $3, $2);
}), o("Invocation OptFuncExist Arguments", function() {
return new CallNode($1, $3, $2);
}), o("SUPER", function() {
return new CallNode('super', [new SplatNode(new LiteralNode('arguments'))]);
}), o("SUPER Arguments", function() {
return new CallNode('super', $2);
})
],
OptFuncExist: [
o("", function() {
return false;
}), o("FUNC_EXIST", function() {
return true;
})
],
Arguments: [
o("CALL_START CALL_END", function() {
return [];
}), o("CALL_START ArgList OptComma CALL_END", function() {
return $2;
})
],
This: [
o("THIS", function() {
return new ValueNode(new LiteralNode('this'));
}), o("@", function() {
return new ValueNode(new LiteralNode('this'));
})
],
RangeDots: [
o(". .", function() {
return 'inclusive';
}), o(". . .", function() {
return 'exclusive';
})
],
ThisProperty: [
o("@ Identifier", function() {
return new ValueNode(new LiteralNode('this'), [new AccessorNode($2)]);
})
],
Range: [
o("[ Expression RangeDots Expression ]", function() {
return new RangeNode($2, $4, $3);
})
],
Slice: [
o("INDEX_START Expression RangeDots Expression INDEX_END", function() {
return new RangeNode($2, $4, $3);
}), o("INDEX_START Expression RangeDots INDEX_END", function() {
return new RangeNode($2, null, $3);
}), o("INDEX_START RangeDots Expression INDEX_END", function() {
return new RangeNode(null, $3, $2);
})
],
Array: [
o("[ ]", function() {
return new ArrayNode([]);
}), o("[ ArgList OptComma ]", function() {
return new ArrayNode($2);
})
],
ArgList: [
o("Arg", function() {
return [$1];
}), o("ArgList , Arg", function() {
return $1.concat([$3]);
}), o("ArgList OptComma TERMINATOR Arg", function() {
return $1.concat([$4]);
}), o("INDENT ArgList OptComma OUTDENT", function() {
return $2;
}), o("ArgList OptComma INDENT ArgList OptComma OUTDENT", function() {
return $1.concat($4);
})
],
Arg: [o("Expression"), o("Splat")],
SimpleArgs: [
o("Expression"), o("SimpleArgs , Expression", function() {
return $1 instanceof Array ? $1.concat([$3]) : [$1].concat([$3]);
})
],
Try: [
o("TRY Block Catch", function() {
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() {
return [$2, $3];
})
],
Throw: [
o("THROW Expression", function() {
return new ThrowNode($2);
})
],
Parenthetical: [
o("( Line )", function() {
return new ParentheticalNode($2);
}), o("( )", function() {
return new ParentheticalNode(new LiteralNode(''));
})
],
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);
}), 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]));
})
],
For: [
o("Statement ForBody", function() {
return new ForNode($1, $2, $2.vars[0], $2.vars[1]);
}), o("Expression ForBody", function() {
return new ForNode($1, $2, $2.vars[0], $2.vars[1]);
}), o("ForBody Block", function() {
return new ForNode($2, $1, $1.vars[0], $1.vars[1]);
})
],
ForBody: [
o("FOR Range", function() {
return {
source: new ValueNode($2),
vars: []
};
}), o("ForStart ForSource", function() {
$2.raw = $1.raw;
$2.vars = $1;
return $2;
})
],
ForStart: [
o("FOR ForVariables", function() {
return $2;
}), o("FOR ALL ForVariables", function() {
$3.raw = true;
return $3;
})
],
ForValue: [
o("Identifier"), o("Array", function() {
return new ValueNode($1);
}), o("Object", function() {
return new ValueNode($1);
})
],
ForVariables: [
o("ForValue", function() {
return [$1];
}), o("ForValue , ForValue", function() {
return [$1, $3];
})
],
ForSource: [
o("IN Expression", function() {
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
};
})
],
Switch: [
o("SWITCH Expression INDENT Whens OUTDENT", function() {
return new SwitchNode($2, $4);
}), o("SWITCH Expression INDENT Whens ELSE Block OUTDENT", function() {
return new SwitchNode($2, $4, $6);
}), o("SWITCH INDENT Whens OUTDENT", function() {
return new SwitchNode(null, $3);
}), o("SWITCH INDENT Whens ELSE Block OUTDENT", function() {
return new SwitchNode(null, $3, $5);
})
],
Whens: [
o("When"), o("Whens When", function() {
return $1.concat($2);
})
],
When: [
o("LEADING_WHEN SimpleArgs Block", function() {
return [[$2, $3]];
}), o("LEADING_WHEN SimpleArgs Block TERMINATOR", function() {
return [[$2, $3]];
})
],
IfBlock: [
o("IF Expression Block", function() {
return new IfNode($2, $3);
}), o("UNLESS Expression Block", function() {
return new IfNode($2, $3, {
invert: true
});
}), o("IfBlock ELSE IF Expression Block", function() {
return $1.addElse(new IfNode($4, $5));
}), o("IfBlock ELSE Block", function() {
return $1.addElse($3);
})
],
If: [
o("IfBlock"), o("Statement POST_IF Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
statement: true
});
}), o("Expression POST_IF Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
statement: true
});
}), o("Statement POST_UNLESS Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
statement: true,
invert: true
});
}), o("Expression POST_UNLESS Expression", function() {
return new IfNode($3, Expressions.wrap([$1]), {
statement: true,
invert: true
});
})
],
Operation: [
o("UNARY Expression", function() {
return new OpNode($1, $2);
}), o("- Expression", function() {
return new OpNode('-', $2);
}, {
prec: 'UNARY'
}), o("+ Expression", function() {
return new OpNode('+', $2);
}, {
prec: 'UNARY'
}), o("-- Expression", function() {
return new OpNode('--', $2);
}), o("++ Expression", function() {
return new OpNode('++', $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 MATH Expression", function() {
return new OpNode($2, $1, $3);
}), o("Expression SHIFT Expression", function() {
return new OpNode($2, $1, $3);
}), o("Expression COMPARE Expression", function() {
return new OpNode($2, $1, $3);
}), o("Expression LOGIC Expression", function() {
return new OpNode($2, $1, $3);
}), o("Value COMPOUND_ASSIGN Expression", function() {
return new OpNode($2, $1, $3);
}), o("Value COMPOUND_ASSIGN INDENT Expression OUTDENT", function() {
return new OpNode($2, $1, $4);
}), o("Expression IN Expression", function() {
return new InNode($1, $3);
}), o("Expression OF Expression", function() {
return new OpNode('in', $1, $3);
}), o("Expression INSTANCEOF Expression", function() {
return new OpNode('instanceof', $1, $3);
}), o("Expression UNARY IN Expression", function() {
return new OpNode($2, new InNode($1, $4));
}), o("Expression UNARY OF Expression", function() {
return new OpNode($2, new ParentheticalNode(new OpNode('in', $1, $4)));
}), o("Expression UNARY INSTANCEOF Expression", function() {
return new OpNode($2, new ParentheticalNode(new OpNode('instanceof', $1, $4)));
})
]
};
operators = [["right", '?'], ["left", 'CALL_START', 'CALL_END'], ["nonassoc", '++', '--'], ["right", 'UNARY'], ["left", 'MATH'], ["left", '+', '-'], ["left", 'SHIFT'], ["left", 'COMPARE'], ["left", 'INSTANCEOF'], ["left", '==', '!='], ["left", 'LOGIC'], ["right", 'COMPOUND_ASSIGN'], ["left", '.'], ["nonassoc", 'INDENT', 'OUTDENT'], ["right", 'WHEN', 'LEADING_WHEN', 'IN', 'OF', 'BY', 'THROW'], ["right", 'IF', 'UNLESS', 'ELSE', 'FOR', 'WHILE', 'UNTIL', 'LOOP', 'SUPER', 'CLASS', 'EXTENDS'], ["right", '=', ':', 'RETURN'], ["right", '->', '=>', 'UNLESS', 'POST_IF', 'POST_UNLESS']];
tokens = [];
_ref = grammar;
for (name in _ref) {
if (!__hasProp.call(_ref, name)) continue;
alternatives = _ref[name];
grammar[name] = (function() {
_result = []; _ref2 = alternatives;
for (_i = 0, _len = _ref2.length; _i < _len; _i++) {
alt = _ref2[_i];
_result.push((function() {
_ref3 = alt[0].split(' ');
for (_j = 0, _len2 = _ref3.length; _j < _len2; _j++) {
token = _ref3[_j];
if (!(grammar[token])) {
tokens.push(token);
}
}
if (name === 'Root') {
alt[1] = ("return " + (alt[1]));
}
return alt;
})());
}
return _result;
})();
}
exports.parser = new Parser({
tokens: tokens.join(' '),
bnf: grammar,
operators: operators.reverse(),
startSymbol: 'Root'
});
}).call(this);