//#################################################################
//# Javascript Class:         EProof__SID__()
//#   Method Definition File: eproofmeth2.js
//#                
//# Author of Class:      Engelbert Niehaus                    
//# email:                niehaus@uni-landau.de                 
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//# GNU Public License - OpenSource
//# created with JavaScript Class Generator by Engelbert Niehaus 
//#################################################################
	//var Test = "$A"
	//alert("CharCode $="+Test.charCodeAt(0));
	//setTimeout("postProcessProof()",1000);
	//var s = document.getElementById("EPROOF__SID__");
	// __TEXT__AREA__ rows="10" cols="125" id="HTMLoutput" wrap="off" /__TEXT__AREA__ 
	//var s = document.getElementById("STUDENTANSWERLIST__SID__")
	//var r = document.getElementById("HTMLoutput");
	//r.value = s.innerHTML;

//---------------------------------------------------------------------
//----Attributes-------------------------------------------------------
// If you want to access the attributes of EProof__SID__, use
// the attribute name with a leading "this.", e.g.
// this.myattrib3 = "Hello World";
//---------------------------------------------------------------------
//----Methodes---------------------------------------------------------
// In the definition of the methods of  'EProof__SID__'
// the function name is extended with '_EProof__SID__'.
// This is done to avoid name space conflicts, if you overwrite a 
// method 'my_method()' that was inherited from a superclass 'MySuperClass' e.g.
//   SuperClass: MySuperClass.my_method()
//   Class:       EProof__SID__.my_method()
// The method definitions are as follows
//   function my_method_EProof__SID__(...) { .....
// and
//   function my_method_MySuperClass(...) { .....
//---------------------------------------------------------------------
//---Methods of Class "EProof__SID__()" defined as JS functions 
//---------------------------------------------------------------------
//#################################################################
//# Method: addStepDefinition(pButtonDOM)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Adds a new Step Definition to an defined StepType                      
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function addStepDefinition_EProof__SID__ (pButton) {
	var vStepType = pButton.getAttribute("steptype");
	var vChar = "";
	this.updateProof2IMath();
	if (vStepType =="PROOFSTEP") {
		vChar = "S";
	} else {
		vChar = vStepType.substring(0, 1); 
	};
	//alert("addStepDefinition():50 eproofmeth.js vChar='"+vChar+"' vStepType='"+vStepType+"'");
	var vInNode  = this.getElementById(this.aIMATH[vStepType]);
	var vID = vChar+this.newCharCounter(vChar);
	while (this.aMappedID[vID]) {
		vID = vChar+this.newCharCounter(vChar);
	};
	vInNode.value += this.CR +vID+ this.aSeparator +"Definition "+vLanguage["for"]+" "+vStepType;
	//alert("StepType="+vStepType+ " vChar="+vChar+" new ID=["+vID+"]");
	alert(vLanguage["New"]+" "+vLanguage["Step"]+" "+vLanguage["with"]+" ID=["+vID+"]"+this.CR+"["+vStepType+"]");
	this.reloadProof();
};
//#################################################################
//# Method: append_template(pAnswerHash,pInnerHash,pStep)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Provide an Object ID of a DOM template that will be cloned                       
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function clear_LocalStorage_EProof__SID__() {	
	localStorage.removeItem("imathEPROOF");
	alert("Local Storage cleared for 'imathEPROOF'");
};
//----End of Method clear_LocalStorage() Defsaveion
//#################################################################
//# Method: correct_StudentAnswer()  
//#    used in Class: EProof__SID__
//#                
//# Comment:  correct "co__#__co" by "co__##__co" and                     
//#           correct "CR__co" by "CR#__co"
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function correct_StudentAnswer_EProof__SID__() {	
	var vDOM = this.getIMathById("STUDENTANSWER");
	var vValue = vDOM.value;
	vValue = vValue.replace(/co__#__co/g,"co__##__co");
	eval(decodeURI("vValue=vValue.replace(/%5Cn__co/g,%22%5Cn#__co%22)"));
	eval(decodeURI("vValue=vValue.replace(/co__%5Cn/g,%22co__#%5Cn%22)"));
	//eval(decodeURI("vValue=vValue.replace(/co__"+this.DO+"/g,%22co__#%22)"));
	vDOM.value = vValue;
    var vDOM = this.getIMathById("SOLUTION");
	var vValue = vDOM.value;
	vValue = vValue.replace(/co__#__co/g,"co__##__co");
	eval(decodeURI("vValue=vValue.replace(/co__%5Cn/g,%22co__#%5Cn%22)"));
	eval(decodeURI("vValue=vValue.replace(/co__"+this.DO+"/g,%22co__#%22)"));
	vDOM.value = vValue; 
	//alert(encodeURI("vValue=vValue.replace(/\\n__co/g,\"\\n#__co\")"));
    //alert(encodeURI("vValue=vValue.replace(/co__$/g,\"co__#\")"));
};
//----End of Method correct_StudentAnswer() Defsaveion
					
//#################################################################
//# Method: createAllID2Node  
//#    used in Class: EProof__SID__
//#                
//# Comment: reads the imathPRECONDITION __TEXT__AREA__ and extracts the                        
//#          ID for example [P1] and maps aAllID2Node to DOM-Node
//#          pASCIIMath (Boolean) determines ASCII Math Processing
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: createDisplayJustifications  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################

function createSelectPosition_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:createSelectPosition()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.createSelectPosition();
	//-------------------------------------------------------
	var vContent    = "";
	var i=1;
	//alert("createSelectPosition()  this.aCount="+this.aCount);
	while (i!=this.aCount+1) {
		vContent +=this.LT+"option value='"+i+"'"+this.GT+ i + this.LT+"/option"+this.GT;
		i++;
	};
	this.writeInnerHTML("sPOSITION"+this.aQID,vContent);
	i=0;
	vContent =this.LT+"option value='"+i+"'"+this.GT+ i + this.LT+"/option"+this.GT+vContent;
	this.writeInnerHTML("sSTEPCOUNT"+this.aQID,vContent);
};
//----End of Method createSelectPosition Definition

//#################################################################
//# Method: createSelectConnection4JS  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function createSelectConnection_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:createSelectConnection4JS()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.createSelectConnection4JS();
	//-------------------------------------------------------
	var vContent    = "";
	var i=0;
	var vConID = "";
	while (i!=this.vConnectionName.length) {
		vContent += this.LT+"option value='"+i+"'"+this.GT+this.vConnectionName[i] + this.LT+"/option"+this.GT;
		i++;
	};
	this.writeInnerHTML("sCONNECTION"+this.aQID,vContent);
};
//#################################################################
//# Method: createSelectConnection4JS  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function createSelectConnection4JS_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:createSelectConnection4JS()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.createSelectConnection4JS();
	//-------------------------------------------------------
	var vContent    = "";
	var i=0;
	var vConID = "";
	vContent    = this.LT+"ul id=\"ulCONNECTIONLIST\""+this.GT+this.CR;
	while (i!=this.vConnectionName.length) {
		vConID = "CON-"+this.aQID+"-"+i;
		//vConID = "CON-"+i;
		//alert("vConID="+vConID);
		vContent +=this.LT+"li"+this.GT+this.LT+"EPROOFCONNECTION class=\"tplCONNECTION"+this.aQID+"\" id=\""+vConID+"\" "+this.GT;
		vContent +="`"+this.vConnectionArray[i]+"`"+this.LT+"/EPROOFCONNECTION"+this.GT+this.LT+"/li"+this.GT+this.CR;
		i++;
	};
	vContent +=this.LT+"/ul"+this.GT;
	//alert(vContent);
	//this.writeInnerHTML("tplCONNECTIONLIST"+this.aQID,vContent);
	return vContent;
};
//----End of Method createSelectConnection4JS Definition

