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