minibar: adding pgf_offline.js

This file exports the same PGF runtime interface as pgf_online.js but calls the hs2js translation of the PGF runtime library (which is not included in darcs).
2011-08-16 16:29:51 +00:00
parent 37f8db4432
commit 4cad2daa29
1 changed files with 96 additions and 0 deletions
--- a/src/runtime/javascript/minibar/pgf_offline.js
+++ b/src/runtime/javascript/minibar/pgf_offline.js
@@ -0,0 +1,96 @@
+// Assumes that Services.js has been loaded
+
+function pgf_offline(options) {
+    var server = {
+	// State variables (private):
+	grammars_url: "",
+	grammar_list: ["Foods.pgf"],
+
+	current_grammar_url: null,
+	pgf : null,
+	
+	// Methods:
+	switch_grammar: function(grammar_url,cont) {
+	    //debug("switch_grammar ");
+	    var new_grammar_url=this.grammars_url+grammar_url;
+	    var self=this;
+	    var update_pgf=function(pgfbinary) {
+		debug("Got "+new_grammar_url+", length="
+ 		 			   +pgfbinary.length+", parsing... ");
+		self.pgf = {v: Services_decodePGF.v({v:pgfbinary}) }
+		//debug("done")
+		self.current_grammar_url=new_grammar_url;
+		cont();
+	    }
+	    ajax_http_get_binary(new_grammar_url,update_pgf);
+	},
+	get_grammarlist: function(cont) { cont([this.grammar_list]); },
+	
+	get_languages: function(cont) {
+	    cont(fromJSValue(Services_grammar.v(this.pgf)))
+	},
+	grammar_info: function(cont) {
+	    cont(fromJSValue(Services_grammar.v(this.pgf)))
+	},
+
+	get_random: function(cont) {
+	    alert("Random generation not supported yet in the offline version");
+	},
+	linearize: function(args,cont) {
+	    cont(fromJSValue(Services_linearize.v(this.pgf)(v(args.tree))(v(args.to))));
+	},
+	complete: function(args,cont) {
+	    cont(fromJSValue(Services_complete.v(this.pgf)(v(args.from))(v(args.input))));
+	},
+	parse: function(args,cont) {
+	    cont(fromJSValue(Services_parse.v(this.pgf)(v(args.from))(v(args.input))));
+	},
+	translate: function(args,cont) {
+          cont(fromJSValue(Services_translate.v(this.pgf)(v(args.from))(v(args.input))));
+	},
+	translategroup: function(args,cont) {
+	    cont(fromJSValue(Services_translategroup.v(this.pgf)(v(args.from))(v(args.input))));
+	}
+    };
+    for(var o in options) server[o]=options[o];
+    return server;
+};
+
+
+
+// See https://developer.mozilla.org/En/XMLHttpRequest/Using_XMLHttpRequest
+function ajax_http_get_binary(url,callback) {
+  var http=GetXmlHttpObject()
+  if (http==null) {
+    alert ("Browser does not support HTTP Request")
+    return
+  } 
+  var statechange=function() {
+      if (http.readyState==4 || http.readyState=="complete") {
+	  if(http.status==200) {
+	      var buffer=http.mozResponseArrayBuffer;
+	      if(buffer) callback(bufferToString(buffer)) // Gecko 2 (Firefox 4)
+	      else callback(http.responseText); // other browsers
+	  }
+	  else alert("Request for "+url+" failed: "
+		     +http.status+" "+http.statusText);
+      }
+  }
+  http.onreadystatechange=statechange;
+  http.open("GET",url,true);
+  http.overrideMimeType('text/plain; charset=x-user-defined');
+  http.send(null);
+  //dump("http get "+url+"\n")
+  return http;
+}
+
+function bufferToString(buffer) {
+    // This function converts to the current representation of ByteString,
+    // but it would be better to use binary buffers for ByteStrings as well.
+    debug("bufferToString");
+    var u=new Uint8Array(buffer);
+    var a=new Array(u.length);
+    for(var i=0;i<u.length;i++)
+	a[i]=String.fromCharCode(u[i]);
+    return a.join("");
+}