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-10-07 12:59:36 +09:00

636 lines
20 KiB
JavaScript

(function() {
var Parser, _i, _j, _len, _len2, _ref, _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(/\bnew (\w+)\b/g, 'new yy.$1').replace(/Expressions\.wrap/g, 'yy.Expressions.wrap');
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 Literal($1);
}), o("CONTINUE", function() {
return new Literal($1);
}), o("DEBUGGER", function() {
return new Literal($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 Literal($1);
})
],
AlphaNumeric: [
o("NUMBER", function() {
return new Literal($1);
}), o("STRING", function() {
return new Literal($1);
})
],
Literal: [
o("AlphaNumeric"), o("JS", function() {
return new Literal($1);
}), o("REGEX", function() {
return new Literal($1);
}), o("TRUE", function() {
return new Literal(true);
}), o("FALSE", function() {
return new Literal(false);
}), o("YES", function() {
return new Literal(true);
}), o("NO", function() {
return new Literal(false);
}), o("ON", function() {
return new Literal(true);
}), o("OFF", function() {
return new Literal(false);
})
],
Assign: [
o("Assignable = Expression", function() {
return new Assign($1, $3);
}), o("Assignable = INDENT Expression OUTDENT", function() {
return new Assign($1, $4);
})
],
AssignObj: [
o("Identifier", function() {
return new Value($1);
}), o("AlphaNumeric"), o("ThisProperty"), o("Identifier : Expression", function() {
return new Assign(new Value($1), $3, 'object');
}), o("AlphaNumeric : Expression", function() {
return new Assign(new Value($1), $3, 'object');
}), o("Identifier : INDENT Expression OUTDENT", function() {
return new Assign(new Value($1), $4, 'object');
}), o("AlphaNumeric : INDENT Expression OUTDENT", function() {
return new Assign(new Value($1), $4, 'object');
}), o("Comment")
],
Return: [
o("RETURN Expression", function() {
return new Return($2);
}), o("RETURN", function() {
return new Return;
})
],
Comment: [
o("HERECOMMENT", function() {
return new Comment($1);
})
],
Existence: [
o("Expression ?", function() {
return new Existence($1);
})
],
Code: [
o("PARAM_START ParamList PARAM_END FuncGlyph Block", function() {
return new Code($2, $5, $4);
}), o("FuncGlyph Block", function() {
return new Code([], $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 Literal($1);
}), o("@ PARAM", function() {
return new Param($2, true);
}), o("PARAM . . .", function() {
return new Param($1, false, true);
}), o("@ PARAM . . .", function() {
return new Param($2, true, true);
})
],
Splat: [
o("Expression . . .", function() {
return new Splat($1);
})
],
SimpleAssignable: [
o("Identifier", function() {
return new Value($1);
}), o("Value Accessor", function() {
return $1.push($2);
}), o("Invocation Accessor", function() {
return new Value($1, [$2]);
}), o("ThisProperty")
],
Assignable: [
o("SimpleAssignable"), o("Array", function() {
return new Value($1);
}), o("Object", function() {
return new Value($1);
})
],
Value: [
o("Assignable"), o("Literal", function() {
return new Value($1);
}), o("Parenthetical", function() {
return new Value($1);
}), o("Range", function() {
return new Value($1);
}), o("This"), o("NULL", function() {
return new Value(new Literal('null'));
})
],
Accessor: [
o("PROPERTY_ACCESS Identifier", function() {
return new Accessor($2);
}), o("PROTOTYPE_ACCESS Identifier", function() {
return new Accessor($2, 'prototype');
}), o("::", function() {
return new Accessor(new Literal('prototype'));
}), o("SOAK_ACCESS Identifier", function() {
return new Accessor($2, 'soak');
}), o("Index"), o("Slice", function() {
return new Slice($1);
})
],
Index: [
o("INDEX_START Expression INDEX_END", function() {
return new Index($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 ObjectLiteral($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 Class($2);
}), o("CLASS SimpleAssignable EXTENDS Value", function() {
return new Class($2, $4);
}), o("CLASS SimpleAssignable INDENT ClassBody OUTDENT", function() {
return new Class($2, null, $4);
}), o("CLASS SimpleAssignable EXTENDS Value INDENT ClassBody OUTDENT", function() {
return new Class($2, $4, $6);
}), o("CLASS INDENT ClassBody OUTDENT", function() {
return new Class('__temp__', null, $3);
}), o("CLASS", function() {
return new Class('__temp__', null, new Expressions);
}), o("CLASS EXTENDS Value", function() {
return new Class('__temp__', $3, new Expressions);
}), o("CLASS EXTENDS Value INDENT ClassBody OUTDENT", function() {
return new Class('__temp__', $3, $5);
})
],
ClassAssign: [
o("AssignObj", function() {
return $1;
}), o("ThisProperty : Expression", function() {
return new Assign(new Value($1), $3, 'this');
}), o("ThisProperty : INDENT Expression OUTDENT", function() {
return new Assign(new Value($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 Extends($1, $3);
})
],
Invocation: [
o("Value OptFuncExist Arguments", function() {
return new Call($1, $3, $2);
}), o("Invocation OptFuncExist Arguments", function() {
return new Call($1, $3, $2);
}), o("SUPER", function() {
return new Call('super', [new Splat(new Literal('arguments'))]);
}), o("SUPER Arguments", function() {
return new Call('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 Value(new Literal('this'));
}), o("@", function() {
return new Value(new Literal('this'));
})
],
RangeDots: [
o(". .", function() {
return 'inclusive';
}), o(". . .", function() {
return 'exclusive';
})
],
ThisProperty: [
o("@ Identifier", function() {
return new Value(new Literal('this'), [new Accessor($2)], 'this');
})
],
Range: [
o("[ Expression RangeDots Expression ]", function() {
return new Range($2, $4, $3);
})
],
Slice: [
o("INDEX_START Expression RangeDots Expression INDEX_END", function() {
return new Range($2, $4, $3);
}), o("INDEX_START Expression RangeDots INDEX_END", function() {
return new Range($2, null, $3);
}), o("INDEX_START RangeDots Expression INDEX_END", function() {
return new Range(null, $3, $2);
})
],
Array: [
o("[ ]", function() {
return new ArrayLiteral([]);
}), o("[ ArgList OptComma ]", function() {
return new ArrayLiteral($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", function() {
return new Try($2);
}), o("TRY Block Catch", function() {
return new Try($2, $3[0], $3[1]);
}), o("TRY Block FINALLY Block", function() {
return new Try($2, null, null, $4);
}), o("TRY Block Catch FINALLY Block", function() {
return new Try($2, $3[0], $3[1], $5);
})
],
Catch: [
o("CATCH Identifier Block", function() {
return [$2, $3];
})
],
Throw: [
o("THROW Expression", function() {
return new Throw($2);
})
],
Parenthetical: [
o("( Line )", function() {
return new Parens($2);
}), o("( )", function() {
return new Parens(new Literal(''));
})
],
WhileSource: [
o("WHILE Expression", function() {
return new While($2);
}), o("WHILE Expression WHEN Expression", function() {
return new While($2, {
guard: $4
});
}), o("UNTIL Expression", function() {
return new While($2, {
invert: true
});
}), o("UNTIL Expression WHEN Expression", function() {
return new While($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 While(new Literal('true')).addBody($2);
}), o("LOOP Expression", function() {
return new While(new Literal('true')).addBody(Expressions.wrap([$2]));
})
],
For: [
o("Statement ForBody", function() {
return new For($1, $2, $2.vars[0], $2.vars[1]);
}), o("Expression ForBody", function() {
return new For($1, $2, $2.vars[0], $2.vars[1]);
}), o("ForBody Block", function() {
return new For($2, $1, $1.vars[0], $1.vars[1]);
})
],
ForBody: [
o("FOR Range", function() {
return {
source: new Value($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 Value($1);
}), o("Object", function() {
return new Value($1);
})
],
ForVariables: [
o("ForValue", function() {
return [$1];
}), o("ForValue , ForValue", function() {
return [$1, $3];
})
],
ForSource: [
o("FORIN Expression", function() {
return {
source: $2
};
}), o("FOROF Expression", function() {
return {
source: $2,
object: true
};
}), o("FORIN Expression WHEN Expression", function() {
return {
source: $2,
guard: $4
};
}), o("FOROF Expression WHEN Expression", function() {
return {
source: $2,
guard: $4,
object: true
};
}), o("FORIN Expression BY Expression", function() {
return {
source: $2,
step: $4
};
}), o("FORIN Expression WHEN Expression BY Expression", function() {
return {
source: $2,
guard: $4,
step: $6
};
}), o("FORIN Expression BY Expression WHEN Expression", function() {
return {
source: $2,
step: $4,
guard: $6
};
})
],
Switch: [
o("SWITCH Expression INDENT Whens OUTDENT", function() {
return new Switch($2, $4);
}), o("SWITCH Expression INDENT Whens ELSE Block OUTDENT", function() {
return new Switch($2, $4, $6);
}), o("SWITCH INDENT Whens OUTDENT", function() {
return new Switch(null, $3);
}), o("SWITCH INDENT Whens ELSE Block OUTDENT", function() {
return new Switch(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 If($2, $3);
}), o("UNLESS Expression Block", function() {
return new If($2, $3, {
invert: true
});
}), o("IfBlock ELSE IF Expression Block", function() {
return $1.addElse(new If($4, $5));
}), o("IfBlock ELSE Block", function() {
return $1.addElse($3);
})
],
If: [
o("IfBlock"), o("Statement POST_IF Expression", function() {
return new If($3, Expressions.wrap([$1]), {
statement: true
});
}), o("Expression POST_IF Expression", function() {
return new If($3, Expressions.wrap([$1]), {
statement: true
});
}), o("Statement POST_UNLESS Expression", function() {
return new If($3, Expressions.wrap([$1]), {
statement: true,
invert: true
});
}), o("Expression POST_UNLESS Expression", function() {
return new If($3, Expressions.wrap([$1]), {
statement: true,
invert: true
});
})
],
Operation: [
o("UNARY Expression", function() {
return new Op($1, $2);
}), o("- Expression", function() {
return new Op('-', $2);
}, {
prec: 'UNARY'
}), o("+ Expression", function() {
return new Op('+', $2);
}, {
prec: 'UNARY'
}), o("-- Expression", function() {
return new Op('--', $2);
}), o("++ Expression", function() {
return new Op('++', $2);
}), o("Expression --", function() {
return new Op('--', $1, null, true);
}), o("Expression ++", function() {
return new Op('++', $1, null, true);
}), o("Expression ? Expression", function() {
return new Op('?', $1, $3);
}), o("Expression + Expression", function() {
return new Op('+', $1, $3);
}), o("Expression - Expression", function() {
return new Op('-', $1, $3);
}), o("Expression == Expression", function() {
return new Op('==', $1, $3);
}), o("Expression != Expression", function() {
return new Op('!=', $1, $3);
}), o("Expression MATH Expression", function() {
return new Op($2, $1, $3);
}), o("Expression SHIFT Expression", function() {
return new Op($2, $1, $3);
}), o("Expression COMPARE Expression", function() {
return new Op($2, $1, $3);
}), o("Expression LOGIC Expression", function() {
return new Op($2, $1, $3);
}), o("Value COMPOUND_ASSIGN Expression", function() {
return new Op($2, $1, $3);
}), o("Value COMPOUND_ASSIGN INDENT Expression OUTDENT", function() {
return new Op($2, $1, $4);
}), o("Expression RELATION Expression", function() {
return $2.charAt(0) === '!' ? ($2 === '!in' ? new Op('!', new In($1, $3)) : new Op('!', new Parens(new Op($2.slice(1), $1, $3)))) : ($2 === 'in' ? new In($1, $3) : new Op($2, $1, $3));
})
]
};
operators = [["right", '?'], ["left", 'CALL_START', 'CALL_END'], ["nonassoc", '++', '--'], ["right", 'UNARY'], ["left", 'MATH'], ["left", '+', '-'], ["left", 'SHIFT'], ["left", 'COMPARE'], ["left", 'RELATION'], ["left", '==', '!='], ["left", 'LOGIC'], ["right", 'COMPOUND_ASSIGN'], ["left", '.'], ["nonassoc", 'INDENT', 'OUTDENT'], ["right", 'WHEN', 'LEADING_WHEN', 'FORIN', 'FOROF', 'BY', 'THROW'], ["right", 'IF', 'UNLESS', 'ELSE', 'FOR', 'WHILE', 'UNTIL', 'LOOP', 'SUPER', 'CLASS', 'EXTENDS'], ["right", '=', ':', 'RETURN'], ["right", '->', '=>', 'UNLESS', 'POST_IF', 'POST_UNLESS']];
tokens = [];
for (name in grammar) {
if (!__hasProp.call(grammar, name)) continue;
alternatives = grammar[name];
grammar[name] = (function() {
_result = [];
for (_i = 0, _len = alternatives.length; _i < _len; _i++) {
alt = alternatives[_i];
_result.push((function() {
for (_j = 0, _len2 = (_ref = alt[0].split(' ')).length; _j < _len2; _j++) {
token = _ref[_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);