//#################################################################
//# Method: createSelectStepID  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function createSelectStepID_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:createSelectStepID()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.createSelectStepID();
	//-------------------------------------------------------
	var k=0;
	var vContent = "";
	while (k != this.aAllID.length) {
 		vContent +=  this.LT+"OPTION value='"+this.aAllID[k]+"'"+this.GT+""+this.aMappedID[this.aAllID[k]]+""+this.LT+"/OPTION"+this.GT;
 		k++;
	}
	this.writeInnerHTML("sSTEPID"+this.aQID,vContent);
};
//----End of Method createSelectStepID Definition

//#################################################################
//# Method: createDisplayOptions  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function createDisplayOptions_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:createDisplayOptions()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.createDisplayOptions();
	//-------------------------------------------------------
	var vSelNode = this.getElementById("tplDISPLAYSELECT"+this.aQID);
	var vContent = "";
    vContent += this.LT+"OPTION value='EDITComplete' "+this.GT+"EDIT: "+vLanguage["Complete"]+this.LT+"/OPTION"+this.GT;
    vContent += this.LT+"OPTION value='EDITShort'"+this.GT+"EDIT: "+vLanguage["Short"]+this.LT+"/OPTION"+this.GT;
	vContent += this.LT+"OPTION value='Complete'"+this.GT+vLanguage["Complete"]+this.LT+"/OPTION"+this.GT;
    vContent += this.LT+"OPTION value='Short'"+this.GT+vLanguage["Short"]+this.LT+"/OPTION"+this.GT;
	vContent += this.LT+"OPTION value='Hide'"+this.GT+vLanguage["Hide"]+this.LT+"/OPTION"+this.GT;
	this.writeInnerHTML("sDISPLAYOPTION"+this.aQID,vContent);
};
//----End of Method createDisplayOptions Definition
//#################################################################
//# Method: exportXML  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

return vReturn;
};
//----End of Method getChildrenByClassName Definition

//#################################################################
//# Method: getListIMathAS  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: getItemsIMathAS  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: getStepDefHTML 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function getStepDefHTML_EProof__SID__(pID,pChar,pMappedID,pTextareaID,pStepDefinition,pStepDefRaw) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:getStepDefHTM(pID,pChar,pMappedID,pTextareaID,pStepDefinition,pStepDefRaw)-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.getStepDefHTM(pID,pChar,pMappedID,pTextareaID,pStepDefinition,pStepDefRaw);
	//-------------------------------------------------------
	var vContent = "";
	var vHideInsert = "";
	if (this.aSettings["AuthoringMode"] != "1") {
		 vHideInsert = "style=\"display:none\" ";
	};
	vContent += this.LT+"STEPID class=\"LIST-ID-"+this.aQID+"\" id=\"LIST-ID-"+this.aQID+"-"+pID+"\""+this.GT+"["+pMappedID+"]"+this.LT+"/STEPID"+this.GT+" ";
	vContent += this.LT+"STEPDEFINITION class='"+pTextareaID+this.aQID+"' id='ID-"+this.aQID+"-"+pID+"'"+this.GT;
	vContent += pStepDefinition;
	vContent += this.LT+"/STEPDEFINITION"+this.GT;
	vContent +=this.LT+"DIV  class='EDIT"+pTextareaID+this.aQID+"' id='EDIT-"+this.aQID+"-"+pID+"'  "+vHideInsert+" "+this.GT+this.LT+"BR/"+this.GT;
	vContent +=this.LT+"BUTTON type='button' class='bDeleteID-"+this.aQID+"' stepid='"+pID+"' steptype='"+pTextareaID+"' id='bDeleteID-"+this.aQID+"' onclick=\"vEProof"+this.aQID+".deleteID(this)\" style='color:red'"+this.GT+"X"+this.LT+"/BUTTON"+this.GT;
	vContent +=this.LT+"INPUT type='text' size='3' value='"+pID+"' class='ID_"+pTextareaID+this.aQID+"' id='EDITID-"+this.aQID+"-"+pID+"' onchange=\"vEProof"+this.aQID+".updateSourceIDs()\" style=\"display:none\" "+this.GT;
	//vContent +=this.LT+"INPUT type='text' size='3' value='"+pID+"' class='ID_"+pTextareaID+this.aQID+"' id='EDITID-"+this.aQID+"-"+pID+"' onchange=\"vEProof"+this.aQID+".updateSourceIDs()\"  "+this.GT;
	vContent +=this.LT+"INPUT type='text' size='1' value='"+pChar+"' class='CHAR_"+pTextareaID+this.aQID+"' id='CHAR-"+this.aQID+"-"+pID+"' onchange=\"vEProof"+this.aQID+".updateCharIDs()\" style=\"display:none\" "+this.GT;
	vContent +=this.LT+"INPUT type='text' size='3' value='"+pMappedID+"' class='MAPID_"+pTextareaID+this.aQID+"' id='MAPID-"+this.aQID+"-"+pID+"'  onchange=\"vEProof"+this.aQID+".updateMappedIDs() \""+this.GT;
	pStepDefRaw = this.decodeValueNoQuotes(pStepDefRaw);
	vContent +=this.LT+"INPUT type='text' size='80' value=\""+pStepDefRaw+"\" class='EDITSTEP_"+pTextareaID+this.aQID+"' id='EDITSTEP-"+this.aQID+"-"+pID+"' onchange=\"vEProof"+this.aQID+".updateStepDef('"+pID+"','"+pTextareaID+"',this.value)  \""+this.GT;
	vContent +=this.LT+"OUTSTEP  class='MARKUSED"+this.aQID+"' id='MARKUNUSED"+this.aQID+"-"+pID+"' "+this.GT+""+this.LT+"/OUTSTEP"+this.GT+" ";
	//<OUTSTEP class="MARKUSED_SID" id="MARKUNUSED_SID-S3">UNUSED</OUTSTEP>
	vContent +=this.LT+"/DIV"+this.GT;
	//alert(vContent);
	return vContent;
};
//----End of Method getStepDefHTML Definition

