Mercurial > repos > tabletprog

changeset 6:554602d4cbc6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Javascript compiler backend
author Mike Pavone <pavone@retrodev.com>
date Wed, 21 Mar 2012 08:42:12 -0700
parents ed5b563147ec
children 8af72f11714e
files parser.js testparse.html
diffstat 2 files changed, 253 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/parser.js	Mon Mar 19 23:06:07 2012 -0700
+++ b/parser.js	Wed Mar 21 08:42:12 2012 -0700
@@ -1,3 +1,103 @@
+var mainModule;
+function toobj(val)
+{
+	switch(typeof val)
+	{
+	case 'boolean':
+		if(val) {
+			return mainModule.strue;
+		} else {
+			return mainModule.sfalse;
+		}
+	case 'number':
+		return mainModule.snumber(val);
+	}
+	throw new Error("can't make val into object");
+}
+
+function indent(str)
+{
+	return str.split('\n').join('\n\t');
+}
+
+function osymbols(parent)
+{
+	this.parent = parent;
+	this.names = {};
+	this.lastname = null;
+}
+osymbols.prototype.find = function(name) {
+	if (name in this.names) {
+		return {
+			type: 'self',
+			def: this.names[name],
+		};
+	} else if(this.parent) {
+		var ret = this.parent.find(name);
+		if (ret) {
+			if(ret.type == 'self') {
+				ret.type = 'parent';
+				ret.depth = 1;
+			} else if(ret.type == 'parent') {
+				ret.depth++;
+			}
+		}
+		return ret;
+	}
+	return null;
+};
+osymbols.prototype.defineMsg = function(name, def) {
+	this.lastname = name;
+	this.names[name] = def;
+}
+osymbols.prototype.parentObject = function() {
+	if (!this.parent) {
+		return 'null';
+	}
+	return 'this';
+}
+
+function lsymbols(parent)
+{
+	this.parent = parent;
+	this.names = {};
+	this.lastname = null;
+	this.needsSelfVar = false;
+}
+lsymbols.prototype.find = function(name) {
+	if (name in this.names) {
+		return {
+			type: 'local',
+			def: this.names[name]
+		};
+	} else if(this.parent) {
+		var ret = this.parent.find(name);
+		if (ret && ret.type == 'local') {
+			ret.type = 'upvar';
+		}
+		return ret;
+	}
+	return null;
+};
+lsymbols.prototype.defineVar = function(name, def) {
+	this.lastname = name;
+	this.names[name] = def;
+};
+lsymbols.prototype.selfVar = function() {
+	if (this.parent && this.parent instanceof lsymbols) {
+		this.parent.needsSelf();
+		return 'self';
+	} else {
+		return 'this';
+	}
+};
+lsymbols.prototype.needsSelf = function() {
+	if (this.parent && this.parent instanceof lsymbols) {
+		this.parent.needsSelf();
+	} else {
+		this.needsSelfVar = true;
+	}
+};
 
 function op(left, op, right)
 {
@@ -5,26 +105,49 @@
 	this.op = op;
 	this.right = right;
 }
+op.prototype.toJS = function(symbols, isReceiver) {
+	var ret = '(' + this.left.toJS(symbols) +' '+ (this.op == '=' ? '==' : this.op) +' '+ this.right.toJS(symbols) + ')';
+	if (isReceiver) {
+		ret = 'toobj' + ret;
+	}
+	return ret;
+};
 
 function symbol(name)
 {
 	this.name = name;
 }
+symbol.prototype.toJS = function(symbols) {
+	var name = this.cleanName();
+	return name == 'self' ? symbols.selfVar() : 's' + name.replace("_", "UN_").replace(":", "CN_").replace("!", "EX_").replace('?', 'QS_').replace('@', 'AT_');
+}
+symbol.prototype.cleanName = function() {
+	return this.name[0] == ':' ? this.name.substr(1) : this.name;
+}
 
 function intlit(val)
 {
 	this.val = val;
 }
+intlit.prototype.toJS = function(symbols) {
+	return this.val.toString();
+}
 
 function floatlit(val)
 {
 	this.val = val;
 }
+floatlit.prototype.toJS = function(symbols) {
+	return this.val.toString();
+}
 
 function strlit(val)
 {
 	this.val = val;
 }
+strlit.prototype.toJS = function(symbols) {
+	return '"' + this.val.replace('\\', '\\\\').replace('"', '\\"').replace('\n', '\\n').replace('\r', '\\r') + '"';
+}
 
 function funcall(name, args)
 {
@@ -32,23 +155,121 @@
 	this.args = args;
 	this.receiver = null;
 }
