jscc-parser
Version:
A LALR(1) Parser Generator for JavaScript written in JavaScript.
194 lines (163 loc) • 10 kB
HTML
<html lang="en">
<head>
<meta charset="utf-8">
<title>JSDoc: Source: integrity.js</title>
<script src="scripts/prettify/prettify.js"> </script>
<script src="scripts/prettify/lang-css.js"> </script>
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<link type="text/css" rel="stylesheet" href="styles/prettify-tomorrow.css">
<link type="text/css" rel="stylesheet" href="styles/jsdoc-default.css">
</head>
<body>
<div id="main">
<h1 class="page-title">Source: integrity.js</h1>
<section>
<article>
<pre class="prettyprint source linenums"><code>/*
* Universal module definition for integrity.
*/
(function(root, factory) {
/* istanbul ignore next */
if (typeof define === 'function' && define.amd) {
define(['require', './global', './log/log', './enums/SYM'], factory);
} else if (typeof module === 'object' && module.exports) {
module.exports = factory(require);
} else {
root.jsccintegrity = factory(function(mod) {
return root["jscc" + mod.split("/").pop()];
});
}
}(this,
/**
* @param {reqParameter} require
* @param {...*} others
* @returns {jscc.integrity}
*/
function(require, others) {
//>>excludeStart("closure", pragmas.closure);
var jscc = {};
var has = /** @type {hasObject} */ (require("./localHas"));
//>>excludeEnd("closure");
var log, global = /** @type {jscc.global} */ (require("./global")),
SYM = require("./enums/SYM");
/**
* @suppress {uselessCode}
*/
(function() {
if (has("node")) {
log = /** @type {jscc.log} */ (require("./log/logNode"));
} else {
log = /** @type {jscc.log} */ (require("./log/log"));
}
})();
/**
* Error-checking functions.
* @module {jscc.integrity} jscc/integrity
* @requires module:jscc/global
* @requires module:jscc/log/log
*/
/**
* @constructor
*/
jscc.integrity = function() {
};
jscc.integrity.prototype = {
/**
* Checks the {@link jscc.global.symbols} array for
* nonterminating, undefined symbols. Logs an error if
* any such symbols are found.
*/
undef: function() {
for (var i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.NONTERM
&& global.symbols[i].defined == false) {
log.error("Call to undefined non-terminal \"" +
global.symbols[i].label + "\"");
}
}
},
/**
* Checks the {@link jscc.global.symbols} and
* {@link jscc.global.productions} arrays for
* unreachable, nonterminating symbols. Logs a warning
* if any such symbols are found.
*/
unreachable: function() {
var stack = [];
var reachable = [];
var i, j, k, l;
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.NONTERM) {
break;
}
}
if (i == global.symbols.length) {
return;
}
stack.push(i);
reachable.push(i);
while (stack.length > 0) {
i = stack.pop();
for (j = 0; j < global.symbols[i].prods.length; j++) {
for (k = 0; k < global.productions[global.symbols[i].prods[j]].rhs.length; k++) {
if (global.symbols[global.productions[global.symbols[i].prods[j]].rhs[k]].kind ==
SYM.NONTERM) {
for (l = 0; l < reachable.length; l++) {
if (reachable[l] == global.productions[global.symbols[i].prods[j]].rhs[k]) {
break;
}
}
if (l == reachable.length) {
stack.push(global.productions[global.symbols[i].prods[j]].rhs[k]);
reachable.push(global.productions[global.symbols[i].prods[j]].rhs[k]);
}
}
}
}
}
for (i = 0; i < global.symbols.length; i++) {
if (global.symbols[i].kind == SYM.NONTERM) {
for (j = 0; j < reachable.length; j++) {
if (reachable[j] == i) {
break;
}
}
if (j == reachable.length) {
log.warn("Unreachable non-terminal \"" + global.symbols[i].label + "\"");
}
}
}
},
/**
* Checks the {@link jscc.global.states} array for
* states with no lookahead information. Logs an error
* if any such states are found.
*/
check_empty_states: function() {
for (var i = 0; i < global.states.length; i++) {
if (global.states[i].actionrow.length == 0 && global.states[i].def_act == -1) {
log.error("No lookaheads in state " + i + ", watch for endless list definitions");
}
}
}
};
return new jscc.integrity();
}));
</code></pre>
</article>
</section>
</div>
<nav>
<h2><a href="index.html">Home</a></h2><h3>Modules</h3><ul><li><a href="module-jscc.html">jscc</a></li><li><a href="module-jscc_bitset_BitSet32.html">jscc/bitset/BitSet32</a></li><li><a href="module-jscc_bitset_BitSetBool.html">jscc/bitset/BitSetBool</a></li><li><a href="module-jscc_bitset_BitSetJava.html">jscc/bitset/BitSetJava</a></li><li><a href="module-jscc_classes_Dfa.html">jscc/classes/Dfa</a></li><li><a href="module-jscc_classes_Item.html">jscc/classes/Item</a></li><li><a href="module-jscc_classes_Nfa.html">jscc/classes/Nfa</a></li><li><a href="module-jscc_classes_Param.html">jscc/classes/Param</a></li><li><a href="module-jscc_classes_Production.html">jscc/classes/Production</a></li><li><a href="module-jscc_classes_State.html">jscc/classes/State</a></li><li><a href="module-jscc_classes_Symbol.html">jscc/classes/Symbol</a></li><li><a href="module-jscc_classes_TableEntry.html">jscc/classes/TableEntry</a></li><li><a href="module-jscc_enums_ASSOC.html">jscc/enums/ASSOC</a></li><li><a href="module-jscc_enums_EDGE.html">jscc/enums/EDGE</a></li><li><a href="module-jscc_enums_EXEC.html">jscc/enums/EXEC</a></li><li><a href="module-jscc_enums_LOG_LEVEL.html">jscc/enums/LOG_LEVEL</a></li><li><a href="module-jscc_enums_MODE_GEN.html">jscc/enums/MODE_GEN</a></li><li><a href="module-jscc_enums_SPECIAL.html">jscc/enums/SPECIAL</a></li><li><a href="module-jscc_enums_SYM.html">jscc/enums/SYM</a></li><li><a href="module-jscc_first.html">jscc/first</a></li><li><a href="module-jscc_global.html">jscc/global</a></li><li><a href="module-jscc_integrity.html">jscc/integrity</a></li><li><a href="module-jscc_io_io.html">jscc/io/io</a></li><li><a href="module-jscc_lexdbg.html">jscc/lexdbg</a></li><li><a href="module-jscc_lexdfa.html">jscc/lexdfa</a></li><li><a href="module-jscc_log_log.html">jscc/log/log</a></li><li><a href="module-jscc_parse.html">jscc/parse</a></li><li><a href="module-jscc_printtab.html">jscc/printtab</a></li><li><a href="module-jscc_regex.html">jscc/regex</a></li><li><a href="module-jscc_util.html">jscc/util</a></li></ul><h3>Classes</h3><ul><li><a href="-_anonymous_-jscc.BitSet32.html">BitSet32</a></li><li><a href="-_anonymous_-jscc.BitSetBool.html">BitSetBool</a></li><li><a href="-_anonymous_-jscc.BitSetJava.html">BitSetJava</a></li><li><a href="-_anonymous_-jscc.classes.Dfa.html">classes.Dfa</a></li><li><a href="-_anonymous_-jscc.first.html">first</a></li><li><a href="-_anonymous_-jscc.global.html">global</a></li><li><a href="-_anonymous_-jscc.integrity.html">integrity</a></li><li><a href="-_anonymous_-jscc.ioBrowser.html">ioBrowser</a></li><li><a href="-_anonymous_-jscc.ioNashorn.html">ioNashorn</a></li><li><a href="-_anonymous_-jscc.ioNode.html">ioNode</a></li><li><a href="-_anonymous_-jscc.ioRhino.html">ioRhino</a></li><li><a href="-_anonymous_-jscc.lexdbg.html">lexdbg</a></li><li><a href="-_anonymous_-jscc.lexdfa.html">lexdfa</a></li><li><a href="-_anonymous_-jscc.logBrowser.html">logBrowser</a></li><li><a href="-_anonymous_-jscc.logJava.html">logJava</a></li><li><a href="-_anonymous_-jscc.logNode.html">logNode</a></li><li><a href="-_anonymous_-jscc.printtab.html">printtab</a></li><li><a href="-_anonymous_-jscc.util.html">util</a></li><li><a href="jscc_debug.html">jscc/debug</a></li><li><a href="jscc_nfaStates.html">jscc/nfaStates</a></li><li><a href="jscc_tabgen.html">jscc/tabgen</a></li><li><a href="%257Bjscc.classes%257D.jscc.classes.State.html">jscc.classes.State</a></li></ul><h3>Namespaces</h3><ul><li><a href="jscc.debug.html">debug</a></li></ul><h3>Interfaces</h3><ul><li><a href="jscc.bitset.html">bitset</a></li><li><a href="jscc.io.html">io</a></li><li><a href="jscc.log.html">log</a></li></ul><h3><a href="global.html">Global</a></h3>
</nav>
<br class="clear">
<footer>
Documentation generated by <a href="https://github.com/jsdoc3/jsdoc">JSDoc 3.4.0</a> on Mon Aug 01 2016 11:09:19 GMT-0500 (Central Daylight Time)
</footer>
<script> prettyPrint(); </script>
<script src="scripts/linenumber.js"> </script>
</body>
</html>