//#################################################################
//# Method: getParentStudentAnswer(pNodeDOM)
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function getParentStudentAnswer_EProof__SID__(pNodeDOM) {
	var vReturnNode = pNodeDOM.parentNode;
	while ((vReturnNode.className != "STUDENTANSWER"+this.aQID) && (vReturnNode.parentNode != null)) {
		vReturnNode = vReturnNode.parentNode
	};
	//alert("vReturnNode.id="+vReturnNode.id);
	return vReturnNode;
};
//#################################################################
//# Method: getElementById  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function getElementById_EProof__SID__(pNodeID) {
	var vReturn = this.getChildById(this.aRootDOM,pNodeID);
	return vReturn;
};
//#################################################################
//# Method: getStudentAnswerByClassName 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function getStudentAnswerByClassName_EProof__SID__(pChildOfStudentAnswer,pClassNameID) {
	var vStudentAnswerNode = this.getParentStudentAnswer(pChildOfStudentAnswer);
	var vList = this.getChildrenByClassName(vStudentAnswerNode,pClassNameID);
	return vList
};
//#################################################################
//# Method: getStudentAnswerById  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function getStudentAnswerById_EProof__SID__(pChildOfStudentAnswer,pNodeID) {
	var vList = this.getStudentAnswerByClassName(pChildOfStudentAnswer,pNodeID);
	return vList[0];
};
//#################################################################
//# Method: getElementsByClassName 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function getElementsByClassName_EProof__SID__(pClassName) {
	return this.getChildrenByClassName(this.aRootDOM,pClassName);
};
//#################################################################
//# Method: hide(pID)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function hideSA_EProof__SID__(pSA,pID) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:hide()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.hide();
	//-------------------------------------------------------
	//var vNode = this.aUsedDOM;
	var vNode = this.getChildById(pSA,pID);
	this.hideNode(vNode);
};
//----End of Method hide() Definition

//#################################################################
//# Method: hideNode(pNode)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function hideNode_EProof__SID__(pNode) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:hide()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.hideNode(pNode);
	//-------------------------------------------------------
	//var vNode = this.aUsedDOM;
	if (pNode) {
		pNode.style.display = "none";
		pNode.style.visibility = "hidden";
	};
};
//----End of Method hide() Definition
//#################################################################
//# Method: hideElement(pID)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function hideElementNode_EProof__SID__(pNode) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:hideElementNode()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.hideElementNode(pNode);
	//-------------------------------------------------------
	if (pNode) vNode.style.visibility = "hidden";
};
//----End of Method hide() Definition
//#################################################################
//# Method: init(pRootNode,pNodeDOM)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Use innerHTML to erase all sub nodes in DOM                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function init_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:init()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.init();
	//-------------------------------------------------------
	this.aListHeader      = new Array(); //Hash for PRECONDITION, PROOFSTEP, CONCLUSION, JUSTIFICATION
	this.aAllID           = new Array(); //Array with ID
	this.aAllID2Node      = new Array(); //Hash for Proof Step ID
	this.aAllID2NodeID    = new Array(); //Hash for Proof Step ID
	this.aAllID2RAW       = new Array(); //Hash for Proof Step ID
	this.aCharCounter     = new Array(); //Hash for Leader Chars e.g. "P" CharCounter=4 creates "P4"
	this.aErrorStep       = new Array(); //Array4Steps
	this.aScoreStep       = new Array(); //Array4Steps
	this.aID2Solutions    = new Array(); //Hash for Proof Step ID
	this.aID4StepType     = new Array(); //Hash of Arrays for PRECONDITION, PROOFSTEP, CONCLUSION, JUSTIFICATION with ID-Arrays
	this.aStepType4ID     = new Array(); //Hash maps ID to StepType PRECONDITION, PROOFSTEP, CONCLUSION, JUSTIFICATION 
	this.aSolUsedID  	  = new Array();
	this.aOriginalID  	  = new Array();
	this.aSolution        = new Array(); //Array with all Solution Steps
	this.getElementById("USEDSTEPS"+this.aQID).innerHTML = "";
	this.getElementById("UNUSEDSTEPS"+this.aQID).innerHTML = "";
	this.getElementById("SOURCESTEPS"+this.aQID).innerHTML = "";
	this.getElementById("ASSESSMENT"+this.aQID).innerHTML = "";
	this.getElementById("SOLUTION"+this.aQID).innerHTML = "";
	this.aLocalEProof = "";
	//this.aRootDOM = pRootDOM;
	//this.aUsedDOM = pNodeDOM;
	//this.vConnection2Node = this.getElementsByClassName("tplCONNECTION"+this.aQID);
	//alert("this.vConnection2Node.length="+this.vConnection2Node.length);
	
};
//----End of Method init() Definition

//#################################################################
//# Method: initRootNodeById(pRootID,pNodeID)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Set Root and DOM Object by ID                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: init_template(pDOMtemplate)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: init_template_ID(pTemplateID)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Provide an Object ID of a DOM template that will be cloned                       
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function init_template_ID_EProof__SID__(pTemplateID) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:template()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.init_template_ID(pTemplateID);
	//-------------------------------------------------------
	this.aTemplateDOM = document.getElementById(pTemplateID);
};
//----End of Method init_template_ID(pTemplateID) Definition

//#################################################################
//# Method: load(pInArray)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Loads a NEW e-Proof into Environment                       
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: load_Form_LocalStorage()  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################

