diff options
Diffstat (limited to 'src/runtime/javascript/minibar/minibar.js')
| -rw-r--r-- | src/runtime/javascript/minibar/minibar.js | 222 |
1 files changed, 222 insertions, 0 deletions
diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js new file mode 100644 index 000000000..39d741bbd --- /dev/null +++ b/src/runtime/javascript/minibar/minibar.js @@ -0,0 +1,222 @@ + +var server="http://www.grammaticalframework.org:41296" +//var server="http://tournesol.cs.chalmers.se:41296"; +//var server="http://localhost:41296"; +var grammars_url=server+"/grammars/"; +var current_grammar_url=grammars_url+"Foods.pgf"; + +var tree_icon=server+"/translate/se.chalmers.cs.gf.gwt.TranslateApp/tree-btn.png"; + +function start_minibar() { + var minibar=element("minibar"); + minibar.appendChild(div_id("menubar")); + minibar.appendChild(div_id("surface")); + minibar.appendChild(div_id("words")); + minibar.appendChild(div_id("translations")); + jsonp(grammars_url+"grammars.cgi",""); // calls show_grammarlist +} + +function show_grammarlist(grammars) { + var menu=empty("select"); + for(var i=0;i<grammars.length;i++) { + var opt=empty("option"); + opt.setAttribute("value",grammars[i]); + opt.innerHTML=grammars[i]; + menu.appendChild(opt); + } + menu.setAttribute("onchange","new_grammar(this)"); + var menubar=element("menubar"); + menubar.innerHTML="Grammar: "; + menubar.appendChild(menu); + menubar.appendChild(text(" Input language: ")); + menubar.appendChild(empty_id("select","language_menu")); + menubar.appendChild(button("Clear","clear_all()")); + menubar.appendChild(button("⌫","delete_last()")); + menubar.appendChild(button("Random","generate_random()")); + select_grammar(grammars[0]); +} + +function new_grammar(menu) { + select_grammar(menu.options[menu.selectedIndex].value); +} + +function select_grammar(grammar_name) { + current_grammar_url=grammars_url+grammar_name; + jsonp(current_grammar_url,"show_languages"); +} + +function show_languages(grammar) { + var r=""; + var lang=grammar.languages; + var menu=element("language_menu"); + menu.setAttribute("onchange","new_language(this)"); + menu.grammar=grammar; + menu.innerHTML=""; + for(var i=0; i<lang.length; i++) { + if(lang[i].canParse) { + var opt=empty("option"); + opt.setAttribute("value",""+i); + opt.innerHTML=lang[i].name; + menu.appendChild(opt); + } + } + new_language(menu); +} + +function new_language(menu) { + var ix=menu.options[menu.selectedIndex].value; + var langname=menu.grammar.languages[ix].name; + menu.current={from: langname, input: ""}; + clear_all(); +} + +function clear_all1() { + var menu=element("language_menu"); + menu.current.input=""; + menu.previous=null; + element("surface").innerHTML=""; + element("translations").innerHTML=""; + return menu; +} + +function clear_all() { + get_completions(clear_all1()); +} + +function delete_last() { + var menu=element("language_menu"); + if(menu.previous) { + menu.current.input=menu.previous.input; + menu.previous=menu.previous.previous; + var s=element("surface"); + s.removeChild(s.lastChild); + element("translations").innerHTML=""; + get_completions(menu); + } +} + +function generate_random() { + jsonp(current_grammar_url+"?command=random&random="+Math.random(),"lin_random"); + +} + +function lin_random(abs) { + var menu=element("language_menu"); + var lang=menu.current.from; + jsonp(current_grammar_url+"?command=linearize&tree="+encodeURIComponent(abs[0].tree) + +"&to="+lang, + "show_random") + +} + +function show_random(random) { + var menu=clear_all1(); + var words=random[0].text.split(" "); + for(var i=0;i<words.length;i++) + add_word1(menu,words[i]+" "); + element("words").innerHTML="..."; + get_completions(menu); +} + +function get_completions(menu) { + var c=menu.current; + jsonp(current_grammar_url + +"?command=complete" + +"&from="+encodeURIComponent(c.from) + +"&input="+encodeURIComponent(c.input), + "show_completions"); +} + +function word(s) { + var w=div_class("word",text(s)); + w.setAttribute("onclick",'add_word("'+s+'")'); + return w; +} + +function add_word1(menu,s) { + menu.previous={ input: menu.current.input, previous: menu.previous }; + menu.current.input+=s; + element("surface").appendChild(span_class("word",text(s))); +} + +function add_word(s) { + var menu=element("language_menu"); + add_word1(menu,s); + element("words").innerHTML="..."; + get_completions(menu); +} + +function show_completions(completions) { + var box=element("words"); + var menu=element("language_menu"); + var prefixlen=menu.current.input.length; + var emptycnt=0; + box.innerHTML=""; + for(var i=0;i<completions.length;i++) { + var s=completions[i].text.substring(prefixlen); + if(s.length>0) box.appendChild(word(s)); + else emptycnt++; + } + if(emptycnt>0) + //setTimeout(function(){get_translations(menu);},200); + get_translations(menu); +} + +function get_translations(menu) { + jsonp(current_grammar_url + +"?command=translate" + +"&from="+encodeURIComponent(menu.current.from) + +"&input="+encodeURIComponent(menu.current.input), + "show_translations") +} + +function show_translations(translations) { + var trans=element("translations"); + var cnt=translations.length; + trans.innerHTML=""; + trans.appendChild(wrap("h3",text(cnt<1 ? "No translations?" : + cnt>1 ? ""+cnt+" translations:": + "One translation:"))); + for(p=0;p<cnt;p++) { + var t=translations[p]; + var lin=t.linearizations; + var tbody=empty("tbody"); + if(t.tree) + tbody.appendChild(tr([th(text("Abstract: ")), + tda([abstree_button(t.tree),text(" "+t.tree)])])); + for(var i=0;i<lin.length;i++) + tbody.appendChild(tr([th(text(lin[i].to+": ")), + tda([parsetree_button(t.tree,lin[i].to),text(lin[i].text)])])); + trans.appendChild(wrap("table",tbody)); + } +} + +function abstree_button(abs) { + var i=img(tree_icon); + i.setAttribute("onclick","toggle_img(this)"); + i.other=current_grammar_url+"?command=abstrtree&tree="+encodeURIComponent(abs); + return i; +} + +function parsetree_button(abs,lang) { + var i=img(tree_icon); + i.setAttribute("onclick","toggle_img(this)"); + i.other=current_grammar_url + +"?command=parsetree&from="+lang+"&tree="+encodeURIComponent(abs); + return i; +} + +function toggle_img(i) { + var tmp=i.src; + i.src=i.other; + i.other=tmp; +} + + +/* +se.chalmers.cs.gf.gwt.TranslateApp/align-btn.png + +GET /grammars/Foods.pgf?&command=abstrtree&tree=Pred+(This+Fish)+(Very+Fresh) +GET /grammars/Foods.pgf?&command=parsetree&tree=Pred+(This+Fish)+Expensive&from=FoodsAfr +GET /grammars/Foods.pgf?&command=alignment&tree=Pred+(This+Fish)+Expensive +*/ |