summaryrefslogtreecommitdiff
path: root/src/runtime/javascript/minibar/pgf_online.js
diff options
context:
space:
mode:
Diffstat (limited to 'src/runtime/javascript/minibar/pgf_online.js')
-rw-r--r--src/runtime/javascript/minibar/pgf_online.js30
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);
}
};