function preAllSteps_EProof__SID__() {
	this.preProcessHeader();
	var vListID = this.aIMathID;
	//new Array("PRECONDITION","CONCLUSION","JUSTIFICATION","PROOFSTEP");
	var i=0;
	var vStepRoot = this.getElementById("SOURCESTEPS"+this.aQID);	
	while (i != vListID.length) {
		this.getListIMathAS(vStepRoot,vListID[i],vListID[i]+"LIST"+this.aQID);
		i++;
	};
	this.createAllID2Node();
	//this.createAllStudentAnswers(); length of AllID is here still 0
};			
//#################################################################
//# Method: preProcess  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function preProcess_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:preProcess()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.preProcess();
	//-------------------------------------------------------
	//this.load_XML();
	//this.debugValue("preProcess:1700");
	if (this.aUseMathJax == "1") {
		//this.show("bRERENDER"+this.aQID);
	};
	var vStep0 = this.getElementById("SELECTFROM"+this.aQID);
	this.setClassName4Step(vStep0,"","0");
	this.initIMathQN();
	this.aUsedDOM     = document.getElementById(this.aUsedID);
	this.aUnusedDOM   = document.getElementById(this.aUnusedID);
	this.aTemplateDOM = document.getElementById(this.aTemplateID);
	//alert("aTemplateDOM.id="+this.aTemplateDOM.id+" in preProcess():2027");
	//alert("aUsedDOM.id="+this.aUsedDOM.id+" in preProcess():2089");
	this.vConnection2Node = this.getElementsByClassName("tplCONNECTION"+this.aQID);
	//alert("(1.1) this.aSettings[\"show_Main_Control\"]="+this.aSettings["show_Main_Control"]);
	
};
//----End of Method preProcess Definition
//#################################################################
//# Method: preProcess4Language  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function preProcess4Lanugage_EProof__SID__() {
	this.setConnection2Index();
	this.createDisplayOptions();
	this.getElementById("LINKINFO1"+this.aQID).setAttribute("href",this.vLink_Tutorial);
	this.getElementById("LINKINFO2"+this.aQID).setAttribute("href",this.vLink_Screencast);
	this.getElementById("LINKINFO3"+this.aQID).setAttribute("href",this.vLink_ASCIIMath);
	//this.getElementById("LINKINFO4"+this.aQID).setAttribute("href",this.vLink_ASCIIMath);
	if (this.aSettings["show_links"] == "0") {
		this.getElementById("LINKHEADERURL1"+this.aQID).innerHTML = this.LT+"b"+this.GT+"Information"+this.LT+"/b"+this.GT;
		this.getElementById("LINKHEADERURL2"+this.aQID).innerHTML = "";
		this.hideNode(this.getElementById("LINKINFO3"+this.aQID));
		//this.getElementById("LINKINFO3"+this.aQID).innerHTML = "";
	};
	this.getElementById("HEADERLINETR1"+this.aQID).innerHTML =(vLanguage["Number_of"]+" "+vLanguage["ProofSteps"]+":").bold();
	this.getElementById("HEADERLINETR2"+this.aQID).innerHTML =(vLanguage["Display"]+" "+vLanguage["Proof"]+":").bold();
	var vHash = new Array();
	vHash["btHelp"] = vLanguage["HelpPage"];
	vHash["btSave"] = vLanguage["Save"];
	vHash["btSaveII"] = vLanguage["Save"];
	vHash["bJustifications"] = vLanguage["Justifications"];
	vHash["btToggleUnused"] = "+ "+vLanguage["Deleted_ProofSteps"].bold();
	vHash["btAssessment"] = ((vLanguage["Assessment"]+" "+vLanguage["Proof"]).fontcolor("red")); 
	vHash["btSolution"] = (vLanguage["Solution"].fontcolor("green"));
	vHash["btProofStep"] = vLanguage["ProofSteps"];
	vHash["btJustification"] = vLanguage["Justifications"];
	vHash["outSCORESTEPTITLE"] =   (vLanguage["Assessment"]+" "+vLanguage["ProofStep"]+":").bold();
	vHash["outSUGUSEDTITLE"] =  vLanguage["Suggestions"]+" "+vLanguage["USED"].toLowerCase()+":";
	vHash["outASSESSUSEDTITLE"] =  vLanguage["Assessment"]+" "+vLanguage["USED"].toLowerCase()+":";
	vHash["outASSESSCONNECTIONTITLE"] = vLanguage["Connection"]+" "+vLanguage["ProofStep"]+":";
	vHash["outpreLINKSTEPSTITLE"] = vLanguage["previous"]+" "+vLanguage["Step"]+":";
	vHash["outpostLINKSTEPSTITLE"] = vLanguage["next"]+" "+vLanguage["Step"]+":";
	vHash["outJUSTCORRECTTITLE"] = vLanguage["Correct"]+" "+vLanguage["Justifications"]+":";
	vHash["outJUSTMISSINGTITLE"] = vLanguage["Missing"]+" "+vLanguage["Justifications"]+":";
	vHash["outJUSTUNNECESSARYTITLE"] = vLanguage["Unnecessary"]+" "+vLanguage["Justifications"]+":";
	vHash["bAssessStep"] = vLanguage["Assessment"];
	vHash["bSaveEditor"] = vLanguage["Save"];
	vHash["bUseStep"] = vLanguage["Append_Step"];
	vHash["bSuggestion"] = this.LT+"font color='green'"+this.GT+""+vLanguage["Suggestion"]+""+this.LT+"/font"+this.GT;
	vHash["bSuggestionFirst"] = vHash["bSuggestion"];
	//vHash["bSelectSuggestion"] = vLanguage["Suggestion"]+vLanguage["select"];
	var vTitle = vLanguage["Suggestion"];
	vHash["bSelectSuggestion"] = vTitle; 
	//---For Suggestion 0---
	this.writeParentInnerHTML(this.aRootDOM,"bSelectSuggestion"+this.aQID+"0",vTitle);
	var vButTitle = vLanguage["ProofStep"] + " " + vLanguage["select"];
	vHash["bSelectSuggestionOK"] = vButTitle;
	//---For Suggestion 0---
	var vSug0 = this.getChildById(this.aRootDOM,"SUGGESTIONS"+this.aQID+"0");
	this.writeParentInnerHTML(vSug0,"bSelectSuggestionOK"+this.aQID+"0",vButTitle);
	vHash["outASSESSMENTTITLE"] = vLanguage["Assessment"] + " " + vLanguage["ProofStep"];
	vHash["outMYSTEPASSESSTITLE"] = vLanguage["manual"] + " " +  vLanguage["Assessment"];
	vHash["outMYSTEPASSESSTEXT"] = vLanguage["Self_Defined"];
	vHash["bReset"] = vLanguage["Delete_Proof"];
	this.writeHash2InnerHTML(this.aRootDOM,vHash,"");	
};
//----End of Method preProcessLanguage Definition