+funcall.prototype.toJS = function(symbols) {
+	var name = this.name[this.name.length-1] == ':' ? this.name.substr(0, this.name.length-1) : this.name;
+	var args = this.args.slice(0, this.args.length);
+	if (this.receiver) {
+		args.splice(0, 0, this.receiver);
+	}
+	var funinfo = symbols.find(name);
+	if (!funinfo) {
+		var receiver = args[0];
+		args.splice(0, 1);
+		for (var i in args) {
+			args[i] = args[i].toJS(symbols);
+		}
+		return receiver.toJS(symbols, true) + '.' + (new symbol(name)).toJS(symbols) + '(' + args.join(', ') + ')';
+	}
+	switch(funinfo.type)
+	{
+	case 'self':
+		if (args.length < funinfo.def.args.length || funinfo.def.args[0].name != 'self') {
+			var receiver = new symbol('self');
+		} else {
+			var receiver = args[0];
+			args.splice(0, 1);
+		}
+		for (var i in args) {
+			args[i] = args[i].toJS(symbols);
+		}
+		return receiver.toJS(symbols, true) + '.' + (new symbol(name)).toJS(symbols) + '(' + args.join(', ') + ')';
+	case 'parent':
+		var ret = 'this';
+		for (var i = 0; i < funinfo.depth; ++i) {
+			ret += '.parent';
+		}
+		ret += (new symbol(name)).toJS(symbols) + '(' + args.join(', ') + ')';
+		return ret;
+	case 'local':
+	case 'upvar':
+		return (new symbol(name)).toJS(symbols) + '(' + args.join(', ') + ')';
+	}
+}
 
 function object(messages)
 {
 	this.messages = messages;
 }
+object.prototype.toJS = function(symbols) {
+	var messages = this.messages.slice(0, this.messages.length);
+	symbols = new osymbols(symbols);
+	for (var i in messages) {
+		messages[i] = indent(messages[i].toJSObject(symbols));
+	}
+	return '{\n\tparent: ' + symbols.parentObject() + ',\n\t' + messages.join(',\n\t') + '\n}';
+}
+
+object.prototype.toJSModule = function() {
+	return '(function () {\n\tvar module = ' + indent(this.toJS(null)) + ';\n\treturn module;\n})'
+}
 
 function lambda(args, expressions)
 {
 	this.args = args;
 	this.expressions = expressions;
 }
+lambda.prototype.toJS = function(symbols) {
+	var args = this.args ? this.args.slice(0, this.args.length) : [];
+	if (args.length && args[0].cleanName() == 'self') {
+		args.splice(0, 1);
+	}
+	var exprs = this.expressions.slice(0, this.expressions.length);
+	symbols = new lsymbols(symbols);
+	for (var i in args) {
+		symbols.defineVar(args[i].cleanName(), null);
+		args[i] = args[i].toJS(symbols);
+	}
+	for (var i in exprs) {
+		exprs[i] = indent(exprs[i].toJS(symbols));
+	}
+	if (exprs.length) {
+		exprs[exprs.length-1] = 'return ' + exprs[exprs.length-1] + ';';
+	}
+	return 'function (' + args.join(', ') + ') {\n\t' + (symbols.needsSelfVar ? 'var self = this;\n\t' : '') + exprs.join(';\n\t') + '\n}'
+};
+lambda.prototype.toJSModule = lambda.prototype.toJS
 
 function assignment(sym, expr)
 {
 	this.symbol = sym;
 	this.expression = expr;
 }
+assignment.prototype.toJS = function(symbols) {
+	var existing = symbols.find(this.symbol.name);
+	var prefix = '';
+	if (!existing) {
+		symbols.defineVar(this.symbol.name, this.expression);
+		prefix =  'var ';
+	} else {
+		switch (existing.type)
+		{
+		case 'self':
+			prefix = 'this.';
+			break;
+		case 'parent':
+			prefix = 'this.';
+			for (var i = 0; i < existing.depth; ++i) {
+				prefix += 'parent.';
+			}
+			break;
+		}
+	}
+	return prefix + this.symbol.toJS(symbols) + ' = ' + this.expression.toJS(symbols);
+};
+assignment.prototype.toJSObject = function(symbols) {
+	symbols.defineMsg(this.symbol.name, this.expression);
+	return this.symbol.toJS(symbols) + ': ' + this.expression.toJS(symbols);
+};
 
 var grammar = 
 'start = ws module:(object / lambda) ws { return module; };' +
