//# 3 errors, 192 messages
//#
/*
    //#EntrySet.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types
    //#EntrySet.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types.org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types__static_init
    //#EntrySet.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#EntrySet.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init
* Licensed to the Apache Software Foundation (ASF) under one or more
*  contributor license agreements.  The ASF licenses this file to You
* under the Apache License, Version 2.0 (the "License"); you may not
* use this file except in compliance with the License.
* You may obtain a copy of the License at
*
*     http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.  For additional information regarding
* copyright in this work, please see the NOTICE file in the top level
* directory of this distribution.
*/
package org.apache.roller.weblogger.webservices.adminprotocol.sdk;

import java.util.Arrays;
import java.util.List;
import org.jdom.Document;
import org.jdom.Element;

/**
 * This class is the abstract notion of a set of entries.
 * Weblog resources are represented by sets of entries. 
 *
 * @author jtb
 */
public abstract class EntrySet extends Entry {
    //#EntrySet.java:31: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()): this
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()): this.href
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()): this.entries == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()): this.href == null
    /** Entry set types. */
    public static interface Types {
        /*
         * Set of user entries. 
         * A user entry describes a user of the weblog server.
         */
        public static final String USERS = "users";
        /** 
         * Set of weblog entries. 
         * Note that this is not a set of entries in a weblog, but rather,
         * a set of entries that describe the weblog itself.
         */
        public static final String WEBLOGS = "weblogs";
        /** 
         * Set of member entries.
         * A member entry describes a user's membership to and 
         * permission with a particular weblog.
         */
        public static final String MEMBERS = "members";
         /**
          * Set of workspace entries.
          * This type, along with WORKSPACE and COLLECTION, define
          * the element that describe the introspection document
          * for the RAP service.
          * <p>
          * A service is a set of workspaces, and a workspace is a set of 
          * collections.
          */
        public static final String SERVICE = "service";        
        /** Set of collection entries. */
        public static final String WORKSPACE = "workspace";           
    }
    
    private List entries = null;
    //#EntrySet.java:65: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet()
        
    /** Get the type of this object. */
    public abstract String getType();
    
    /** Get the entries in this object. */
    public Entry[] getEntries() {
        return (Entry[])entries.toArray(new Entry[0]);
    //#EntrySet.java:72: method: Entry[] org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.getEntries()
    //#input(Entry[] getEntries()): this
    //#input(Entry[] getEntries()): this.entries
    //#output(Entry[] getEntries()): return_value
    //#pre[2] (Entry[] getEntries()): this.entries != null
    //#post(Entry[] getEntries()): init'ed(return_value)
    //#EntrySet.java:72: end of method: Entry[] org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.getEntries()
    }
    
    /** Set the entries of this object. */
    public void setEntries(Entry[] entryArray) {
        entries = Arrays.asList(entryArray);
    //#EntrySet.java:77: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.setEntries(Entry[])
    //#input(void setEntries(Entry[])): entryArray
    //#input(void setEntries(Entry[])): this
    //#output(void setEntries(Entry[])): this.entries
    //#post(void setEntries(Entry[])): init'ed(this.entries)
    }
    //#EntrySet.java:78: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.setEntries(Entry[])
    
    /** Is this entry set empty? */
    public boolean isEmpty() {
        return entries == null || entries.size() == 0;
    //#EntrySet.java:82: method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.isEmpty()
    //#input(bool isEmpty()): this
    //#input(bool isEmpty()): this.entries
    //#output(bool isEmpty()): return_value
    //#pre[2] (bool isEmpty()): init'ed(this.entries)
    //#post(bool isEmpty()): init'ed(return_value)
    //#EntrySet.java:82: end of method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.isEmpty()
    }
    
    /** This object as a JDOM Document */
    public Document toDocument() {
        Element e = new Element(getType(), NAMESPACE);
    //#EntrySet.java:87: method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.toDocument()
    //#EntrySet.java:87: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
    //#EntrySet.java:87: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    suspicious precondition index: [2]
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(Document toDocument()): __Descendant_Table[others]
    //#input(Document toDocument()): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getType()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[others]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): this
    //#input(Document toDocument()): this.__Tag
    //#input(Document toDocument()): this.entries
    //#input(Document toDocument()): this.href
    //#output(Document toDocument()): new Document(toDocument#2) num objects
    //#output(Document toDocument()): return_value
    //#new obj(Document toDocument()): new Document(toDocument#2)
    //#pre[2] (Document toDocument()): this.__Tag in {org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service, org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace, org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet}
    //#pre[3] (Document toDocument()): this.entries != null
    //#pre[4] (Document toDocument()): init'ed(this.href)
    //#presumption(Document toDocument()): getEntries(...).length@94 <= 4_294_967_295
    //#presumption(Document toDocument()): getEntries(...).length@95 >= 1
    //#presumption(Document toDocument()): getEntries(...).length@94 <= getEntries(...).length@95
    //#presumption(Document toDocument()): java.util.List:toArray(...)@72 != null
    //#presumption(Document toDocument()): java.util.List:toArray(...)@72 != null
    //#presumption(Document toDocument()): toDocument(...)@95 != null
    //#post(Document toDocument()): return_value == &new Document(toDocument#2)
    //#post(Document toDocument()): new Document(toDocument#2) num objects == 1
    //#unanalyzed(Document toDocument()): Effects-of-calling:java.util.List:toArray
        Document doc = new Document(e);
    //#EntrySet.java:88: Warning: method not available
    //#    -- call on void org.jdom.Document(Element)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Document(Element)
        
        // href
        e.setAttribute(Attributes.HREF, getHref());
    //#EntrySet.java:91: Warning: method not available
    //#    -- call on Element org.jdom.Element:setAttribute(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setAttribute(String, String)
        
        // entries
        for (int i = 0; i < getEntries().length; i++) {
            e.addContent(getEntries()[i].toDocument().detachRootElement());
    //#EntrySet.java:95: ?use of default init
    //#    init'ed(getEntries(...)[i])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: init'ed(getEntries(...)[i])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#EntrySet.java:95: ?!null dereference
    //#    getEntries(...)[i] != null
    //#    severity: HIGH
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: getEntries(...)[i] != null
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
    //#EntrySet.java:95: ?null dereference
    //#    not_init'ed(getEntries(...)[i])
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: not_init'ed(getEntries(...)[i])
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#EntrySet.java:95: Warning: call too complex - analysis skipped
    //#    -- call on Document toDocument()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    unanalyzed callee: Document toDocument()
    //#EntrySet.java:95: Warning: method not available
    //#    -- call on Element org.jdom.Document:detachRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Document:detachRootElement()
    //#EntrySet.java:95: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        return doc;
    //#EntrySet.java:98: end of method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.toDocument()
    }
   
    public boolean equals(Object o) {
        if ( o == null || o.getClass() != this.getClass()) { 
    //#EntrySet.java:102: method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.equals(Object)
    //#EntrySet.java:102: Warning: suspicious precondition
    //#    the precondition for o.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: bool equals(Object)
    //#    suspicious precondition index: [2]
    //#    Attribs:  Soft
    //#EntrySet.java:102: Warning: suspicious precondition
    //#    the precondition for this.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: bool equals(Object)
    //#    suspicious precondition index: [6]
    //#    Attribs:  Soft
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(bool equals(Object)): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): o
    //#input(bool equals(Object)): o.__Tag
    //#input(bool equals(Object)): o.entries
    //#input(bool equals(Object)): o.href
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): this
    //#input(bool equals(Object)): this.__Tag
    //#input(bool equals(Object)): this.entries
    //#input(bool equals(Object)): this.href
    //#output(bool equals(Object)): return_value
    //#pre[2] (bool equals(Object)): (soft) o.__Tag in {org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service, org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace, org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet}
    //#pre[3] (bool equals(Object)): (soft) o.entries != null
    //#pre[4] (bool equals(Object)): (soft) init'ed(o.href)
    //#pre[6] (bool equals(Object)): (soft) this.__Tag in {org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service, org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace, org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet, org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet}
    //#pre[7] (bool equals(Object)): (soft) this.entries != null
    //#pre[8] (bool equals(Object)): (soft) init'ed(this.href)
    //#post(bool equals(Object)): init'ed(return_value)
    //#unanalyzed(bool equals(Object)): Effects-of-calling:java.util.List:toArray
    //#test_vector(bool equals(Object)): o: Addr_Set{null}, Inverse{null}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(...)@108: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(...)@111: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(...)@114: {1}, {0}
            return false;        
        }
                
        EntrySet other = (EntrySet)o;
        
        if (!areEqual(getHref(), other.getHref())) {
    //#EntrySet.java:108: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getType(), other.getType())) {
    //#EntrySet.java:111: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(Object, Object)
            return false;
        }        
        if (!areEqual(getEntries(), other.getEntries())) {
    //#EntrySet.java:114: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(Object[], Object[])
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet:areEqual(Object[], Object[])
            return false;
        }
        
        return true;
    //#EntrySet.java:118: end of method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.equals(Object)
    }    
}
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet$Types]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet$Types] == &__Dispatch_Table
    //#EntrySet.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types.org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types__static_init
    //#EntrySet.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet$Types
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.isEmpty()Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry; == &getEntries
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.getHref()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.getHref
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.isEmpty()Z == &isEmpty
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V == &setEntries
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.setHref
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#EntrySet.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet__static_init
    //#EntrySet.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