//#################################################################
//# Method: preProcess4JS_only  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function preProcess4JS_only_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:preProcess4JS_only()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.preProcess4JS_only();
	//-------------------------------------------------------
	//var vOut = this.createSelectConnection4JS();
	//this.writeInnerHTML("tplCONNECTIONLIST"+this.aQID,vOut);
	
	
};
//----End of Method preProcess4JS_only Definition

//#################################################################
//# Method: preProcessHeader 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: postProcess  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function postProcess_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:postProcess()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.postProcess();
	//-------------------------------------------------------
	//alert("postPRocess(1.0)");
	var vCount = this.getIMathStepCount();
	//alert("postProcess(1.1)");
	this.updateStepCount(vCount);
	//alert("postProcess(1.2)");
	this.setStepCount(vCount);
	//alert("postProcess(2.0)");
	//alert("(2) this.aSettings[\"show_Main_Control\"]="+this.aSettings["show_Main_Control"]);
	if (this.aShowControl == "1") {
		this.aSettings["show_Load_Save_Control"] = "1";
		this.aSettings["show_Main_Control"] = "1";
	};
	//alert("postProcess(3.0)");
	this.showHideBoolean("btAssessment"+this.aQID,this.aSettings["show_assessment"]);
	this.showHideBoolean("btSolution"+this.aQID,  this.aSettings["show_proof_solution"]);
	this.showHideBoolean("PROOFCONTROL"+this.aQID,this.aSettings["show_Load_Save_Control"]);
	this.showHideBoolean("MAINCONTROL"+this.aQID, this.aSettings["show_Main_Control"]);
	//alert("postProcess(4.0)");
	//this.preAllSteps();
	this.aErrorDefault = parseInt(this.aSettings["Per_Error_Minus_Percent"])/100;
	this.aErrorAssessment = parseInt(this.aSettings["Assessment_Minus_Percent"])/100;
	this.aErrorSuggestion = parseInt(this.aSettings["Suggestion_Minus_Percent"])/100;
	//alert("postProcess(5.0)");
	var vHash = new Array();
	vHash["PROOFLABEL"] = vLanguage["Proof"]+":";
	vHash["THEOREMLABEL"] = this.aSettings["Theorem_Label"];
	vHash["THEOREMTITLE"] = this.aSettings["Theorem_Title"];
	vHash["HELPTITLE"] = vLanguage["HelpPage"];	
	vHash["SETTINGTHEOREMTITLE"] =  this.aSettings["Theorem_Label"]+": "+this.aSettings["Theorem_Title"];
	this.writeHash2InnerHTML(this.aRootDOM,vHash,"");	
	this.getElementById("editTHEOREMLABEL"+this.aQID).value = this.aSettings["Theorem_Label"];
	this.getElementById("editTHEOREMTITLE"+this.aQID).value = this.aSettings["Theorem_Title"];
	//alert("postProcess(6.0)");	
	this.postProcessSolution();
	this.setConnectionSize();
	//alert("postProcess(7.0)");
	var vNoCallVis4Proof = "1";
	this.toggleAuthoringMode(this.aSettings["AuthoringMode"],vNoCallVis4Proof);
	this.toggleManualAssessment(this.aSettings["AssessmentMode"],vNoCallVis4Proof);
	this.toggleAssessmentButton(this.aSettings["show_assessment"],vNoCallVis4Proof);
	this.toggleSuggestionButton(this.aSettings["show_suggestions"],vNoCallVis4Proof);
	this.toggleSolutionButton(this.aSettings["show_proof_solution"],vNoCallVis4Proof);
	//alert("postProcess(8.0)");
	this.setVisibility4Proof();
	this.visibleManualAssess();
	//alert("postProcess(9.0)");
	//if (this.onLoadAMprocess) this.rerenderMath();
	//this.aStudentAnswerList = this.getAllSteps("SCAN");
};
//----End of Method postProcess Definition
//#################################################################
//# Method: postProcessSolution  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function postProcessSolution_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:preProcessSolution()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.preProcessSolution();
	//-------------------------------------------------------
	//this.parseSolution();
	this.storeCorrectSuggestions();
	this.setAllSuggestions();
	//this.updateUsedIDs();
};
//----End of Method preProcessSolution Definition

//#################################################################
//# Method: replaceString()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Use innerHTML to erase all sub nodes in DOM                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: removeAllChildren()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Use innerHTML to erase all sub nodes in DOM                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function removeAllChildren_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:removeAllChildren()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.hide();
	//-------------------------------------------------------
	this.aUsedDOM.innerHTML = "";
};
//----End of Method removeAllChildren() Definition

//#################################################################
//# Method: reloadProof()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Use innerHTML to erase all sub nodes in DOM                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function reloadProof_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:reloadProof()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.hide();
	//-------------------------------------------------------
	//alert("reloadProof() call init()"); 
	this.init();
	this.preProcess();
	//alert("reloadProof(1)");
	this.onLoadAMprocess = true; //ASCII Math Processing of Source Steps switch on
	this.load_IMathAS();
};
//----End of Method reloadProof() Definition

