--- /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:24 UTC 2007 -->\r
+<TITLE>\r
+PropertyManager\r
+</TITLE>\r
+\r
+<META NAME="keywords" CONTENT="org.w3c.jigadmin.PropertyManager 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="PropertyManager";\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/jigadmin/Main.html" title="class in org.w3c.jigadmin"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../index.html?org/w3c/jigadmin/PropertyManager.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="PropertyManager.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.jigadmin</FONT>\r
+<BR>\r
+Class PropertyManager</H2>\r
+<PRE>\r
+java.lang.Object\r
+ <IMG SRC="../../../resources/inherit.gif" ALT="extended by "><B>org.w3c.jigadmin.PropertyManager</B>\r
+</PRE>\r
+<HR>\r
+<DL>\r
+<DT><PRE>public class <B>PropertyManager</B><DT>extends java.lang.Object</DL>\r
+</PRE>\r
+\r
+<P>\r
+The PropertyManager\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 java.util.Hashtable</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#classProperties">classProperties</A></B></CODE>\r
+\r
+<BR>\r
+ The set of resource classes we know about.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#frames">frames</A></B></CODE>\r
+\r
+<BR>\r
+ the hashtable of frames</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#iconProperties">iconProperties</A></B></CODE>\r
+\r
+<BR>\r
+ the mapping of icon names to icon locations</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#indexers">indexers</A></B></CODE>\r
+\r
+<BR>\r
+ the hashtable of indexers</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected java.util.Hashtable</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#mimeTypes">mimeTypes</A></B></CODE>\r
+\r
+<BR>\r
+ the hashtable of mime types</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>static <A HREF="../../../org/w3c/jigadmin/PropertyManager.html" title="class in org.w3c.jigadmin">PropertyManager</A></CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#propertyManager">propertyManager</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>protected java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#resources">resources</A></B></CODE>\r
+\r
+<BR>\r
+ the hashtable of resources</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected java.io.File</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#root">root</A></B></CODE>\r
+\r
+<BR>\r
+ The root for the property files.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>static java.lang.String</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#ROOT_P">ROOT_P</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>protected java.io.File</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#zipfile">zipfile</A></B></CODE>\r
+\r
+<BR>\r
+ </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/jigadmin/PropertyManager.html#PropertyManager(java.io.File, java.io.File)">PropertyManager</A></B>(java.io.File zipfile,\r
+ java.io.File root)</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>protected int</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#findResourceClassProperties(java.lang.String[])">findResourceClassProperties</A></B>(java.lang.String[] classes)</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>protected int</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#findResourceClassProperties(java.lang.String[], int)">findResourceClassProperties</A></B>(java.lang.String[] classes,\r
+ int offset)</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> java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getAttributeProperties(org.w3c.jigadmin.RemoteResourceWrapper, org.w3c.tools.resources.Attribute)">getAttributeProperties</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw,\r
+ <A HREF="../../../org/w3c/tools/resources/Attribute.html" title="class in org.w3c.tools.resources">Attribute</A> attr)</CODE>\r
+\r
+<BR>\r
+ Get the properties for the attribute editor of a given remote resource.</TD>\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/jigadmin/PropertyManager.html#getClassHierarchy(org.w3c.jigadmin.RemoteResourceWrapper)">getClassHierarchy</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</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>protected java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getDefaultAttributeProperties(java.lang.String)">getDefaultAttributeProperties</A></B>(java.lang.String clsname)</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>protected java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getDefaultHelperProperties(java.lang.String)">getDefaultHelperProperties</A></B>(java.lang.String clsname)</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> java.lang.String</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getEditorClass(org.w3c.jigadmin.RemoteResourceWrapper)">getEditorClass</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</CODE>\r
+\r
+<BR>\r
+ Get any properties for the editor of the given remote resource instance.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getEditorProperties(org.w3c.jigadmin.RemoteResourceWrapper)">getEditorProperties</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</CODE>\r
+\r
+<BR>\r
+ Get any properties for the editor of the given remote resource instance.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Hashtable</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getFrames()">getFrames</A></B>()</CODE>\r
+\r
+<BR>\r
+ get the hashtable of frames</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/jigadmin/PropertyManager.html#getHelperClasses(org.w3c.jigadmin.RemoteResourceWrapper)">getHelperClasses</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</CODE>\r
+\r
+<BR>\r
+ Get the list of helpers to be created for the given remote resource.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getHelperProperties(org.w3c.jigadmin.RemoteResourceWrapper, java.lang.String)">getHelperProperties</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw,\r
+ java.lang.String helperClass)</CODE>\r
+\r
+<BR>\r
+ Get the properties for the helper of a given remote resource.</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/jigadmin/PropertyManager.html#getIconLocation(java.lang.String)">getIconLocation</A></B>(java.lang.String name)</CODE>\r
+\r
+<BR>\r
+ get the icon name resolved from its description</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Hashtable</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getIndexers()">getIndexers</A></B>()</CODE>\r
+\r
+<BR>\r
+ get the hashtable of indexers</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Hashtable</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getMimeTypes()">getMimeTypes</A></B>()</CODE>\r
+\r
+<BR>\r
+ get the hashtable of mimetypes</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>static <A HREF="../../../org/w3c/jigadmin/PropertyManager.html" title="class in org.w3c.jigadmin">PropertyManager</A></CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getPropertyManager()">getPropertyManager</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>protected org.w3c.jigadmin.ResourceClassProperties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getResourceClassProperties(java.lang.String[])">getResourceClassProperties</A></B>(java.lang.String[] names)</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>protected org.w3c.jigadmin.ResourceClassProperties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getResourceClassProperties(java.lang.String[], int)">getResourceClassProperties</A></B>(java.lang.String[] names,\r
+ int from)</CODE>\r
+\r
+<BR>\r
+ Get the best matching resource class properties for given class.</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE> java.util.Hashtable</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#getResources()">getResources</A></B>()</CODE>\r
+\r
+<BR>\r
+ get the hashtable of resources</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/jigadmin/PropertyManager.html#initialize()">initialize</A></B>()</CODE>\r
+\r
+<BR>\r
+ Load the properties from the root directory.</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/jigadmin/PropertyManager.html#isEditable(org.w3c.jigadmin.RemoteResourceWrapper)">isEditable</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</CODE>\r
+\r
+<BR>\r
+ Is the resource editable via JigAdmin?</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/jigadmin/PropertyManager.html#isExtensible(org.w3c.jigadmin.RemoteResourceWrapper)">isExtensible</A></B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</CODE>\r
+\r
+<BR>\r
+ Is the resource extensible?</TD>\r
+</TR>\r
+<TR BGCOLOR="white" CLASS="TableRowColor">\r
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">\r
+<CODE>protected static java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#merge(java.util.Properties, java.util.Properties)">merge</A></B>(java.util.Properties into,\r
+ java.util.Properties source)</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>protected static java.util.Properties</CODE></FONT></TD>\r
+<TD><CODE><B><A HREF="../../../org/w3c/jigadmin/PropertyManager.html#merge(java.util.Properties, java.util.Properties, boolean)">merge</A></B>(java.util.Properties into,\r
+ java.util.Properties source,\r
+ boolean overide)</CODE>\r
+\r
+<BR>\r
+ </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="root"><!-- --></A><H3>\r
+root</H3>\r
+<PRE>\r
+protected java.io.File <B>root</B></PRE>\r
+<DL>\r
+<DD>The root for the property files.\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="zipfile"><!-- --></A><H3>\r
+zipfile</H3>\r
+<PRE>\r
+protected java.io.File <B>zipfile</B></PRE>\r
+<DL>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="classProperties"><!-- --></A><H3>\r
+classProperties</H3>\r
+<PRE>\r
+protected java.util.Hashtable <B>classProperties</B></PRE>\r
+<DL>\r
+<DD>The set of resource classes we know about.\r
+ Maps class names to ResourceClassProperty\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="iconProperties"><!-- --></A><H3>\r
+iconProperties</H3>\r
+<PRE>\r
+protected java.util.Properties <B>iconProperties</B></PRE>\r
+<DL>\r
+<DD>the mapping of icon names to icon locations\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="mimeTypes"><!-- --></A><H3>\r
+mimeTypes</H3>\r
+<PRE>\r
+protected java.util.Hashtable <B>mimeTypes</B></PRE>\r
+<DL>\r
+<DD>the hashtable of mime types\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="resources"><!-- --></A><H3>\r
+resources</H3>\r
+<PRE>\r
+protected java.util.Properties <B>resources</B></PRE>\r
+<DL>\r
+<DD>the hashtable of resources\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="frames"><!-- --></A><H3>\r
+frames</H3>\r
+<PRE>\r
+protected java.util.Properties <B>frames</B></PRE>\r
+<DL>\r
+<DD>the hashtable of frames\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="indexers"><!-- --></A><H3>\r
+indexers</H3>\r
+<PRE>\r
+protected java.util.Properties <B>indexers</B></PRE>\r
+<DL>\r
+<DD>the hashtable of indexers\r
+<P>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="ROOT_P"><!-- --></A><H3>\r
+ROOT_P</H3>\r
+<PRE>\r
+public static java.lang.String <B>ROOT_P</B></PRE>\r
+<DL>\r
+<DL>\r
+</DL>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="propertyManager"><!-- --></A><H3>\r
+propertyManager</H3>\r
+<PRE>\r
+public static <A HREF="../../../org/w3c/jigadmin/PropertyManager.html" title="class in org.w3c.jigadmin">PropertyManager</A> <B>propertyManager</B></PRE>\r
+<DL>\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="PropertyManager(java.io.File, java.io.File)"><!-- --></A><H3>\r
+PropertyManager</H3>\r
+<PRE>\r
+public <B>PropertyManager</B>(java.io.File zipfile,\r
+ java.io.File root)</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="merge(java.util.Properties, java.util.Properties, boolean)"><!-- --></A><H3>\r
+merge</H3>\r
+<PRE>\r
+protected static java.util.Properties <B>merge</B>(java.util.Properties into,\r
+ java.util.Properties source,\r
+ boolean overide)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="merge(java.util.Properties, java.util.Properties)"><!-- --></A><H3>\r
+merge</H3>\r
+<PRE>\r
+protected static java.util.Properties <B>merge</B>(java.util.Properties into,\r
+ java.util.Properties source)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="initialize()"><!-- --></A><H3>\r
+initialize</H3>\r
+<PRE>\r
+protected void <B>initialize</B>()</PRE>\r
+<DL>\r
+<DD>Load the properties from the root directory.\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getResourceClassProperties(java.lang.String[], int)"><!-- --></A><H3>\r
+getResourceClassProperties</H3>\r
+<PRE>\r
+protected org.w3c.jigadmin.ResourceClassProperties <B>getResourceClassProperties</B>(java.lang.String[] names,\r
+ int from)</PRE>\r
+<DL>\r
+<DD>Get the best matching resource class properties for given class.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>classes</CODE> - The class names we're looking a macth for.\r
+<DT><B>Returns:</B><DD>A ResourceClassProperties instance.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getResourceClassProperties(java.lang.String[])"><!-- --></A><H3>\r
+getResourceClassProperties</H3>\r
+<PRE>\r
+protected org.w3c.jigadmin.ResourceClassProperties <B>getResourceClassProperties</B>(java.lang.String[] names)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="findResourceClassProperties(java.lang.String[], int)"><!-- --></A><H3>\r
+findResourceClassProperties</H3>\r
+<PRE>\r
+protected int <B>findResourceClassProperties</B>(java.lang.String[] classes,\r
+ int offset)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="findResourceClassProperties(java.lang.String[])"><!-- --></A><H3>\r
+findResourceClassProperties</H3>\r
+<PRE>\r
+protected int <B>findResourceClassProperties</B>(java.lang.String[] classes)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getClassHierarchy(org.w3c.jigadmin.RemoteResourceWrapper)"><!-- --></A><H3>\r
+getClassHierarchy</H3>\r
+<PRE>\r
+protected java.lang.String[] <B>getClassHierarchy</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getDefaultHelperProperties(java.lang.String)"><!-- --></A><H3>\r
+getDefaultHelperProperties</H3>\r
+<PRE>\r
+protected java.util.Properties <B>getDefaultHelperProperties</B>(java.lang.String clsname)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getDefaultAttributeProperties(java.lang.String)"><!-- --></A><H3>\r
+getDefaultAttributeProperties</H3>\r
+<PRE>\r
+protected java.util.Properties <B>getDefaultAttributeProperties</B>(java.lang.String clsname)</PRE>\r
+<DL>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getEditorProperties(org.w3c.jigadmin.RemoteResourceWrapper)"><!-- --></A><H3>\r
+getEditorProperties</H3>\r
+<PRE>\r
+public java.util.Properties <B>getEditorProperties</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</PRE>\r
+<DL>\r
+<DD>Get any properties for the editor of the given remote resource instance.\r
+<P>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>A Properties instance.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getEditorClass(org.w3c.jigadmin.RemoteResourceWrapper)"><!-- --></A><H3>\r
+getEditorClass</H3>\r
+<PRE>\r
+public java.lang.String <B>getEditorClass</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</PRE>\r
+<DL>\r
+<DD>Get any properties for the editor of the given remote resource instance.\r
+<P>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>A Properties instance.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="isEditable(org.w3c.jigadmin.RemoteResourceWrapper)"><!-- --></A><H3>\r
+isEditable</H3>\r
+<PRE>\r
+public boolean <B>isEditable</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</PRE>\r
+<DL>\r
+<DD>Is the resource editable via JigAdmin?\r
+<P>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>rrw</CODE> - the RemoteResourceWrapper\r
+<DT><B>Returns:</B><DD>true is the resoure is editable</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="isExtensible(org.w3c.jigadmin.RemoteResourceWrapper)"><!-- --></A><H3>\r
+isExtensible</H3>\r
+<PRE>\r
+public boolean <B>isExtensible</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</PRE>\r
+<DL>\r
+<DD>Is the resource extensible?\r
+<P>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>rrw</CODE> - the RemoteResourceWrapper\r
+<DT><B>Returns:</B><DD>true is the resoure is extensible</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getHelperClasses(org.w3c.jigadmin.RemoteResourceWrapper)"><!-- --></A><H3>\r
+getHelperClasses</H3>\r
+<PRE>\r
+public java.lang.String[] <B>getHelperClasses</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw)</PRE>\r
+<DL>\r
+<DD>Get the list of helpers to be created for the given remote resource.\r
+<P>\r
+<DD><DL>\r
+\r
+<DT><B>Returns:</B><DD>A set of helper class names (as an array).</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getHelperProperties(org.w3c.jigadmin.RemoteResourceWrapper, java.lang.String)"><!-- --></A><H3>\r
+getHelperProperties</H3>\r
+<PRE>\r
+public java.util.Properties <B>getHelperProperties</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw,\r
+ java.lang.String helperClass)</PRE>\r
+<DL>\r
+<DD>Get the properties for the helper of a given remote resource.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>rr</CODE> - The remote resource being edited.<DD><CODE>helperClass</CODE> - Class of the helper about to be created.\r
+<DT><B>Returns:</B><DD>An instance of Properties.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getAttributeProperties(org.w3c.jigadmin.RemoteResourceWrapper, org.w3c.tools.resources.Attribute)"><!-- --></A><H3>\r
+getAttributeProperties</H3>\r
+<PRE>\r
+public java.util.Properties <B>getAttributeProperties</B>(<A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin">RemoteResourceWrapper</A> rrw,\r
+ <A HREF="../../../org/w3c/tools/resources/Attribute.html" title="class in org.w3c.tools.resources">Attribute</A> attr)</PRE>\r
+<DL>\r
+<DD>Get the properties for the attribute editor of a given remote resource.\r
+<P>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>rr</CODE> - The remote resource being edited.<DD><CODE>attr</CODE> - The attribute being edited.</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getIconLocation(java.lang.String)"><!-- --></A><H3>\r
+getIconLocation</H3>\r
+<PRE>\r
+public java.lang.String <B>getIconLocation</B>(java.lang.String name)</PRE>\r
+<DL>\r
+<DD>get the icon name resolved from its description\r
+<P>\r
+<DD><DL>\r
+<DT><B>Parameters:</B><DD><CODE>name</CODE> - a String</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getMimeTypes()"><!-- --></A><H3>\r
+getMimeTypes</H3>\r
+<PRE>\r
+public java.util.Hashtable <B>getMimeTypes</B>()</PRE>\r
+<DL>\r
+<DD>get the hashtable of mimetypes\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getResources()"><!-- --></A><H3>\r
+getResources</H3>\r
+<PRE>\r
+public java.util.Hashtable <B>getResources</B>()</PRE>\r
+<DL>\r
+<DD>get the hashtable of resources\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getIndexers()"><!-- --></A><H3>\r
+getIndexers</H3>\r
+<PRE>\r
+public java.util.Hashtable <B>getIndexers</B>()</PRE>\r
+<DL>\r
+<DD>get the hashtable of indexers\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getFrames()"><!-- --></A><H3>\r
+getFrames</H3>\r
+<PRE>\r
+public java.util.Hashtable <B>getFrames</B>()</PRE>\r
+<DL>\r
+<DD>get the hashtable of frames\r
+<P>\r
+<DD><DL>\r
+</DL>\r
+</DD>\r
+</DL>\r
+<HR>\r
+\r
+<A NAME="getPropertyManager()"><!-- --></A><H3>\r
+getPropertyManager</H3>\r
+<PRE>\r
+public static <A HREF="../../../org/w3c/jigadmin/PropertyManager.html" title="class in org.w3c.jigadmin">PropertyManager</A> <B>getPropertyManager</B>()</PRE>\r
+<DL>\r
+<DD><DL>\r
+</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/jigadmin/Main.html" title="class in org.w3c.jigadmin"><B>PREV CLASS</B></A> \r
+ <A HREF="../../../org/w3c/jigadmin/RemoteResourceWrapper.html" title="class in org.w3c.jigadmin"><B>NEXT CLASS</B></A></FONT></TD>\r
+<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">\r
+ <A HREF="../../../index.html?org/w3c/jigadmin/PropertyManager.html" target="_top"><B>FRAMES</B></A> \r
+ <A HREF="PropertyManager.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