minibar: improve pgf_online.js

pgf_online.js has been simplified and generalized to support the full
GF Web Service API. The changes are backwards incompatible, unfortunately.
The documentation and minibar.js have been updated accordingly.

1 files changed, 15 insertions, 15 deletions

diff --git a/src/runtime/javascript/minibar/pgf_online.js b/src/runtime/javascript/minibar/pgf_online.js
index 65c9fd5ee..2f46032e3 100644
--- a/src/runtime/javascript/minibar/pgf_online.js
+++ b/src/runtime/javascript/minibar/pgf_online.js
@@ -24,27 +24,27 @@ function pgf_online(options) {
 	    http_get_json(url,cont);
 	},
 	
-	get_languages: function(cont) {
-	    this.pgf_call("grammar",{},cont);
-	},
+	get_languages: function(cont) { this.pgf_call("grammar",{},cont); },
+	grammar_info: function(cont) { this.pgf_call("grammar",{},cont); },
 	
-	get_random: function(cont) { // cat, limit
-	    this.pgf_call("random",{random:Math.random()},cont);
+	get_random: function(args,cont) { // cat, limit
+	    args.random=Math.random(); // side effect!!
+	    this.pgf_call("random",args,cont);
 	},
-	linearize: function(tree,to,cont) { // tree, to
-	    this.pgf_call("linearize",{tree:tree,to:to},cont);
+	linearize: function(args,cont) { // tree, to
+	    this.pgf_call("linearize",args,cont);
 	},
-	complete: function(from,input,cont) { // from, input, cat, limit
-	    this.pgf_call("complete",{from:from,input:input},cont);
+	complete: function(args,cont) { // from, input, cat, limit
+	    this.pgf_call("complete",args,cont);
 	},
-	parse: function(from,input,cont) { // from, input cat
-	    this.pgf_call("parse",{from:from,input:input},cont);
+	parse: function(args,cont) { // from, input, cat
+	    this.pgf_call("parse",args,cont);
 	},
-	translate: function(from,input,cont) { // from, input, cat, to
-	    this.pgf_call("translate",{from:from,input:input},cont);
+	translate: function(args,cont) { // from, input, cat, to
+	    this.pgf_call("translate",args,cont);
 	},
-	translategroup: function(from,input,cont) { // from, input, cat, to
-	    this.pgf_call("translategroup",{from:from,input:input},cont);
+	translategroup: function(args,cont) { // from, input, cat, to
+	    this.pgf_call("translategroup",args,cont);
 	}
 	
     };