//#################################################################
//# Method: save(pNodeDOM)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Saves the e-Proof                       
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function save_EProof__SID__(pButtonDOM) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:save(pNodeDOM)-Call pButtonDOM.id="+pButtonDOM.id);
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.save(pNodeDOM);
	//-------------------------------------------------------
	this.updateProof2IMath();
	var vOut = this.saveEProof2Form();
	this.save_Form_LocalStorage(pButtonDOM.form,vOut);
};
//----End of Method save() Defsaveion
//#################################################################
//# Method: saveEProof2Form()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Saves the e-Proof                       
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function saveEProof2Form_EProof__SID__() {
	var vOut = "";
	var i=0;
	var vSI = "";
	var vArr= this.aIMathArray;
	var vValue = "";
	while (i != vArr.length) {
		//this.aIMathArray = new Array("DISPLAYOPTION","STEPCOUNT","STUDENTANSWER","PRECONDITION","CONCLUSION","JUSTIFICATION","PROOFSTEP","SOLUTION","ENCRYPTED","SETTINGS");	
		vValue = this.getIMathById(vArr[i]).value || " ";
		vOut += vSI + this.replaceString(vValue,this.CR,this.aNewLine);
		vSI = this.aSepInput;
		i++;
	};
	// Save total Score encrypted
	vOut += vSI + this.encodeScore(this.aScoreTotal);
	this.getIMathById("STORAGE").value = vOut;
	//alert(vOut);
	return vOut;
};
//#################################################################
//# Method: save_Form_LocalStorage(pForm,pOut)  
//#    used in Class: EProof__SID__
//#                
//# Comment:  Saves Data to IMATHAS Form Elements                       
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: saveOfflineHTML()
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function saveOfflineHTML_EProof__SID__() {
	var vOut = this.getEProofHTML();
	this.getElementById("tSAVEXML"+this.aQID).value = vOut;	
};
//#################################################################
//# Method: saveXML()
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function saveXML_EProof__SID__() {
	//var vCrypt = this.getElementById("SELECTSAVETYPE"+this.aQID).value;
	//checkENCRYPT
	var vOut = this.LT+"EPROOF"+this.GT+this.CR;
	vOut += this.createSettingXML();
	vOut += this.createStepsXML("PRECONDITION",2);
	vOut += this.createStepsXML("CONCLUSION",2);
	vOut += this.createStepsXML("JUSTIFICATION",2);
	if (this.aCrypt) {
		vOut += this.createStepsXML("PROOFSTEP",2);
		vOut += this.createCryptSol("CRYPTSOL");
	} else {
		//vOut += this.createStepsXML("PROOFSTEP",2);
		//vOut += this.createProofStepsXML("PROOFSTEP",5);
		// createSolutionXML includes exports PROOFSTEPS 2 
		//vOut += this.createSolutionXML("SOLUTION",2,5);
		vOut += this.createSolutionXML("PROOFSTEP",2,5);
	};
	if (this.aSAexport) {
		vOut += this.createStudentAnswer2XML("STUDENTANSWER",10);
	}
	vOut += this.LT+"/EPROOF"+this.GT+this.CR;
	this.getElementById("tSAVEXML"+this.aQID).value = vOut;
};
//----End of Method saveXML() Definition
//#################################################################
//# Method: saveIMathAS()
//#    used in Class: EProof__SID__
//#                
//# Comment: export IMathAS Version of the e-Proof                       
//#
//# created               3.3.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function saveIMathAS_EProof__SID__() {
	alert("Save IMathAS");
	var vOut = "";
	var vHash = new Array();
	vOut = this.createSettingIMathAS();
	vOut = this.createStepsIMathAS("Precondition",vOut);
	vOut = this.createStepsIMathAS("Conclusion",vOut);
	vOut = this.createStepsIMathAS("Justification",vOut);
	vOut = this.createStepsIMathAS("ProofStep",vOut);
	if (this.aCrypt) {
		vOut = this.createSolutionIMathAS("CryptSolution",vOut);
	//} else {
	};
	vOut = this.createSolutionIMathAS("SolutionStep",vOut);
	var vRet = "//--- Student Answers not defined/exported ---"+this.CR;
	var vFormSA = this.createStudentAnswer2IMathAS();
	var vArr = vFormSA.split(this.CR);
	var vPre  = this.DO+"StudentAnswer=\"";
	var vJoin = "\""+this.CR+this.DO+"StudentAnswer.=\"";
	var vPost = "\""+this.CR;
	if (this.aSAexport) {
		vRet = this.saveArr2IMathAS(vArr,vPre,vJoin,vPost);
	}
	vOut = this.replaceString(vOut,"___STUDENTANSWERS___",vRet);
	vArr = (this.aSettings["COMMONCONTROL"]).split(/,|__[coCO]+__/);
	vPre  = "includecodefrom(";
	vJoin = ")"+this.CR+vPre;
	vPost = ")"+this.CR;
	vRet = this.saveArr2IMathAS(vArr,vPre,vJoin,vPost);
	vOut = this.replaceString(vOut,"___INCLUDECODE___",vRet);
	vArr = (this.aSettings["QUESTIONTEXT"]).split(/,|__[coCO]+__/);
	vPre  = "// includeqtextfrom(";
	vJoin = ")"+this.CR+vPre;
	vRet = this.saveArr2IMathAS(vArr.slice(1),vPre,vJoin,vPost);
	vRet = "// "+this.LT +"SCRIPT type='text/javascript'"+this.GT + this.CR +vRet; 
	vRet += "// "+this.LT +"/SCRIPT"+this.GT + this.CR;
	vRet += vPre + vArr[0] + ")";
	vOut = this.replaceString(vOut,"___INCLUDEQTEXT___",vRet);
	this.getElementById("tSAVEXML"+this.aQID).value = vOut;
};
//----End of Method saveIMathAS() Definition

//#################################################################
//# Method: saveArr2IMathAS(pArr,pPre,pJoin,pPost)
//#    used in Class: EProof__SID__
//#                
//# Comment:  Save Content to IMathAS in Online Mode integrated in IMathAS                      
//#
//# created               3.3.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function saveArr2IMathAS_EProof__SID__(pArr,pPre,pJoin,pPost) {
	var vRet = "";
	if (pArr) {
		if (pArr.length != 0) {
			vRet = pPre +pArr.join(pJoin)+pPost;	
		};
	};
	return vRet;
};
//----End of Method save2IMathAS() Definition
//#################################################################
//# Method: saveSol2StudAns()
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################
function saveSol2IMathAS_EProof__SID__() {
	this.getIMathById("SOLUTION").value = this.createSol2IMathAS();
};
//#################################################################
//# Method: setAttribute4List 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: setClassName4Step 
//#    used in Class: EProof__SID__
//#                
//# Comment: set ClassName and ID for Step, optional add a prefix e.g. "imath"                      
//#          
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: setStep4List 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: toggleAllJustifications(pStep) 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################

