--- /dev/null
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">\r
+<!--NewPage-->\r
+<HTML>\r
+<HEAD>\r
+<!-- Generated by javadoc (build 1.5.0_11) on Tue Apr 10 15:02:20 UTC 2007 -->\r
+<TITLE>\r
+JigsawHttpSessionContext\r
+</TITLE>\r
+\r
+<META NAME="keywords" CONTENT="org.w3c.jigsaw.servlet.JigsawHttpSessionContext class">\r
+\r
+<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../stylesheet.css" TITLE="Style">\r
+\r
+<SCRIPT type="text/javascript">\r
+function windowTitle()\r
+{\r
+ parent.document.title="JigsawHttpSessionContext";\r
+}\r
+</SCRIPT>\r
+<NOSCRIPT>\r
+</NOSCRIPT>\r
+\r
+</HEAD>\r
+\r
+<BODY BGCOLOR="white" onload="windowTitle();">\r
+\r
+\r
+<!-- ========= START OF TOP NAVBAR ======= -->\r
+<A NAME="navbar_top"><!-- --></A>\r
+<A HREF="#skip-navbar_top" title="Skip navigation links"></A>\r
+<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">\r
+<TR>\r
+<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">\r
+<A NAME="navbar_top_firstrow"><!-- --></A>\r
+<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">\r
+ <TR ALIGN="center" VALIGN="top">\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>\r
+ </TR>\r
+</TABLE>\r
+</TD>\r
+<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>\r
+</EM>\r
+</TD>\r
+</TR>\r
+\r
+<TR>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSession.html" title="class in org.w3c.jigsaw.servlet"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../../org/w3c/jigsaw/servlet/JigsawRequestDispatcher.html" title="class in org.w3c.jigsaw.servlet"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../index.html?org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="JigsawHttpSessionContext.html" target="_top"><B>NO FRAMES</B></A> \r
+ <SCRIPT type="text/javascript">\r
+ <!--\r
+ if(window==top) {\r
+ document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');\r
+ }\r
+ //-->\r
+</SCRIPT>\r
+<NOSCRIPT>\r
+ <A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>\r
+</NOSCRIPT>\r
+\r
+\r
+</FONT></TD>\r
+</TR>\r
+<TR>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+ SUMMARY: NESTED | FIELD | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+DETAIL: FIELD | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD>\r
+</TR>\r
+</TABLE>\r
+<A NAME="skip-navbar_top"></A>\r
+<!-- ========= END OF TOP NAVBAR ========= -->\r
+\r
+<HR>\r
+<!-- ======== START OF CLASS DATA ======== -->\r
+<H2>\r
+<FONT SIZE="-1">\r
+org.w3c.jigsaw.servlet</FONT>\r
+<BR>\r
+Class JigsawHttpSessionContext</H2>\r
+<PRE>\r
+java.lang.Object\r
+ <IMG SRC="../../../../resources/inherit.gif" ALT="extended by "><B>org.w3c.jigsaw.servlet.JigsawHttpSessionContext</B>\r
+</PRE>\r
+<DL>\r
+<DT><B>All Implemented Interfaces:</B> <DD>javax.servlet.http.HttpSessionContext, <A HREF="../../../../org/w3c/util/PropertyMonitoring.html" title="interface in org.w3c.util">PropertyMonitoring</A></DD>\r
+</DL>\r
+<HR>\r
+<B>Deprecated.</B> <I>since jsdk2.1</I>\r
+<P>\r
+<DL>\r
+<DT><PRE>public class <B>JigsawHttpSessionContext</B><DT>extends java.lang.Object<DT>implements javax.servlet.http.HttpSessionContext, <A HREF="../../../../org/w3c/util/PropertyMonitoring.html" title="interface in org.w3c.util">PropertyMonitoring</A></DL>\r
+</PRE>\r
+\r
+<P>\r
+<HR>\r
+\r
+<P>\r
+\r
+<!-- ======== CONSTRUCTOR SUMMARY ======== -->\r
+\r
+<A NAME="constructor_summary"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">\r
+<B>Constructor Summary</B></FONT></TH>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#JigsawHttpSessionContext(org.w3c.jigsaw.http.httpd, org.w3c.jigsaw.servlet.ServletProps)">JigsawHttpSessionContext</A></B>(<A HREF="../../../../org/w3c/jigsaw/http/httpd.html" title="class in org.w3c.jigsaw.http">httpd</A> server,\r
+ <A HREF="../../../../org/w3c/jigsaw/servlet/ServletProps.html" title="class in org.w3c.jigsaw.servlet">ServletProps</A> props)</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> </TD>\r
+</TR>\r
+</TABLE>\r
+ \r
+<!-- ========== METHOD SUMMARY =========== -->\r
+\r
+<A NAME="method_summary"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">\r
+<B>Method Summary</B></FONT></TH>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected java.lang.String</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#addSession(org.w3c.jigsaw.servlet.JigsawHttpSession)">addSession</A></B>(<A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSession.html" title="class in org.w3c.jigsaw.servlet">JigsawHttpSession</A> session)</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> Add a session in this context.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Enumeration</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#getIds()">getIds</A></B>()</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> <I>since jsdk2.1</I></TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> javax.servlet.http.HttpSession</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#getSession(java.lang.String)">getSession</A></B>(java.lang.String sessionId)</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> <I>since jsdk2.1</I></TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> boolean</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#propertyChanged(java.lang.String)">propertyChanged</A></B>(java.lang.String name)</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> PropertyMonitoring implementation.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#removeOldestIdleSession()">removeOldestIdleSession</A></B>()</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> </TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#removeSession(java.lang.String)">removeSession</A></B>(java.lang.String id)</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> Remove a session of this session context.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html#sweepSession()">sweepSession</A></B>()</CODE>\r
+\r
+<BR>\r
+ <B>Deprecated.</B> Remove sessions with idle time > max idle time</TD>\r
+</TR>\r
+</TABLE>\r
+ <A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">\r
+<TH ALIGN="left"><B>Methods inherited from class java.lang.Object</B></TH>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD>\r
+</TR>\r
+</TABLE>\r
+ \r
+<P>\r
+\r
+<!-- ========= CONSTRUCTOR DETAIL ======== -->\r
+\r
+<A NAME="constructor_detail"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">\r
+<B>Constructor Detail</B></FONT></TH>\r
+</TR>\r
+</TABLE>\r
+\r
+<A NAME="JigsawHttpSessionContext(org.w3c.jigsaw.http.httpd, org.w3c.jigsaw.servlet.ServletProps)"><!-- --></A><H3>\r
+JigsawHttpSessionContext</H3>\r
+<PRE>\r
+public <B>JigsawHttpSessionContext</B>(<A HREF="../../../../org/w3c/jigsaw/http/httpd.html" title="class in org.w3c.jigsaw.http">httpd</A> server,\r
+ <A HREF="../../../../org/w3c/jigsaw/servlet/ServletProps.html" title="class in org.w3c.jigsaw.servlet">ServletProps</A> props)</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> </DL>\r
+\r
+<!-- ============ METHOD DETAIL ========== -->\r
+\r
+<A NAME="method_detail"><!-- --></A>\r
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">\r
+<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">\r
+<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">\r
+<B>Method Detail</B></FONT></TH>\r
+</TR>\r
+</TABLE>\r
+\r
+<A NAME="propertyChanged(java.lang.String)"><!-- --></A><H3>\r
+propertyChanged</H3>\r
+<PRE>\r
+public boolean <B>propertyChanged</B>(java.lang.String name)</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <DD>PropertyMonitoring implementation.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../org/w3c/util/PropertyMonitoring.html#propertyChanged(java.lang.String)">propertyChanged</A></CODE> in interface <CODE><A HREF="../../../../org/w3c/util/PropertyMonitoring.html" title="interface in org.w3c.util">PropertyMonitoring</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>name</CODE> - The name of the property that changed.\r
+<DT><B>Returns:</B><DD>A boolean, if <strong>true</strong>, accept the new property\r
+ value, otherwise, reject it and reset the property to its old\r
+ value.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="sweepSession()"><!-- --></A><H3>\r
+sweepSession</H3>\r
+<PRE>\r
+protected void <B>sweepSession</B>()</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <DD>Remove sessions with idle time > max idle time\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="removeOldestIdleSession()"><!-- --></A><H3>\r
+removeOldestIdleSession</H3>\r
+<PRE>\r
+protected void <B>removeOldestIdleSession</B>()</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getIds()"><!-- --></A><H3>\r
+getIds</H3>\r
+<PRE>\r
+public java.util.Enumeration <B>getIds</B>()</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <I>since jsdk2.1</I>\r
+<P>\r
+<DD>Returns an enumeration of all of the session IDs in this context.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE>getIds</CODE> in interface <CODE>javax.servlet.http.HttpSessionContext</CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>an enumeration of all session IDs in this context.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getSession(java.lang.String)"><!-- --></A><H3>\r
+getSession</H3>\r
+<PRE>\r
+public javax.servlet.http.HttpSession <B>getSession</B>(java.lang.String sessionId)</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <I>since jsdk2.1</I>\r
+<P>\r
+<DD>Returns the session bound to the specified session ID.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE>getSession</CODE> in interface <CODE>javax.servlet.http.HttpSessionContext</CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>sessionID</CODE> - - the ID of a particular session object\r
+<DT><B>Returns:</B><DD>the session. Returns null if the session ID does \r
+ not refer to a valid session.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="addSession(org.w3c.jigsaw.servlet.JigsawHttpSession)"><!-- --></A><H3>\r
+addSession</H3>\r
+<PRE>\r
+protected java.lang.String <B>addSession</B>(<A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSession.html" title="class in org.w3c.jigsaw.servlet">JigsawHttpSession</A> session)</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <DD>Add a session in this context.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>session</CODE> - - The JigsawHttpSession to add.\r
+<DT><B>Returns:</B><DD>The session ID.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="removeSession(java.lang.String)"><!-- --></A><H3>\r
+removeSession</H3>\r
+<PRE>\r
+protected void <B>removeSession</B>(java.lang.String id)</PRE>\r
+<DL>\r
+<DD><B>Deprecated.</B> <DD>Remove a session of this session context.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>id</CODE> - - The session ID.</DL>\r
+</DD>\r
+</DL>\r
+<!-- ========= END OF CLASS DATA ========= -->\r
+<HR>\r
+\r
+\r
+<!-- ======= START OF BOTTOM NAVBAR ====== -->\r
+<A NAME="navbar_bottom"><!-- --></A>\r
+<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>\r
+<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">\r
+<TR>\r
+<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">\r
+<A NAME="navbar_bottom_firstrow"><!-- --></A>\r
+<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">\r
+ <TR ALIGN="center" VALIGN="top">\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>\r
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>\r
+ </TR>\r
+</TABLE>\r
+</TD>\r
+<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>\r
+</EM>\r
+</TD>\r
+</TR>\r
+\r
+<TR>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../org/w3c/jigsaw/servlet/JigsawHttpSession.html" title="class in org.w3c.jigsaw.servlet"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../../org/w3c/jigsaw/servlet/JigsawRequestDispatcher.html" title="class in org.w3c.jigsaw.servlet"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../index.html?org/w3c/jigsaw/servlet/JigsawHttpSessionContext.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="JigsawHttpSessionContext.html" target="_top"><B>NO FRAMES</B></A> \r
+ <SCRIPT type="text/javascript">\r
+ <!--\r
+ if(window==top) {\r
+ document.writeln('<A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>');\r
+ }\r
+ //-->\r
+</SCRIPT>\r
+<NOSCRIPT>\r
+ <A HREF="../../../../allclasses-noframe.html"><B>All Classes</B></A>\r
+</NOSCRIPT>\r
+\r
+\r
+</FONT></TD>\r
+</TR>\r
+<TR>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+ SUMMARY: NESTED | FIELD | <A HREF="#constructor_summary">CONSTR</A> | <A HREF="#method_summary">METHOD</A></FONT></TD>\r
+<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">\r
+DETAIL: FIELD | <A HREF="#constructor_detail">CONSTR</A> | <A HREF="#method_detail">METHOD</A></FONT></TD>\r
+</TR>\r
+</TABLE>\r
+<A NAME="skip-navbar_bottom"></A>\r
+<!-- ======== END OF BOTTOM NAVBAR ======= -->\r
+\r
+<HR>\r
+\r
+</BODY>\r
+</HTML>\r
projects / Benchmarks_CSolver.git / blobdiff