diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/www/minibar/gf-web-api-examples.html | 12 | ||||
| -rw-r--r-- | src/www/minibar/minibar_input.js | 2 | ||||
| -rw-r--r-- | src/www/minibar/pgf_online.js | 5 |
3 files changed, 15 insertions, 4 deletions
diff --git a/src/www/minibar/gf-web-api-examples.html b/src/www/minibar/gf-web-api-examples.html index 520a66070..df6db0756 100644 --- a/src/www/minibar/gf-web-api-examples.html +++ b/src/www/minibar/gf-web-api-examples.html @@ -143,10 +143,20 @@ full API. "brackets":{"cat":"_","fid":0,"index":0,"children":[{"cat":"Item","fid":7,"index":0,"children":[{"token":"that"},{"cat":"Kind","fid":6,"index":0,"children":[{"token":"pizza"}]}]},{"token":"is"},{"token":"very"}]}, "completions":["boring","delicious","expensive","fresh","Italian","very","warm"], "text":""}] + <dt class=js><em>// Get info about a category in the abstract syntax</em> + <br>server.browse({id:"Kind"},callback) + <dt>http://localhost:41296/grammars/Foods.pgf?command=browse&id=Kind&format=json + <dd>{"def":"cat Kind", + "producers":["Cheese","Fish","Mod","Pizza","Wine"], + "consumers":["Mod","That","These","This","Those"]} + <dt class=js><em>// Get info about a function in the abstract syntax</em> + <br>server.browse({id:"This"},callback) + <dt>http://localhost:41296/grammars/Foods.pgf?command=browse&id=This&format=json + <dd>{"def":"fun This : Kind -> Item","producers":[],"consumers":[]} </dl> <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Tue Oct 18 16:36:36 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Tue Apr 10 15:08:14 CEST 2012 <!-- hhmts end --> </small></div> <address><a href="http://www.cse.chalmers.se/~hallgren/">TH</a></address>
\ No newline at end of file diff --git a/src/www/minibar/minibar_input.js b/src/www/minibar/minibar_input.js index cf12ac40f..a5a169cc7 100644 --- a/src/www/minibar/minibar_input.js +++ b/src/www/minibar/minibar_input.js @@ -444,7 +444,7 @@ Input.prototype.browse=function(id,cont) { t.grammar.browse[id]=info; cont(info); } - t.server.browse(id,browsed); + t.server.browse({id:id},browsed); } } diff --git a/src/www/minibar/pgf_online.js b/src/www/minibar/pgf_online.js index 970aae062..6fe23b13e 100644 --- a/src/www/minibar/pgf_online.js +++ b/src/www/minibar/pgf_online.js @@ -68,8 +68,9 @@ function pgf_online(options) { translategroup: function(args,cont,err) { // from, input, cat, to this.pgf_call("translategroup",args,cont,err); }, - browse: function(id,cont,err) { - this.pgf_call("browse",{id:id,format:"json"},cont,err); + browse: function(args,cont,err) { // id, format + if(!args.format) args.format="json"; // sife effect!! + this.pgf_call("browse",args,cont,err); } }; for(var o in options) server[o]=options[o]; |