answer.js
function start(url,grammar) {
var server_options= {
grammars_url: url,
grammar_list: [grammar]
}
var server=pgf_online(server_options)
var output= node("div",{"class":"answer"},[text("...")])
var http
var answer = {
clear: function() { clear(output); },
translateFrom: function(inp) {
var txt=inp.input.join(" ")
output.innerHTML="Question: "+txt+"<br>"
function show_answer(answer) {
var txt=answer.split(",").join(", ")
if(answer!="NO PARSE")
output.appendChild(text("Answer: "+txt));
}
if(http) { http.abort(); http=null; }
http=ajax_http_get("../Ex3/answer.fcgi?from="+inp.from
+"&query="+encodeURIComponent(txt),
show_answer)
}
}
var input = new Input(server,answer,{startcat_menu:false})
var main=element("question_answer")
appendChildren(main,[input.menus,input.buttons,input.main,output])
server.switch_grammar(grammar)
server.grammar_info(function(g){input.change_grammar(g)})
}
Generated by GNU Enscript 1.6.5.90.