//#################################################################
//# Method: show(pID)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function show_EProof__SID__(pID,pDisplay) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:show()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.show();
	//-------------------------------------------------------
	//var vNode = this.aUsedDOM;
	var vNode = this.getElementById(pID);
	this.showNode(vNode,pDisplay);
};
//----End of Method show() Definition
//#################################################################
//# Method: showSA(pSA,pID,pDisplay)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function showSA_EProof__SID__(pSA,pID,pDisplay) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:show()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.show();
	//-------------------------------------------------------
	var vNode = this.getChildById(pSA,pID);
	this.showNode(vNode,pDisplay);
};
//----End of Method show() Definition
//#################################################################
//# Method: showDebug(pID)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function showDebug_EProof__SID__(pBoolean,pDisplay) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:showDebug()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.showDebug();
	//-------------------------------------------------------
	//var vNode = this.aUsedDOM;
	var vArr = this.getChildrenByClassName(this.aRootDOM,"SELECTFROM"+this.aQID);
	//alert("vArr.length="+vArr.length);
	this.showHideArray(vArr,"1",pDisplay);
	var vArr = this.getChildrenByClassName(this.aRootDOM,"SELECTFROM"+this.aQID);
	var vNode = document.getElementById("iMathASINOUT"+this.aQID);
	this.showNode(vNode);
};
//----End of Method showDebug() Definition
//#################################################################
//# Method: showHideBoolean(pID,pBoolean)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function showNode_EProof__SID__(pNode,pDisplay) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:show()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.showNode(pNode);
	//-------------------------------------------------------
	var vDisplay = pDisplay || "inline";
	if (pNode) {
		pNode.style.display = vDisplay;
		//pNode.style.display = "inline"; // "block"
		pNode.style.visibility = "visible";
	};
};
//----End of Method showNode() Definition

//#################################################################
//# Method: shuffleSteps(pStepType)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function shuffleSteps_EProof__SID__(pStepType) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:show()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.shuffleSteps(pStepType);
	//-------------------------------------------------------
	//load IMathAS ProofStep Content and split into Array 
	//alert("shuffleSteps('"+pStepType+"')");
	var vNode = this.getIMathById(pStepType);
	var vArr = (vNode.value).split(this.CR);
	//shuffle Array
	var vArrRandom = this.shuffle(vArr);
	vNode.value = vArrRandom.join(this.CR);
	//alert(vNode.value);
};
//----End of Method shuffleSteps() Definition
//#################################################################
//# Method: toggle(pID)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: toggleNode(pID)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: toggleAuthoringMode(pMode,pNoVis4Proof) 
//#    used in Class: EProof__SID__
//#                
//# Comment: pMode = "1" or "0"   pNoVis4Proof="1" or null                  
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleAuthoringMode_EProof__SID__(pMode,pNoVis4Proof) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
    //alert("Call toggleAuthoringMode('"+pMode+"')-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.toggleeAuthoringMode(pButtonDOM);
	//-------------------------------------------------------
	// toggleButtonMode(pSettingID,pInfoONOFF,pAlertText,pToogleID,pMode,pDisplay,pNoVis4Proof)
	var vBool = this.toggleButtonMode("AuthoringMode","infoAUTHORMODE","Authoring Mode","",pMode,"block",pNoVis4Proof);
	//-------------------------------------------------------
	//SHOW-HIDE: Elements per Step
	var vPerClass = new Array("mapPREVIOUSLINK","labelOPTJUSTIFICATION","optJUSTIFICATION");
	//,"EDITPROOFSTEP","EDITCONCLUSION","EDITPRECONDITION","EDITJUSTIFICATION"
	var vSA = this.getUsedSteps();
	var i=0;
	var vStep = 0;
	var vNode;
	while (i != vSA.length) {
		vStep = this.getStep4Index(i+1);
		//alert(vStep);
		var k=0;
		while (k != vPerClass.length) {
			vNode = this.getChildById(vSA[i],vPerClass[k]+this.aQID+vStep);
			this.showHideNodeBoolean(vNode,vBool);
			k++;
		};	
		i++
	};
	//-------------------------------------------------------
	//SHOW-HIDE: Edit Steps with ID="EDIT-"+this.aQID+"-"+pID
	var vArr = this.unionarrays(this.aAllID,this.aID4StepType["JUSTIFICATION"]);
	var k=0;
	//alert("SHOW-HIDE EDIT-"+this.aQID+"-ID vArr.length="+vArr.length);
	while (k != vArr.length) {
		vNode = this.getChildById(this.aRootDOM,"EDIT-"+this.aQID+"-"+vArr[k]);			
		this.showHideNodeBoolean(vNode,vBool);
		k++;
	};
	//-------------------------------------------------------
	//SHOW-HIDE: [+Step]-Buttons
	vArr = this.getChildrenByClassName(this.aRootDOM,"bAddStepID"+this.aQID);
	k=0;
	while (k != vArr.length) {
		this.showHideNodeBoolean(vArr[k],vBool);
		k++;
	};
	//-------------------------------------------------------
	vNode = this.getChildById(this.aRootDOM,"editTITLE"+this.aQID);	
	this.showHideNodeBoolean(vNode,vBool);
	//-------------------------------------------------------
};
//----End of Method toggleAuthoringMode() Definition
//#################################################################
//# Method: toggleManualAssessment(pMode,pNoVis4Proof) 
//#    used in Class: EProof__SID__
//#                
//# Comment:      pMode = "1" or "0"                  
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleManualAssessment_EProof__SID__(pMode,pNoVis4Proof) {
	// toggleButtonMode(pSettingID,pInfoONOFF,pAlertText,pToogleID,pMode,pDisplay,pNoVis4Proof);
	this.toggleButtonMode("AssessmentMode","infoMANASSESS","Manual Assessment","outMYSTEPASSESS",pMode,"block",pNoVis4Proof);
};
//----End of Method toggleManualAsessment() Definition
//#################################################################
//# Method: toggleAssessmentButton(pMode,pNoVis4Proof) 
//#    used in Class: EProof__SID__
//#                
//# Comment:  pMode = "1" or "0"   pNoVis4Proof="1" or null                     
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleAssessmentButton_EProof__SID__(pMode,pNoVis4Proof) {
	// toggleButtonMode(pSettingID,pInfoONOFF,pAlertText,pToogleID,pMode,pDisplay,pNoVis4Proof)
	this.toggleButtonMode("show_assessment","infoASSESSBUTTON","Assessment Button","bAssessStep",pMode,"block",pNoVis4Proof);
	this.toggleButton("btAssessment","show_assessment");
};
//----End of Method toggleAssessmentButton() Definition
//#################################################################
//# Method: toggleSuggestionButton(pMode,pNoVis4Proof) 
//#    used in Class: EProof__SID__
//#                
//# Comment:  pMode = "1" or "0"   pNoVis4Proof="1" or null
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleSuggestionButton_EProof__SID__(pMode,pNoVis4Proof) {
	// toggleButtonMode(pSettingID,pInfoONOFF,pAlertText,pToogleID,pMode,pDisplay,pNoVis4Proof)
	//alert("eproofmeth.js:3023 - toggleSuggestionButton() pMode='"+pMode+"'");
	this.toggleButtonMode("show_suggestions","infoSUGGESTBUTTON","Suggestion Button","bSuggestion",pMode,"block",pNoVis4Proof);
	this.toggleButton("bSuggestionFirst","show_suggestions");
};
//----End of Method toggleSuggestionButton() Definition
//#################################################################
//# Method: toggleSolutionButton(pMode,pNoVis4Proof) 
//#    used in Class: EProof__SID__
//#                
//# Comment:    pMode = "1" or "0"   pNoVis4Proof="1" or null                      
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleSolutionButton_EProof__SID__(pMode,pNoVis4Proof) {
	// toggleButtonMode(pSettingID,pInfoONOFF,pAlertText,pToogleID,pMode,pDisplay,pNoVis4Proof)
	this.toggleButtonMode("show_proof_solution","infoSOLUTIONBUTTON","Solution Button","btSolution",pMode,"block",pNoVis4Proof);
	this.toggleButton("btSolution","show_proof_solution");
};
//----End of Method toggleSolutionButton() Definition
//#################################################################
//# Method: toggleButton(pButtonID,pSetID) 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleButton_EProof__SID__(pButtonID,pSetID) {
	if (this.aSettings[pSetID] == "1") {
		this.show(pButtonID+this.aQID);
	} else {
		this.hide(pButtonID+this.aQID);
	};
};
//#################################################################
//# Method: toggleButtonMode(pSettingID,pInfoONOFF,pAlert,pToogleID,pMode,pDisplay,pNoVis4Proof) 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################
function toggleButtonMode_EProof__SID__(pSettingID,pInfoONOFF,pAlert,pToogleID,pMode,pDisplay,pNoVis4Proof) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
    // alert("vEProof__SID___.toggleManualAsessment()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.toggleManualAsessment(pSettingID,pInfoONOFF,pMode);
	//-------------------------------------------------------
	if (pMode) {
		if (pMode == "1") {pMode = "0"} else {pMode = "1"};
		this.aSettings[pSettingID] = pMode;
	};
	var vInfo = this.getChildById(this.aRootDOM,pInfoONOFF+this.aQID);
	var vSA = this.getAllSteps();
	var i=0;
	if (this.aSettings[pSettingID] == "1") {
		this.aSettings[pSettingID] = "0";
		if (!pMode) {
			if (pNoVis4Proof != "1") {
				alert(pAlert+": OFF (0)");
			};
		};
		vInfo.innerHTML = "[OFF]";
		if (pToogleID != "") {
			while (i != vSA.length) {
				this.hideSA(vSA[i],pToogleID+this.aQID+(i+1));
				i++;
			}
		};
	} else {
		this.aSettings[pSettingID] = "1";
		if (!pMode) {
			if (pNoVis4Proof != "1") {
				alert(pAlert+": ON (1)");
			};
		};
		vInfo.innerHTML = "[ON]";
		if (pToogleID != "") {
			while (i != vSA.length) {
				this.showSA(vSA[i],pToogleID+this.aQID+(i+1));
				i++;
			}
		};
	};		
	if (!pNoVis4Proof) {
		this.setVisibility4Proof();
	}
	return this.aSettings[pSettingID];
};
//----End of Method toggleButtonMode() Definition
//#################################################################
//# Method: toggleList(pButtonDOM) 
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               3.3.2015             
//# last modifications    3.3.2015             
//#################################################################

