GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

some dead code is removed in the JavaScript interpreter

Browse Source
This commit is contained in:
krasimir
2010-01-04 13:47:58 +00:00
parent a73a64534e
commit f0e6b15ec4
1 changed files with 0 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/runtime/javascript/gflib.js
View File

@@ -543,9 +543,6 @@ Arg.prototype.show = function () {
argStr.push(this.i, this.label); argStr.push(this.i, this.label);
return argStr.join("."); return argStr.join(".");
}; };
Arg.prototype.isEqual = function (obj) {
return (this.id == obj.id && this.i == obj.i && this.label == obj.label);
}
// Object to represent terminals in grammar rules // Object to represent terminals in grammar rules
function KS() { function KS() {
@@ -558,9 +555,6 @@ KS.prototype.show = function () {
terminalStr.push('"', this.tokens, '"'); terminalStr.push('"', this.tokens, '"');
return terminalStr.join(""); return terminalStr.join("");
}; };
KS.prototype.isEqual = function (obj) {
return (this.id == obj.id && this.str == obj.str);
}
// Object to represent pre in grammar rules // Object to represent pre in grammar rules
function KP(tokens,alts) { function KP(tokens,alts) {
@@ -574,9 +568,6 @@ KP.prototype.show = function () {
terminalStr.push('"', this.tokens, '"'); terminalStr.push('"', this.tokens, '"');
return terminalStr.join(""); return terminalStr.join("");
}; };
KP.prototype.isEqual = function (obj) {
return (this.id == obj.id && this.str == obj.str);
}
function Alt(tokens, prefixes) { function Alt(tokens, prefixes) {
this.tokens = tokens; this.tokens = tokens;
@@ -595,9 +586,6 @@ Lit.prototype.show = function () {
argStr.push(this.i, this.label); argStr.push(this.i, this.label);
return argStr.join("."); return argStr.join(".");
}; };
Lit.prototype.isEqual = function (obj) {
return (this.id == obj.id && this.i == obj.i && this.label == obj.label);
}
// Parsing // Parsing