jscc-parser
Version:
A LALR(1) Parser Generator for JavaScript written in JavaScript.
494 lines (462 loc) • 22.5 kB
JavaScript
/*
* Universal module definition for printtab.
*/
(function(root, factory) {
/* istanbul ignore next */
if (typeof define === 'function' && define.amd) {
define(['require', './global', './tabgen', './log/log', './enums/MODE_GEN', './enums/SYM', './enums/SPECIAL'],
factory);
} else if (typeof module === 'object' && module.exports) {
module.exports = factory(require);
} else {
root.jsccprinttab =
factory(function(mod) {
return root["jscc" + mod.split("/").pop()];
});
}
}(this,
/**
* @param {reqParameter} require
* @param {...*} others
* @returns {jscc.printtab}
*/
function(require, others) {
//>>excludeStart("closure", pragmas.closure);
var jscc = {};
var has = (require("./localHas"));
//>>excludeEnd("closure");
var log, global = /** @type {jscc.global} */ (require("./global")),
tabgen = /** @type {jscc.tabgen} */ (require("./tabgen")),
MODE_GEN = require("./enums/MODE_GEN"),
SYM = require("./enums/SYM"),
SPECIAL = require("./enums/SPECIAL");
/**
* @suppress {uselessCode}
*/
(function() {
if (has("node")) {
log = /** @type {jscc.log} */ (require("./log/logNode"));
} else {
log = /** @type {jscc.log} */ (require("./log/log"));
}
})();
/**
* Functions for printing parse tables.
* @module {jscc.printtab} jscc/printtab
* @requires module:jscc/global
* @requires module:jscc/tabgen
* @requires module:jscc/log/log
* @requires module:jscc/enums/MODE_GEN
* @requires module:jscc/enums/SYM
* @requires module:jscc/enums/SPECIAL
*/
/**
* @constructor
*/
jscc.printtab = function() {
};
jscc.printtab.prototype = {
/**
* Prints the parse tables in a desired format.
* @param {(jscc.enums.MODE_GEN|string)} mode - The output mode.
* This can be either {@link jscc.enums.MODE_GEN.JS} to create JavaScript/
* JScript code as output or {@link jscc.enums.MODE_GEN.HTML} to create
* HTML-tables as output (the HTML-tables are formatted to
* look nice with the JS/CC Web Environment).
* @returns {string} The code to be printed to a file or
* website.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
print_parse_tables: function(mode) {
var code = "";
var i, j, deepest = 0, val;
switch (mode) {
case MODE_GEN.HTML:
case "html":
code += "<table class=\"print\" cellpadding=\"0\" cellspacing=\"0\">";
code += "<tr>";
code += "<td class=\"tabtitle\" colspan=\"2\">Pop-Table</td>";
code += "</tr>";
code +=
"<td class=\"coltitle\" width=\"1%\" style=\"border-right: 1px solid lightgray;\">Left-hand side</td>";
code += "<td class=\"coltitle\">Number of symbols to pop</td>";
code += "</tr>";
for (i = 0; i < global.productions.length; i++) {
code += "<tr>";
code +=
"<td style=\"border-right: 1px solid lightgray;\">" + global.productions[i].lhs + "</td>";
code += "<td>" + global.productions[i].rhs.length + "</td>";
code += "</tr>";
}
code += "</table>";
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.TERM) {
deepest++;
}
}
code += "<table class=\"print\" cellpadding=\"0\" cellspacing=\"0\">";
code += "<tr>";
code += "<td class=\"tabtitle\" colspan=\"" + (deepest + 1) + "\">Action-Table</td>";
code += "</tr>";
code +=
"<td class=\"coltitle\" width=\"1%\" style=\"border-right: 1px solid lightgray;\">State</td>";
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.TERM) {
code += "<td><b>" + global.symbols[i].label + "</b></td>";
}
}
code += "</tr>";
for (i = 0; i < global.states.length; i++) {
code += "<tr>";
code += "<td class=\"coltitle\" style=\"border-right: 1px solid lightgray;\">" + i + "</td>";
for (j = 0; j < global.symbols.length; j++) {
if (global.symbols[j].kind == SYM.TERM) {
code += "<td>";
if ((val = tabgen.get_table_entry(global.states[i].actionrow, j)) != void(0)) {
if (val <= 0) {
code += "r" + (val * -1);
} else {
code += "s" + val;
}
}
code += "</td>";
}
}
code += "</tr>";
}
code += "</table>";
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.NONTERM) {
deepest++;
}
}
code += "<table class=\"print\" cellpadding=\"0\" cellspacing=\"0\">";
code += "<tr>";
code += "<td class=\"tabtitle\" colspan=\"" + (deepest + 1) + "\">Goto-Table</td>";
code += "</tr>";
code +=
"<td class=\"coltitle\" width=\"1%\" style=\"border-right: 1px solid lightgray;\">State</td>";
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.NONTERM) {
code += "<td>" + global.symbols[i].label + "</td>";
}
}
code += "</tr>";
for (i = 0; i < global.states.length; i++) {
code += "<tr>";
code += "<td class=\"coltitle\" style=\"border-right: 1px solid lightgray;\">" + i + "</td>";
for (j = 0; j < global.symbols.length; j++) {
if (global.symbols[j].kind == SYM.NONTERM) {
code += "<td>";
if ((val = tabgen.get_table_entry(global.states[i].gotorow, j)) != void(0)) {
code += val;
}
code += "</td>";
}
}
code += "</tr>";
}
code += "</table>";
code += "<table class=\"print\" cellpadding=\"0\" cellspacing=\"0\">";
code += "<tr>";
code += "<td class=\"tabtitle\" colspan=\"2\">Default Actions Table</td>";
code += "</tr>";
code +=
"<td class=\"coltitle\" width=\"1%\" style=\"border-right: 1px solid lightgray;\">Left-hand side</td>";
code += "<td class=\"coltitle\">Number of symbols to pop</td>";
code += "</tr>";
for (i = 0; i < global.states.length; i++) {
code += "<tr>";
code += "<td style=\"border-right: 1px solid lightgray;\">State " + i + "</td>";
code +=
"<td>" + ((global.states[i].def_act < 0) ? "(none)" : global.states[i].def_act) + "</td>";
code += "</tr>";
}
code += "</table>";
break;
case MODE_GEN.JS:
case "js":
var pop_tab_json = [];
for (i = 0; i < global.productions.length; i++) {
pop_tab_json.push([global.productions[i].lhs, global.productions[i].rhs.length]);
}
code += "\nvar pop_tab = " + JSON.stringify(pop_tab_json) + ";\n";
var act_tab_json = [];
for (i = 0; i < global.states.length; i++) {
var act_tab_json_item = [];
for (j = 0; j < global.states[i].actionrow.length; j++) {
act_tab_json_item.push(global.states[i].actionrow[j].symbol,
global.states[i].actionrow[j].action);
}
act_tab_json.push(act_tab_json_item);
}
code += "\n/** @type {!Array<!Array<number>>} */\nvar act_tab =" + JSON.stringify(act_tab_json) +
";\n";
var goto_tab_json = [];
for (i = 0; i < global.states.length; i++) {
var goto_tab_json_item = [];
for (j = 0; j < global.states[i].gotorow.length; j++) {
goto_tab_json_item.push(global.states[i].gotorow[j].symbol,
global.states[i].gotorow[j].action);
}
goto_tab_json.push(goto_tab_json_item);
}
code += "\nvar goto_tab =" + JSON.stringify(goto_tab_json) + ";\n";
var defact_tab_json = [];
for (i = 0; i < global.states.length; i++) {
defact_tab_json.push(global.states[i].def_act);
}
code += "\nvar defect_tab =" + JSON.stringify(defact_tab_json) + ";\n";
break;
}
return code;
},
/**
*
* @param {Array<jscc.classes.Dfa>} dfa_states
* @returns {Array}
* @memberof jscc.printtab
*/
pack_dfa: function(dfa_states) {
var PL = function(line) {
var out = [];
while (line.length) {
var first = line.shift();
var second = line.shift();
if (first == second) {
out.push(first);
} else {
out.push([first, second]);
}
}
return out;
};
var json = [];
for (var i = 0; i < dfa_states.length; i++) {
(function(i) {
var line = [];
for (var j = 0; j < dfa_states[i].line.length; j++) {
if (dfa_states[i].line[j] != -1) {
line[j] = dfa_states[i].line[j];
}
}
line = PL(PL(PL(PL(PL(PL(PL(PL((line)))))))));
json.push({
line: line,
accept: dfa_states[i].accept
});
})(i);
}
return json;
},
/**
* Generates a state-machine construction from the deterministic
* finite automata.
* @param {Array<jscc.classes.Dfa>} dfa_states - The dfa state machine for
* the lexing function.
* @returns {string} The code to be inserted into the static
* parser driver framework.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
print_dfa_table: function(dfa_states) {
var json = [], code;
for (var i = 0; i < dfa_states.length; i++) {
(function(i) {
var line = {};
for (var j = 0; j < dfa_states[i].line.length; j++) {
if (dfa_states[i].line[j] != -1) {
line[j] = dfa_states[i].line[j];
}
}
json.push({
line: line,
accept: dfa_states[i].accept
});
})(i);
}
code = JSON.stringify(this.pack_dfa(dfa_states));
// JSON quotes object keys, of course, but doing so breaks minimization. So, replace keys
// with unquoted versions, when possible.
return code.replace(/"([A-Za-z_][A-Za-z0-9_]*)"\s*:/g, "$1:").replace(/,/g, ",\n\t");
},
/**
* Prints all symbol labels into an array; this is used for
* error reporting purposes only in the resulting parser.
* @returns {string} The code to be inserted into the
* static parser driver framework.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
print_symbol_labels: function() {
for (var i = 0, arr = []; i < global.symbols.length; i++) {
arr.push(global.symbols[i].label);
}
return "var labels = " + JSON.stringify(global.symbols) + ";\n\n";
},
/**
* Prints the terminal symbol actions to be associated with a
* terminal definition into a switch-case-construct.
* @returns {string} The code to be inserted into the static
* parser driver framework.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
print_term_actions: function() {
var code = "({\n";
var re = /%match|%offset|%source/;
var i, j, k;
var semcode;
var strmatch;
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.TERM && global.symbols[i].code != "") {
code += " \"" + i + "\":";
code += " /** @suppress {uselessCode} */ function(PCB){";
semcode = "";
for (j = 0, k = 0; j < global.symbols[i].code.length; j++, k++) {
strmatch = re.exec(global.symbols[i].code.substr(j, global.symbols[i].code.length));
if (strmatch && strmatch.index == 0) {
if (strmatch[0] == "%match") {
semcode += "PCB.att";
} else if (strmatch[0] == "%offset") {
semcode += "( PCB.offset - PCB.att.length )";
} else if (strmatch[0] == "%source") {
semcode += "PCB.src";
}
j += strmatch[0].length - 1;
k = semcode.length;
} else {
semcode += global.symbols[i].code.charAt(j);
}
}
code += " " + semcode + "\n";
code += " return PCB.att;},\n";
}
}
code += "\n})";
return code;
},
/**
* Generates a switch-case-construction that contains all
* the semantic actions. This construction should then be
* generated into the static parser driver template.
* @returns {string} The code to be inserted into the static
* parser driver framework.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
print_actions: function() {
var code = "";
var re = /%[0-9]+|%%/;
var semcode, strmatch;
var i, j, k, idx, src;
code += "[";
for (i = 0; i < global.productions.length; i++) {
src = global.productions[i].code;
semcode = "function(){\n";
semcode += "var rval;";
for (j = 0, k = 0; j < src.length; j++, k++) {
strmatch = re.exec(src.substr(j, src.length));
if (strmatch && strmatch.index == 0) {
if (strmatch[0] == "%%") {
semcode += "rval";
} else {
idx = parseInt(strmatch[0].substr(1, strmatch[0].length), 10);
idx = global.productions[i].rhs.length - idx;
if (idx < 0) {
// The wildcard index is not valid. Ideally, this
// condition should be caught during parsing or
// semantic analysis.
var badProduction = global.productions[i],
badLeftSymbol = global.symbols[badProduction.lhs];
if (global.productions[i].rhs.length == 0) {
// Likely, default code was used for an empty right-hand side
log.error(
"Default code was used for an empty right-hand side of a production, or a wildcard " +
strmatch[0] +
" was used explicitly. The faulty left-hand side symbol label is '"
+ badLeftSymbol.label + "'.");
} else {
log.error("The wildcard " + strmatch[0] + " was used, but there are only " +
global.productions[i].rhs.length +
" symbols on the right-hand side of the production. The faulty left-hand " +
"side symbol label is '" + badLeftSymbol.label + "'.");
}
semcode += " \"\" ";
} else {
semcode += " arguments[" + idx + "] ";
}
}
j += strmatch[0].length - 1;
k = semcode.length;
} else {
semcode += src.charAt(j);
}
}
code += " " + semcode + "\nreturn rval;},\n";
}
code += "]";
return code;
},
/**
* Returns the value of the eof-symbol.
* @returns {number} The id of the EOF-symbol.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
get_eof_symbol_id: function() {
var eof_id = -1;
// Find out which symbol is for EOF
for (var i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].special == SPECIAL.EOF) {
eof_id = i;
break;
}
}
if (eof_id == -1) {
log.error("No EOF-symbol defined - This might not be possible (bug!)");
}
return eof_id;
},
/**
* Returns the value of the error-symbol.
* @returns {number} The id of the error-symbol.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
get_error_symbol_id: function() {
var error_id = -1;
for (var i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].special == SPECIAL.ERROR) {
error_id = i;
break;
}
}
if (error_id == -1) {
log.error("No ERROR-symbol defined - This might not be possible (bug!)");
}
return error_id;
},
/**
* Returns the ID of the whitespace-symbol.
* @returns {number} The id of the whitespace-symbol.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
get_whitespace_symbol_id: function() {
return global.whitespace_token;
},
/**
* Returns the ID of a non-existing state.
* @returns {number} One greater than the length of the
* states array.
* @author Jan Max Meyer
* @memberof jscc.printtab
*/
get_error_state: function() {
return global.states.length + 1;
}
};
return new jscc.printtab();
}));