//#################################################################
//# Method: toggleSuggestion(pButtonDOM)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function toggleSuggestion_EProof__SID__(pButtonDOM) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:toggleSuggestion()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.toggleSuggestion(pButtonDOM);
	//-------------------------------------------------------
	var vStep = pButtonDOM.getAttribute("step");
	var vSugStep = this.getElementById("stepSUGGESTION"+this.aQID+vStep).value;
	this.toggleSuggestionStep(vSugStep);
};
//----End of Method toggleSuggestion() Definition
//#################################################################
//# Method: toggleSuggestionStep(pStep)  
//#    used in Class: EProof__SID__
//#                
//# Comment:                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: update(pInArray)  
//#    used in Class: EProof__SID__
//#                
//# Comment: Use innerHTML to erase all sub nodes in DOM                        
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

//#################################################################
//# Method: updateInput()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Updates all Proof Steps                      
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function updateInput_EProof__SID__() {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:updateInput()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.updateInput();
	//-------------------------------------------------------
	//this.updateUsedIDs();
	var vUsedNodes   = this.getUsedSteps();
	this.setStepCount(vUsedNodes.length);
	//alert("updateInput() - 1.0");		
	this.updateIMathById("STEPCOUNT");
	//alert("updateInput() - 2.0");		
	this.updateIMathById("STUDENTANSWER");	
	//alert("updateInput() - 3.0");		
	var vOut = this.saveEProof2Form();
    //alert("updateInput() - 4.0");		
	this.append_PreviousStep_Justification();
	//alert("updateInput() - 5.0");			
};
//----End of Method updateInput() Defupdateion
//#################################################################
//# Method: updateProof2IMath()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Updates all Proof Steps                      
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function updateSettingValue_EProof__SID__ (pInputDOM) {
	var vName = (pInputDOM.id).replace(/^SET_/,"");
	//alert("updateSettingValue("+vName+")='"+pInputDOM.value+"' :2576");
	this.aSettings[vName] = this.encodeValue(pInputDOM.value);
};
//#################################################################
//# Method: updateSettings2Form()  
//#    used in Class: EProof__SID__
//#                
//# Comment: Updates all Proof Steps                      
//#
//# created               24.2.2015             
//# last modifications    17.11.2015, 07:57:07             
//#################################################################

function visible_EProof__SID__(pID) {
	//----Debugging------------------------------------------
	// The following alert-Command is useful for debugging 
	//alert("eproof.js:visible()-Call")
	//----Create Object/Instance of EProof__SID__----
	//    var vMyInstance = new EProof__SID__();
	//    vMyInstance.visible();
	//-------------------------------------------------------
	//var vNode = this.aUsedDOM;
	var vNode = this.getChildById(this.aRootDOM,pID);
	vNode.style.visibility = "visible";
};
//----End of Method visible() Definition