<!--

   $Id$

   Copyright (c) 2003, RIACA, Technische Universiteit Eindhoven (TU/e).
   All Rights Reserved.

  -->


<jsp:directive.page contentType="text/xml"/>	
<jsp:directive.page import="nl.tue.win.riaca.openmath.codec.*"/>
<jsp:directive.page import="org.xml.sax.*"/>
<jsp:directive.page import="nl.tue.win.riaca.openmath.io.*"/>
<jsp:directive.page import="nl.tue.win.riaca.openmath.lang.*"/>
<jsp:directive.page import="nl.tue.win.riaca.openmath.lang.OMObject"/>
<jsp:directive.page import="nl.tue.win.riaca.mathematica.codec.*"/>
<jsp:directive.page import="java.io.*"/>
<jsp:directive.page import="org.w3c.dom.*"/>


<!-- Recovers a session declared in start.mb using cookies -->


<jsp:declaration>
	Document myDocument;
	Node CurrentNode=null;
	Element CurrentNodeElement = null;
	Node CurrentNodeParent = null;
</jsp:declaration>


<jsp:scriptlet>
<![CDATA[

	String sessionID = request.getRequestedSessionId();
	HttpSession mySession = null;
	if(sessionID != null) {
	   mySession = (HttpSession) request.getSession();
	}
// Recalls the name of the document ?? do it in a different manner??
	   
 String DocumentName = "myDocument";

// Recalls the document

        Object docObject = mySession.getAttribute( DocumentName );
        if (docObject instanceof Document) 
	{
		myDocument = (Document) docObject;
	}
        else
        {
		myDocument = null;
	}

// Find CurrentNode by selecting the (first) node in the tree with attribute current="1" 

	//out.println("Find the CurrentNode");
	NodeList list = myDocument.getElementsByTagName("*");
        int len=list.getLength();
        int i;
	
        for( i=0; i<len; i++ ){
	     Node myNode = list.item(i);
             NamedNodeMap attributes = myNode.getAttributes();
             if (attributes!=null) {
		   Node attr=attributes.getNamedItem("current");
	       	   //out.println("i is "+i+", attr is "+attr+"val");
	           if (attr != null){		
			if("1".equals(attr.getNodeValue())) {
				CurrentNode=myNode;
				if (CurrentNode instanceof Element){
				   CurrentNodeElement = (Element) CurrentNode;
				}
				else{
				   CurrentNodeElement = null;
				}
				CurrentNodeParent = CurrentNode.getParentNode();	
				break;
			}
		    }
	      }
        }
	//if (CurrentNode==null)
	//	out.println("Current Node is null, attr");
	//else
	//	out.println("The Current Node is "+CurrentNode);

]]>
</jsp:scriptlet>