-function switch_goal(meta)
-{
- goalview = document.getElementById("goalview");
- if (typeof meta == "undefined") {
- goalview.innerHTML = "";
- }
- else {
- debug("switch_goal " + meta + "\n" + goalarray[meta]);
- goalview.innerHTML = "<B>Goal ?" + meta + ":</B>\n\n" + goalarray[meta];
- }
-}
-
-String.prototype.unescapeHTML = function()
-{
- var patt1 = /<br(\/|)>/gi;
- var patt2 = /</gi;
- var patt3 = />/gi;
- var result = this;
- result = result.replace(patt1,"\n");
- result = result.replace(patt2,"<");
- result = result.replace(patt3,">");
- return (unescape(result));
-}
-
-function pause()
-{
- var advanceButton = document.getElementById("advance");
- var retractButton = document.getElementById("retract");
- advanceButton.disabled = true;
- retractButton.disabled = true;
-}
-
-function resume()
-{
- var advanceButton = document.getElementById("advance");
- var retractButton = document.getElementById("retract");
- advanceButton.disabled = false;
- retractButton.disabled = false;
-}
-
-function advanceForm1()
-{
- var req = null;
- unlocked = document.getElementById("unlocked");
- locked = document.getElementById("locked");
- goalview = document.getElementById("goalview");
- pause();
- if (window.XMLHttpRequest)
- {
- req = new XMLHttpRequest();
- }
- else if (window.ActiveXObject)
- {
- try {
- req = new ActiveXObject("Msxml2.XMLHTTP");
- } catch (e)
- {
- try {
- req = new ActiveXObject("Microsoft.XMLHTTP");
- } catch (e) {}
- }
- }
- req.onreadystatechange = function()
- {
-
- rs = req.readyState;
- stat = req.status;
- stxt = req.statusText;
-
- if(rs == 4)
- {
- if(stat == 200)
- {
- debug("advance: received response\nBEGIN\n" + req.responseText + "\nEND");
- response = req.responseText.split("@");
- len = parseInt(response[0]);
- len0 = unlocked.innerHTML.length;
- unescaped = unlocked.innerHTML.unescapeHTML();
- parsedtxt = unescaped.substr(0,len);
- unparsedtxt = unescaped.substr(len);
- locked.innerHTML = locked.innerHTML + parsedtxt;
- unlocked.innerHTML = unparsedtxt;
- len1 = unlocked.innerHTML.length;
- len = len0 - len1;
- populate_goalarray(response[1]);
- statements = listcons(len,statements);
- unlocked.scrollIntoView(true);
- }
- else
- {
- debug("advance error: returned status code " + req.status + " " + req.statusText + "\n" +
- req.responseText);
- }
- resume();
- }
- };
- req.open("POST", "advance"); // + escape(document.getElementById("unlocked").innerHTML), true);
- req.send(unlocked.innerHTML.unescapeHTML());
-
-}
-
-function retract()
-{
- var req = null;
- unlocked = document.getElementById("unlocked");
- locked = document.getElementById("locked");
- goalview = document.getElementById("goalview");
- if (window.XMLHttpRequest)
- {
- req = new XMLHttpRequest();
- }
- else if (window.ActiveXObject)
- {
- try {
- req = new ActiveXObject("Msxml2.XMLHTTP");
- } catch (e)
- {
- try {
- req = new ActiveXObject("Microsoft.XMLHTTP");
- } catch (e) {}
- }
- }
- req.onreadystatechange = function()
- {
-
- rs = req.readyState;
- stat = req.status;
- stxt = req.statusText;
-
- if(rs == 4)
- {
- if(stat == 200)
- {
- debug("retract: received response\nBEGIN\n" + req.responseText + "\nEND");
- response = req.responseText;
- statementlen = parseInt(listhd(statements));
- statements = listtl(statements);
- lockedlen = locked.innerHTML.length - statementlen;
- statement = locked.innerHTML.substr(lockedlen, statementlen);
- locked.innerHTML = locked.innerHTML.substr(0,lockedlen);
- unlocked.innerHTML = statement + unlocked.innerHTML;
- populate_goalarray(response);
- unlocked.scrollIntoView(true);
- }
- else
- {
- debug("retract error: returned status code " + req.status + " " + req.statusText + "\n" +
- req.responseText);
- }
- resume();
- }
- };
- req.open("GET", "retract"); // + escape(document.getElementById("unlocked").innerHTML), true);
- req.send();
-
-}
-
-function openFile()
-{
- unlocked = document.getElementById("unlocked");
- locked = document.getElementById("locked");
- var req = null;
- if (window.XMLHttpRequest)
- {
- req = new XMLHttpRequest();
- }
- else if (window.ActiveXObject)
- {
- try {
- req = new ActiveXObject("Msxml2.XMLHTTP");
- } catch (e)
- {
- try {
- req = new ActiveXObject("Microsoft.XMLHTTP");
- } catch (e) {}
- }
- }
- req.onreadystatechange = function()
- {
-
- rs = req.readyState;
- stat = req.status;
- stxt = req.statusText;
-
- if(rs == 4)
- {
- if(stat == 200)
- {
- locked.innerHTML = "";
- unlocked.innerHTML = req.responseText;
- }
- else
- {
- debug("open error: returned status code " + req.status + " " + req.statusText + "\n" +
- req.responseText);
- }
- }
- };
- req.open("GET", "open?file=" + escape(document.getElementById("filename").value), true);
- req.send();
-}
-
-var goalcell;