forked from GitHub/gf-core
928c80e8a0
1. The text input field is shown form the start, no need to click. 2. The text input field is removed when no more words can be added to the sentence. 3. When you press Enter, a word is added to the sentence (1) if there is only one possible completion left (e.g. if you typed "airp" and the only completion is "airport"), or (2) if what you typed exactly matches one of the completions (e.g. if you typed "the" and the completions are "the", "theatre" and "these").
394 lines
11 KiB
JavaScript
394 lines
11 KiB
JavaScript
// minibar.js, assumes that support.js has also been loaded
|
|
|
|
/* --- Configuration -------------------------------------------------------- */
|
|
|
|
|
|
var default_server="http://www.grammaticalframework.org:41296"
|
|
var tree_icon=default_server+"/translate/se.chalmers.cs.gf.gwt.TranslateApp/tree-btn.png";
|
|
|
|
// default values for options:
|
|
var options={
|
|
server: default_server,
|
|
grammars_url: null, // if left null, start_minibar() fills in server+"/grammars/"
|
|
grammar_list: null, // if left null, start_minibar() will fetch a list from the server
|
|
show_abstract: false,
|
|
show_trees: false,
|
|
show_grouped_translations: true,
|
|
delete_button_text: "⌫",
|
|
}
|
|
|
|
/* --- Grammar access object ------------------------------------------------ */
|
|
|
|
var server = {
|
|
// State variables (private):
|
|
current_grammar_url: options.grammars_url+"Foods.pgf",
|
|
// Methods:
|
|
switch_grammar: function(grammar_name) {
|
|
this.current_grammar_url=options.grammars_url+grammar_name;
|
|
},
|
|
|
|
get_grammarlist: function(cont_name) {
|
|
jsonp(options.grammars_url+"grammars.cgi",cont_name);
|
|
},
|
|
get_languages: function(cont_name) {
|
|
jsonp(this.current_grammar_url,cont_name);
|
|
},
|
|
get_random: function(cont_name) {
|
|
jsonp(this.current_grammar_url+"?command=random&random="+Math.random(),cont_name);
|
|
},
|
|
linearize: function(tree,to,cont_name) {
|
|
jsonp(this.current_grammar_url+"?command=linearize&tree="
|
|
+encodeURIComponent(tree)+"&to="+to,cont_name)
|
|
},
|
|
complete: function(from,input,cont_name) {
|
|
jsonp(this.current_grammar_url
|
|
+"?command=complete"
|
|
+"&from="+encodeURIComponent(from)
|
|
+"&input="+encodeURIComponent(input),
|
|
cont_name);
|
|
|
|
},
|
|
translate: function(from,input,cont_name) {
|
|
jsonp(this.current_grammar_url
|
|
+"?command=translate"
|
|
+"&from="+encodeURIComponent(from)
|
|
+"&input="+encodeURIComponent(input),
|
|
cont_name)
|
|
},
|
|
translategroup: function(from,input,cont_name) {
|
|
jsonp(this.current_grammar_url
|
|
+"?command=translategroup"
|
|
+"&from="+encodeURIComponent(from)
|
|
+"&input="+encodeURIComponent(input),
|
|
cont_name)
|
|
}
|
|
|
|
};
|
|
|
|
/* --- Initialisation ------------------------------------------------------- */
|
|
|
|
function start_minibar(opts) { // typically called when the HTML document is loaded
|
|
if(opts) for(var o in opts) options[o]=opts[o];
|
|
var surface=div_id("surface");
|
|
//surface.setAttribute("onclick","add_typed_input(this)");
|
|
appendChildren(element("minibar"),
|
|
[div_id("menubar"),
|
|
surface,
|
|
div_id("words"),
|
|
div_id("translations")]);
|
|
if(!options.grammars_url) options.grammars_url=options.server+"/grammars/";
|
|
if(options.grammar_list) show_grammarlist(options.grammar_list)
|
|
else server.get_grammarlist("show_grammarlist");
|
|
}
|
|
|
|
|
|
/* --- Functions ------------------------------------------------------------ */
|
|
|
|
function show_grammarlist(grammars) {
|
|
var menubar=element("menubar");
|
|
menubar.innerHTML="";
|
|
if(grammars.length>1) {
|
|
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)");
|
|
menubar.innerHTML="Grammar: ";
|
|
menubar.appendChild(menu);
|
|
}
|
|
appendChildren(menubar,
|
|
[text(" From: "), empty_id("select","language_menu"),
|
|
text(" To: "), empty_id("select","to_menu"),
|
|
button(options.delete_button_text,"delete_last()"),
|
|
button("Clear","clear_all()"),
|
|
button("Random","generate_random()")]);
|
|
select_grammar(grammars[0]);
|
|
}
|
|
|
|
function new_grammar(menu) {
|
|
select_grammar(menu.options[menu.selectedIndex].value);
|
|
}
|
|
|
|
function select_grammar(grammar_name) {
|
|
server.switch_grammar(grammar_name);
|
|
server.get_languages("show_languages");
|
|
}
|
|
|
|
function langpart(conc,abs) { // langpart("FoodsEng","Food") == "Eng"
|
|
return hasPrefix(conc,abs) ? conc.substr(abs.length) : conc;
|
|
}
|
|
|
|
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 && !hasPrefix(lang[i].name,"Disamb"))
|
|
menu.appendChild(option(langpart(lang[i].name,grammar.name),""+i));
|
|
|
|
var to=element("to_menu");
|
|
to.langmenu=menu;
|
|
to.setAttribute("onchange","change_tolang(this)");
|
|
to.innerHMTL="";
|
|
to.appendChild(option("All","-1"));
|
|
for(var i=0; i<lang.length; i++)
|
|
if(!hasPrefix(lang[i].name,"Disamb"))
|
|
to.appendChild(option(langpart(lang[i].name,grammar.name),lang[i].name));
|
|
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 change_tolang(to_menu) {
|
|
get_translations(to_menu.langmenu)
|
|
}
|
|
|
|
function clear_all1() {
|
|
var menu=element("language_menu");
|
|
menu.current.input="";
|
|
menu.previous=null;
|
|
var surface=element("surface");
|
|
surface.innerHTML="";
|
|
surface.typed=null;
|
|
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");
|
|
if(s.typed) {
|
|
s.removeChild(s.typed.previousSibling);
|
|
s.typed.focus();
|
|
}
|
|
else
|
|
s.removeChild(s.lastChild);
|
|
element("translations").innerHTML="";
|
|
get_completions(menu);
|
|
}
|
|
}
|
|
|
|
function add_typed_input(surface) {
|
|
if(surface.typed)
|
|
inp=surface.typed;
|
|
else {
|
|
var inp=empty("input","type","text");
|
|
//inp.setAttribute("onclick","return false;"); // Don't propagate click to surface
|
|
inp.setAttribute("onkeyup","complete_typed(this)");
|
|
inp.setAttribute("onchange","finish_typed(this)");
|
|
surface.appendChild(inp);
|
|
surface.typed=inp;
|
|
}
|
|
inp.focus();
|
|
}
|
|
|
|
function remove_typed_input(surface) {
|
|
if(surface.typed) {
|
|
surface.typed.parentNode.removeChild(surface.typed);
|
|
surface.typed=null;
|
|
}
|
|
}
|
|
|
|
function complete_typed(inp) {
|
|
var menu=element("language_menu");
|
|
var c=menu.current;
|
|
if(!inp.completing || inp.completing!=inp.value) {
|
|
inp.completing=inp.value;
|
|
server.complete(c.from,c.input+inp.value,"show_completions");
|
|
}
|
|
}
|
|
|
|
function finish_typed(inp) {
|
|
//alert("finish_typed "+inp.value);
|
|
var box=element("words");
|
|
var w=inp.value+" ";
|
|
if(box.completions.length==1)
|
|
add_word(box.completions[0]);
|
|
else if(elem(w,box.completions))
|
|
add_word(w);
|
|
}
|
|
|
|
function generate_random() {
|
|
server.get_random("lin_random");
|
|
}
|
|
|
|
function lin_random(abs) {
|
|
var menu=element("language_menu");
|
|
var lang=menu.current.from;
|
|
server.linearize(abs[0].tree,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;
|
|
server.complete(c.from,c.input,"show_completions");
|
|
}
|
|
|
|
function word(s) {
|
|
//var w=div_class("word",text(s));
|
|
//w.setAttribute("onclick",'add_word("'+s+'")');
|
|
//return w;
|
|
return button(s,'add_word("'+s+'")');
|
|
}
|
|
|
|
function add_word1(menu,s) {
|
|
menu.previous={ input: menu.current.input, previous: menu.previous };
|
|
menu.current.input+=s;
|
|
var w=span_class("word",text(s));
|
|
var surface=element("surface");
|
|
if(surface.typed) {
|
|
surface.typed.value="";
|
|
surface.insertBefore(w,surface.typed);
|
|
}
|
|
else
|
|
surface.appendChild(w);
|
|
}
|
|
|
|
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="";
|
|
box.completions=[];
|
|
for(var i=0;i<completions.length;i++) {
|
|
var s=completions[i].text.substring(prefixlen);
|
|
box.completions[i]=s;
|
|
if(s.length>0) box.appendChild(word(s));
|
|
else emptycnt++;
|
|
}
|
|
if(emptycnt>0)
|
|
//setTimeout(function(){get_translations(menu);},200);
|
|
get_translations(menu);
|
|
var surface=element("surface");
|
|
if(surface.typed && emptycnt==completions.length) {
|
|
if(surface.typed.value=="") remove_typed_input(surface);
|
|
}
|
|
else add_typed_input(surface);
|
|
}
|
|
|
|
function get_translations(menu) {
|
|
var c=menu.current;
|
|
if(options.show_grouped_translations)
|
|
server.translategroup(c.from,c.input,"show_groupedtranslations");
|
|
else
|
|
server.translate(c.from,c.input,"show_translations");
|
|
}
|
|
|
|
function tdt(tree_btn,txt) {
|
|
return options.show_trees ? tda([tree_btn,txt]) : td(txt);
|
|
}
|
|
|
|
function show_translations(translations) {
|
|
var trans=element("translations");
|
|
var grammar=element("language_menu").grammar;
|
|
var to_menu=element("to_menu");
|
|
var to=to_menu.options[to_menu.selectedIndex].value
|
|
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(options.show_abstract && t.tree)
|
|
tbody.appendChild(tr([th(text("Abstract: ")),
|
|
tdt(abstree_button(t.tree),text(" "+t.tree))]));
|
|
for(var i=0;i<lin.length;i++)
|
|
if(to=="-1" || lin[i].to==to)
|
|
tbody.appendChild(tr([th(text(langpart(lin[i].to,grammar.name)+": ")),
|
|
tdt(parsetree_button(t.tree,lin[i].to),
|
|
text(lin[i].text))]));
|
|
trans.appendChild(wrap("table",tbody));
|
|
}
|
|
}
|
|
|
|
function show_groupedtranslations(translations) {
|
|
var trans=element("translations");
|
|
var grammar=element("language_menu").grammar;
|
|
var to_menu=element("to_menu");
|
|
var to=langpart(to_menu.options[to_menu.selectedIndex].value,grammar.name);
|
|
var cnt=translations.length;
|
|
trans.innerHTML="";
|
|
for(p=0;p<cnt;p++) {
|
|
var t=translations[p];
|
|
if(to=="-1" || t.to==to) {
|
|
var lin=t.linearizations;
|
|
var tbody=empty("tbody");
|
|
if(to=="-1")
|
|
tbody.appendChild(tr([th(text(t.to+":"))]));
|
|
for(var i=0;i<lin.length;i++) {
|
|
tbody.appendChild(tr([(text(lin[i].text))]));
|
|
if (lin.length > 1) tbody.appendChild(tr([(text(lin[i].tree))]));
|
|
}
|
|
trans.appendChild(wrap("table",tbody));
|
|
}
|
|
}
|
|
}
|
|
|
|
function abstree_button(abs) {
|
|
var i=img(tree_icon);
|
|
i.setAttribute("onclick","toggle_img(this)");
|
|
i.other=server.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=server.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
|
|
*/
|