/* --- GF wide coverage translation interface ------------------------------- */ var gftranslate = {} gftranslate.jsonurl="/robust/App14.pgf" gftranslate.grammar="App" // the name of the grammar gftranslate.documented_classes= ["N", "N2", "N3", "A", "A2", "V", "V2", "VV", "VS", "VQ", "VA", "V3", "V2V", "V2S", "V2Q", "V2A", "Adv", "Prep"] gftranslate.call=function(querystring,cont,errcont) { http_get_json(gftranslate.jsonurl+querystring,cont,errcont) } function enc_langs(g,to) { return Array.isArray(to) ? to.map(function(l){return g+l}).join("+") : g+to } function unspace_translations(g,trans) { var langs=[g+"Chi",g+"Jpn",g+"Tha"] for(var i=0;i {quality:String, text:String} function trans_text_quality(text) { var quality="default_quality" switch(text[0]) { case '+': text=text.substr(1).trimLeft(); quality="high_quality"; break; case '*': text=text.substr(1).trimLeft(); quality="low_quality"; break; } return {quality:quality,text:text} } // find_to :: Lang -> [{to:Lang,...}] -> Int function find_to(to,lins) { for(var i=0;i