Changeset 5237 for trunk/gli/src/org/greenstone/gatherer/collection/Collection.java

Timestamp:

2003-08-21T11:14:40+12:00 (21 years ago)

Author:

jmt12

Message:

Fix 203B142. Collections that are built outside of GLI will now be recognized as previewable

File:

• trunk/gli/src/org/greenstone/gatherer/collection/Collection.java (modified) (5 diffs)

trunk/gli/src/org/greenstone/gatherer/collection/Collection.java

@@ -76 +76 @@
     /** The name of the build element. */
     static final private String BUILD = "Build";
-    /** The name of the built attribute. */
-    static final private String BUILT = "built";
     /** The name of the build config element. */
     static final private String BUILD_CONFIG = "BuildConfig";
@@ -160 +158 @@
     msm = null;
     }
-    /** Determine whether this collection has been successfully built in the past.
-     * @return <i>true</i> if the collection has been built, <i>false</i> otherwise.
-     */
-    public boolean getBuilt() {
-    return get(BUILT);
-    }
 
     /** Determine the number of documents and folders in this collection. */
@@ -309 +301 @@
     Utility.export(document, file);
     }
-    /** Set the value of built to the given value.
-     * @param value The new value for built, <i>true</i> if the collection has been built successfully, <i>false</i> otherwise.
-     */
-    public void setBuilt(boolean value) {
-    set(BUILT, value);
-    saved = false;
-    }
+
     /** Set the value of imported to the given value.
      * @param value The new value for imported, <i>true</i> if the collection has been imported successfully, <i>false</i> otherwise.
@@ -351 +337 @@
         Element argument_element = (Element) arguments.item(i);
         if(argument_element.getParentNode() == document_element) {
-            if(argument_element.getAttribute(NAME).equalsIgnoreCase(BUILT)) {
+            if(argument_element.getAttribute(NAME).equalsIgnoreCase(name)) {
             String value = MSMUtils.getValue(argument_element);
             if(value.equalsIgnoreCase(TRUE)) {
@@ -428 +414 @@
         Element argument_element = (Element) arguments.item(i);
         if(argument_element.getParentNode() == document_element) {
-            if(argument_element.getAttribute(NAME).equalsIgnoreCase(BUILT)) {
+            if(argument_element.getAttribute(NAME).equalsIgnoreCase(name)) {
             // Strip any current value nodes.
             while(argument_element.hasChildNodes()) {