@@ -59,7 +280,7 @@
 'addsub = left:muldiv hws opn:("+"/"-") hws right:addsub { return new op(left, opn, right); } / muldiv;'+
 'muldiv = left:primlitsym hws opn:("*"/"/") hws right:muldiv { return new op(left, opn, right); } / primlitsym;'+
 'primlitsym = hws val:(float / int / string / symbol / object / lambda / "(" expr:expr hws ")" { return expr; }) { return val; };' +
-'symbol = chars:[a-zA-Z_!?@]+ trailing:(":"? [a-zA-Z_!?@0-9])* ! ":" { return new symbol(chars.join("") + trailing.join("")); };' +
+'symbol = chars:[a-zA-Z_!?@]+ trailing:(":"? [a-zA-Z_!?@0-9])* ! ":" { for (var i in trailing) { trailing[i] = trailing[i].join(""); } return new symbol(chars.join("") + trailing.join("")); };' +
 'float = digits:[0-9]+ "." decimals:[0-9]+ { return new floatlit(parseFloat(digits.join("") + "." + decimals.join(""))); };' +
 'int = digits:[0-9]+ { return new intlit(parseInt(digits.join(""), 10)); };' +
 'string = "\\"" text:[^\\"]* "\\"" { return new strlit(text.join("")); };' +
@@ -72,21 +293,42 @@
 'funpart = chars:[a-zA-Z_!?@]+ middle:[a-zA-Z_!?@0-9]* ":" & [ \\t\\n\\r] { return chars.join("") + middle.join("") + ":"; };' +
 'methcall = receiver:opexpr hws info:methcallrest { info.receiver = receiver; return info; };' +
 'methcallrest = funcall / unarymeth;' +
-'unarymeth = name:symbol { return new funcall(name, []); };';
+'unarymeth = name:symbol { return new funcall(name.name, []); };';
 var parser = PEG.buildParser(grammar);
 
 //var parser = PEG.buildParser('start = expr; expr = int; int = digits:[0-9]+ { return parseInt(digits.join(""), 10); }');
-
 onReady(function() {
-	q('input[type=button]').onclick = function() {
+	q('#parse').onclick = function() {
 		var text = q('textarea').value;
 		try {
 			var parsed = parser.parse(text);
-			q('div').innerHTML = text + "<br><br>" + JSON.stringify(parsed);
+			q('pre').innerHTML = text + "\n\n" + JSON.stringify(parsed);
 			console.log(parsed);
 		} catch(e) {
-			q('div').innerHTML = e.message + '<br>Line: ' + e.line + '<br>Col: ' + e.column;
+			q('pre').innerHTML = e.message + '\nLine: ' + e.line + '\nCol: ' + e.column;
 		}
 	}
+	q('#tojs').onclick = function() {
+		var text = q('textarea').value;
+		//try {
+			var parsed = parser.parse(text);
+			var js = parsed.toJSModule();
+			q('pre').innerHTML = js;
+			console.log(parsed);
+		/*} catch(e) {
+			q('pre').innerHTML = e.message + '\nLine: ' + e.line + '\nCol: ' + e.column;
+		}*/
+	}
+	q('#run').onclick = function() {
+		var text = q('textarea').value;
+		//try {
+			var parsed = parser.parse(text);
+			var js = parsed.toJSModule();
+			mainModule = eval(js)();
+			q('pre').innerHTML = mainModule.smain();
+		/*} catch(e) {
+			q('pre').innerHTML = e.message + '\nLine: ' + e.line + '\nCol: ' + e.column;
+		}*/
+	}
 });
 
--- a/testparse.html	Mon Mar 19 23:06:07 2012 -0700
+++ b/testparse.html	Wed Mar 21 08:42:12 2012 -0700
@@ -8,8 +8,10 @@
 </head>
 <body style="height: 100%">
 	<textarea style="width: 90%; height: 50%; display: block; margin: 0 auto;"></textarea>
-	<input type="button" value="Parse!" style="width: 90%;display: block; margin: 0 auto;">
-	<div>
-	</div>
+	<input id="parse" type="button" value="Parse!" style="width: 90%;display: block; margin: 0 auto;">
+	<input id="tojs" type="button" value="To Javascript!" style="width: 90%;display: block; margin: 0 auto;">
+	<input id="run" type="button" value="Run!" style="width: 90%;display: block; margin: 0 auto;">
+	<pre>
+	</pre>
 </body>
 </html>