--- /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:44 UTC 2007 -->\r
+<TITLE>\r
+ResourceStoreImpl\r
+</TITLE>\r
+\r
+<META NAME="keywords" CONTENT="org.w3c.tools.resources.store.ResourceStoreImpl 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="ResourceStoreImpl";\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/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreManager.html" title="class in org.w3c.tools.resources.store"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../../index.html?org/w3c/tools/resources/store/ResourceStoreImpl.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="ResourceStoreImpl.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 | <A HREF="#field_summary">FIELD</A> | <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: <A HREF="#field_detail">FIELD</A> | <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.tools.resources.store</FONT>\r
+<BR>\r
+Class ResourceStoreImpl</H2>\r
+<PRE>\r
+java.lang.Object\r
+ <IMG SRC="../../../../../resources/inherit.gif" ALT="extended by "><B>org.w3c.tools.resources.store.ResourceStoreImpl</B>\r
+</PRE>\r
+<DL>\r
+<DT><B>All Implemented Interfaces:</B> <DD><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></DD>\r
+</DL>\r
+<HR>\r
+<DL>\r
+<DT><PRE>public class <B>ResourceStoreImpl</B><DT>extends java.lang.Object<DT>implements <A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></DL>\r
+</PRE>\r
+\r
+<P>\r
+A generic resource store that keeps resource in a file using\r
+ the Serializer interface.\r
+<P>\r
+\r
+<P>\r
+<HR>\r
+\r
+<P>\r
+<!-- =========== FIELD SUMMARY =========== -->\r
+\r
+<A NAME="field_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>Field 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 <A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreManager.html" title="class in org.w3c.tools.resources.store">ResourceStoreManager</A></CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#manager">manager</A></B></CODE>\r
+\r
+<BR>\r
+ Our resource store manager.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected <A HREF="../../../../../org/w3c/tools/resources/serialization/Serializer.html" title="interface in org.w3c.tools.resources.serialization">Serializer</A></CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#serializer">serializer</A></B></CODE>\r
+\r
+<BR>\r
+ Our Resource Serializer.</TD>\r
+</TR>\r
+</TABLE>\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/tools/resources/store/ResourceStoreImpl.html#ResourceStoreImpl()">ResourceStoreImpl</A></B>()</CODE>\r
+\r
+<BR>\r
+ </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> boolean</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#acceptUnload()">acceptUnload</A></B>()</CODE>\r
+\r
+<BR>\r
+ Can this resource store be unloaded now ?\r
+ This method gets called by the ResourceStoreManager before calling\r
+ the <code>shutdown</code> method, when possible.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#addResource(org.w3c.tools.resources.Resource)">addResource</A></B>(<A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> resource)</CODE>\r
+\r
+<BR>\r
+ Add this resource to this resource store.</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/tools/resources/store/ResourceStoreImpl.html#enumerateResourceIdentifiers()">enumerateResourceIdentifiers</A></B>()</CODE>\r
+\r
+<BR>\r
+ Enumerate all the resources saved in this store.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.lang.String</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#getIdentifier()">getIdentifier</A></B>()</CODE>\r
+\r
+<BR>\r
+ Get the identifier for that store.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> int</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#getVersion()">getVersion</A></B>()</CODE>\r
+\r
+<BR>\r
+ Get the version of that resource store.</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/tools/resources/store/ResourceStoreImpl.html#hasResource(java.lang.String)">hasResource</A></B>(java.lang.String identifier)</CODE>\r
+\r
+<BR>\r
+ Check for the existence of a resource in this store.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#initialize(org.w3c.tools.resources.store.ResourceStoreManager, java.lang.Object, java.io.File, org.w3c.tools.resources.serialization.Serializer)">initialize</A></B>(<A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreManager.html" title="class in org.w3c.tools.resources.store">ResourceStoreManager</A> manager,\r
+ java.lang.Object token,\r
+ java.io.File repository,\r
+ <A HREF="../../../../../org/w3c/tools/resources/serialization/Serializer.html" title="interface in org.w3c.tools.resources.serialization">Serializer</A> serializer)</CODE>\r
+\r
+<BR>\r
+ This resource store is being built, initialize it with the given arg.</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/tools/resources/store/ResourceStoreImpl.html#internalSave(boolean)">internalSave</A></B>(boolean unload)</CODE>\r
+\r
+<BR>\r
+ Internal save: save the repository back to disk.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> <A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A></CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#loadResource(java.lang.String, java.util.Hashtable)">loadResource</A></B>(java.lang.String identifier,\r
+ java.util.Hashtable defs)</CODE>\r
+\r
+<BR>\r
+ Restore the resource whose name is given.</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/tools/resources/store/ResourceStoreImpl.html#loadResources()">loadResources</A></B>()</CODE>\r
+\r
+<BR>\r
+ </TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> <A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A></CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#lookupResource(java.lang.String)">lookupResource</A></B>(java.lang.String identifier)</CODE>\r
+\r
+<BR>\r
+ Get this resource, but only if already loaded.</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/tools/resources/store/ResourceStoreImpl.html#markModified()">markModified</A></B>()</CODE>\r
+\r
+<BR>\r
+ </TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#markModified(org.w3c.tools.resources.Resource)">markModified</A></B>(<A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> resource)</CODE>\r
+\r
+<BR>\r
+ Mark this resource as modified.</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/tools/resources/store/ResourceStoreImpl.html#markUsed()">markUsed</A></B>()</CODE>\r
+\r
+<BR>\r
+ Mark the store as having been used recently.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#removeResource(java.lang.String)">removeResource</A></B>(java.lang.String identifier)</CODE>\r
+\r
+<BR>\r
+ Remove this resource from the repository.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#renameResource(java.lang.String, java.lang.String)">renameResource</A></B>(java.lang.String oldid,\r
+ java.lang.String newid)</CODE>\r
+\r
+<BR>\r
+ Rename a given resource.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#save()">save</A></B>()</CODE>\r
+\r
+<BR>\r
+ Save this store.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#saveResource(org.w3c.tools.resources.Resource)">saveResource</A></B>(<A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> resource)</CODE>\r
+\r
+<BR>\r
+ Stabilize the given resource.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> void</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreImpl.html#shutdown()">shutdown</A></B>()</CODE>\r
+\r
+<BR>\r
+ Shutdown this store.</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/tools/resources/store/ResourceStoreImpl.html#warning(java.lang.String)">warning</A></B>(java.lang.String msg)</CODE>\r
+\r
+<BR>\r
+ Emit the given string as a warning, to whoever it is appropriate.</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
+<!-- ============ FIELD DETAIL =========== -->\r
+\r
+<A NAME="field_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>Field Detail</B></FONT></TH>\r
+</TR>\r
+</TABLE>\r
+\r
+<A NAME="serializer"><!-- --></A><H3>\r
+serializer</H3>\r
+<PRE>\r
+protected <A HREF="../../../../../org/w3c/tools/resources/serialization/Serializer.html" title="interface in org.w3c.tools.resources.serialization">Serializer</A> <B>serializer</B></PRE>\r
+<DL>\r
+<DD>Our Resource Serializer.\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="manager"><!-- --></A><H3>\r
+manager</H3>\r
+<PRE>\r
+protected <A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreManager.html" title="class in org.w3c.tools.resources.store">ResourceStoreManager</A> <B>manager</B></PRE>\r
+<DL>\r
+<DD>Our resource store manager.\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\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="ResourceStoreImpl()"><!-- --></A><H3>\r
+ResourceStoreImpl</H3>\r
+<PRE>\r
+public <B>ResourceStoreImpl</B>()</PRE>\r
+<DL>\r
+</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="markUsed()"><!-- --></A><H3>\r
+markUsed</H3>\r
+<PRE>\r
+protected final void <B>markUsed</B>()</PRE>\r
+<DL>\r
+<DD>Mark the store as having been used recently.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="markModified()"><!-- --></A><H3>\r
+markModified</H3>\r
+<PRE>\r
+protected void <B>markModified</B>()</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getVersion()"><!-- --></A><H3>\r
+getVersion</H3>\r
+<PRE>\r
+public int <B>getVersion</B>()</PRE>\r
+<DL>\r
+<DD>Get the version of that resource store.\r
+ Version numbers are used to distinguish between pickling format. \r
+ A resource store implementator has the duty of bumping the returned\r
+ number whenever it's archiving format changes.\r
+ Resource stores that relies on some external archiving mechanisms\r
+ (such as a database), may return a constant.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#getVersion()">getVersion</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>An integer version number.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getIdentifier()"><!-- --></A><H3>\r
+getIdentifier</H3>\r
+<PRE>\r
+public java.lang.String <B>getIdentifier</B>()</PRE>\r
+<DL>\r
+<DD>Get the identifier for that store.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#getIdentifier()">getIdentifier</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>A uniq store identifier, as a String.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="warning(java.lang.String)"><!-- --></A><H3>\r
+warning</H3>\r
+<PRE>\r
+protected void <B>warning</B>(java.lang.String msg)</PRE>\r
+<DL>\r
+<DD>Emit the given string as a warning, to whoever it is appropriate.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>msg</CODE> - The warning message.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="loadResource(java.lang.String, java.util.Hashtable)"><!-- --></A><H3>\r
+loadResource</H3>\r
+<PRE>\r
+public <A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> <B>loadResource</B>(java.lang.String identifier,\r
+ java.util.Hashtable defs)\r
+ throws <A HREF="../../../../../org/w3c/tools/resources/InvalidResourceException.html" title="class in org.w3c.tools.resources">InvalidResourceException</A></PRE>\r
+<DL>\r
+<DD>Restore the resource whose name is given.\r
+ This method doesn't assume that the resource will actually be restored,\r
+ it can be kept in a cache by the ResourceStore object, and the cached \r
+ version of the resource may be returned.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#loadResource(java.lang.String, java.util.Hashtable)">loadResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>identifier</CODE> - The identifier of the resource to restore.<DD><CODE>defs</CODE> - Default attribute values. If the resource needs to be\r
+ restored from its pickled version, this Hashtable provides\r
+ a set of default values for some of the attributes.\r
+<DT><B>Returns:</B><DD>A Resource instance, or <strong>null</strong>.\r
+<DT><B>Throws:</B>\r
+<DD><CODE><A HREF="../../../../../org/w3c/tools/resources/InvalidResourceException.html" title="class in org.w3c.tools.resources">InvalidResourceException</A></CODE> - If the resource could not\r
+ be restored from the store.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="lookupResource(java.lang.String)"><!-- --></A><H3>\r
+lookupResource</H3>\r
+<PRE>\r
+public <A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> <B>lookupResource</B>(java.lang.String identifier)</PRE>\r
+<DL>\r
+<DD>Get this resource, but only if already loaded.\r
+ The resource store may (recommended) maintain a cache of the resource\r
+ it loads from its store. If the resource having this identifier \r
+ has already been loaded, return it, otherwise, return\r
+ <strong>null</strong>.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#lookupResource(java.lang.String)">lookupResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>identifier</CODE> - The resource identifier.\r
+<DT><B>Returns:</B><DD>A Resource instance, or <strong>null</strong>.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="saveResource(org.w3c.tools.resources.Resource)"><!-- --></A><H3>\r
+saveResource</H3>\r
+<PRE>\r
+public void <B>saveResource</B>(<A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> resource)</PRE>\r
+<DL>\r
+<DD>Stabilize the given resource.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#saveResource(org.w3c.tools.resources.Resource)">saveResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>resource</CODE> - The resource to save.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="addResource(org.w3c.tools.resources.Resource)"><!-- --></A><H3>\r
+addResource</H3>\r
+<PRE>\r
+public void <B>addResource</B>(<A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> resource)</PRE>\r
+<DL>\r
+<DD>Add this resource to this resource store.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#addResource(org.w3c.tools.resources.Resource)">addResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>resource</CODE> - The resource to be added.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="removeResource(java.lang.String)"><!-- --></A><H3>\r
+removeResource</H3>\r
+<PRE>\r
+public void <B>removeResource</B>(java.lang.String identifier)</PRE>\r
+<DL>\r
+<DD>Remove this resource from the repository.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#removeResource(java.lang.String)">removeResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>identifier</CODE> - The identifier of the resource to be removed.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="renameResource(java.lang.String, java.lang.String)"><!-- --></A><H3>\r
+renameResource</H3>\r
+<PRE>\r
+public void <B>renameResource</B>(java.lang.String oldid,\r
+ java.lang.String newid)</PRE>\r
+<DL>\r
+<DD>Rename a given resource.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#renameResource(java.lang.String, java.lang.String)">renameResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>oldid</CODE> - The olde resource identifier.<DD><CODE>newid</CODE> - The new resource identifier.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="markModified(org.w3c.tools.resources.Resource)"><!-- --></A><H3>\r
+markModified</H3>\r
+<PRE>\r
+public void <B>markModified</B>(<A HREF="../../../../../org/w3c/tools/resources/Resource.html" title="class in org.w3c.tools.resources">Resource</A> resource)</PRE>\r
+<DL>\r
+<DD>Mark this resource as modified.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#markModified(org.w3c.tools.resources.Resource)">markModified</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>resource</CODE> - The resource that has changed (and will have to be\r
+ pickled some time latter).</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="acceptUnload()"><!-- --></A><H3>\r
+acceptUnload</H3>\r
+<PRE>\r
+public boolean <B>acceptUnload</B>()</PRE>\r
+<DL>\r
+<DD>Can this resource store be unloaded now ?\r
+ This method gets called by the ResourceStoreManager before calling\r
+ the <code>shutdown</code> method, when possible. An implementation\r
+ of that method is responsible for checking the <code>acceptUnload\r
+ </code> method of all its loaded resource before returning \r
+ <strong>true</strong>, meaning that the resource store can be unloaded.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#acceptUnload()">acceptUnload</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>A boolean <strong>true</strong> if the resource store can be\r
+ unloaded.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="internalSave(boolean)"><!-- --></A><H3>\r
+internalSave</H3>\r
+<PRE>\r
+protected void <B>internalSave</B>(boolean unload)\r
+ throws java.io.IOException</PRE>\r
+<DL>\r
+<DD>Internal save: save the repository back to disk.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>unload</CODE> - Should we unload any existing resources ?\r
+<DT><B>Throws:</B>\r
+<DD><CODE>java.io.IOException</CODE></DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="shutdown()"><!-- --></A><H3>\r
+shutdown</H3>\r
+<PRE>\r
+public void <B>shutdown</B>()</PRE>\r
+<DL>\r
+<DD>Shutdown this store.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#shutdown()">shutdown</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="save()"><!-- --></A><H3>\r
+save</H3>\r
+<PRE>\r
+public void <B>save</B>()</PRE>\r
+<DL>\r
+<DD>Save this store.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#save()">save</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="enumerateResourceIdentifiers()"><!-- --></A><H3>\r
+enumerateResourceIdentifiers</H3>\r
+<PRE>\r
+public java.util.Enumeration <B>enumerateResourceIdentifiers</B>()</PRE>\r
+<DL>\r
+<DD>Enumerate all the resources saved in this store.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#enumerateResourceIdentifiers()">enumerateResourceIdentifiers</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>An enumeration of Strings, giving the identifier for all \r
+ the resources that this store knows about.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="hasResource(java.lang.String)"><!-- --></A><H3>\r
+hasResource</H3>\r
+<PRE>\r
+public boolean <B>hasResource</B>(java.lang.String identifier)</PRE>\r
+<DL>\r
+<DD>Check for the existence of a resource in this store.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#hasResource(java.lang.String)">hasResource</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>identifier</CODE> - The identifier of the resource to check.\r
+<DT><B>Returns:</B><DD>A boolean <strong>true</strong> if the resource exists\r
+ in this store, <strong>false</strong> otherwise.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="loadResources()"><!-- --></A><H3>\r
+loadResources</H3>\r
+<PRE>\r
+protected void <B>loadResources</B>()</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="initialize(org.w3c.tools.resources.store.ResourceStoreManager, java.lang.Object, java.io.File, org.w3c.tools.resources.serialization.Serializer)"><!-- --></A><H3>\r
+initialize</H3>\r
+<PRE>\r
+public void <B>initialize</B>(<A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreManager.html" title="class in org.w3c.tools.resources.store">ResourceStoreManager</A> manager,\r
+ java.lang.Object token,\r
+ java.io.File repository,\r
+ <A HREF="../../../../../org/w3c/tools/resources/serialization/Serializer.html" title="interface in org.w3c.tools.resources.serialization">Serializer</A> serializer)</PRE>\r
+<DL>\r
+<DD>This resource store is being built, initialize it with the given arg.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html#initialize(org.w3c.tools.resources.store.ResourceStoreManager, java.lang.Object, java.io.File, org.w3c.tools.resources.serialization.Serializer)">initialize</A></CODE> in interface <CODE><A HREF="../../../../../org/w3c/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store">ResourceStore</A></CODE></DL>\r
+</DD>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>manager</CODE> - The ResourceStoreManager instance that asks yourself\r
+ to initialize.<DD><CODE>token</CODE> - The resource store manager key to that resource store, \r
+ this token should be used when calling methods from the manager that\r
+ are to act on yourself.<DD><CODE>repository</CODE> - A file, giving the location of the associated \r
+ repository.</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/tools/resources/store/ResourceStore.html" title="interface in org.w3c.tools.resources.store"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../../../org/w3c/tools/resources/store/ResourceStoreManager.html" title="class in org.w3c.tools.resources.store"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../../../index.html?org/w3c/tools/resources/store/ResourceStoreImpl.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="ResourceStoreImpl.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 | <A HREF="#field_summary">FIELD</A> | <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: <A HREF="#field_detail">FIELD</A> | <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