Updated JS editor to the latest version from Moises.

This commit is contained in:
bjorn
2008-09-09 09:32:32 +00:00
parent b3af35a88e
commit af2dbf293a
6 changed files with 346 additions and 336 deletions

View File

@@ -187,12 +187,6 @@ Int.prototype.setTag = function(tag) { if (!this.tag) { this.tag = tag; } };
/* Type annotation */
/*
function Abstract(startcat) {
this.types = new Array();
this.startcat = startcat;
}
*/
function GFAbstract(startcat, types) {
this.startcat = startcat;
this.types = types;
@@ -275,15 +269,9 @@ function Type(args, cat) {
}
/* Linearization */
/*
function Concrete(abstr) {
this.abstr = abstr;
this.rules = new Array();
this.parser = undefined;
}
*/
function GFConcrete(flags, rules, parser) {
this.flags = flags;
this.flags = flags;
this.rules = rules;
if (parser) {
this.parser = parser;
@@ -761,7 +749,7 @@ function rangeConcatLin (lin1, lin2) {
return undefined;
}
// Performs range concatenation on a linarization row
// Performs range concatenation on a linearization row
function rangeConcatLins (lins) {
var newLins = new Array();
newLins.push(lins.shift());
@@ -779,7 +767,7 @@ function rangeConcatLins (lins) {
return newLins;
}
// Performs range restriction on an element of a linarization row
// Performs range restriction on an element of a linearization row
// while keeping track of the tokens that have been used
function rangeRestLinTerm(tokens, lin, rangesNotConsumed) {
if (lin.id == "argProj") { return new Array(lin); }