msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

minibar/pgf_online.js: pass arguments to the browse function in the same way as the other functions

Browse Source 
Also document it in gf-web-api-examples.html.
This commit is contained in:
hallgren
2012-04-10 13:33:12 +00:00
parent 8b6817754b
commit 500daf3bd4
3 changed files with 15 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/www/minibar/gf-web-api-examples.html
View File

@@ -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>

2
src/www/minibar/minibar_input.js
View File

@@ -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);
}
}

5
src/www/minibar/pgf_online.js
View File

@@ -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];