//# 0 errors, 213 messages
//#
/*
    //#MemberEntrySet.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags
    //#MemberEntrySet.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags__static_init
    //#MemberEntrySet.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
    //#MemberEntrySet.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__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.
*/
/*
 * WeblogEntrySet.java
 *
 * Created on January 17, 2006, 12:44 PM
 */

package org.apache.roller.weblogger.webservices.adminprotocol.sdk;

import java.io.InputStream;
import java.io.IOException;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import org.jdom.Document;
import org.jdom.Element;
import org.jdom.JDOMException;
import org.jdom.input.SAXBuilder;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.Types;

/**
 * This class describes a set of member entries. 
 *
 * @author jtb
 */
public class MemberEntrySet extends EntrySet {
    static interface Tags {
        public static final String MEMBERS = "members";
    }       
        
    public MemberEntrySet(String urlPrefix) {
    //#MemberEntrySet.java:47: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): "members"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.href
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): java.lang.StringBuilder:toString(...)._tainted == urlPrefix._tainted
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.entries == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)): this.href == &java.lang.StringBuilder:toString(...)
        setHref(urlPrefix + "/" + Types.MEMBERS);        
    }    
    //#MemberEntrySet.java:49: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)

    public MemberEntrySet(Document d, String urlPrefix) throws UnexpectedRootElementException {
    //#MemberEntrySet.java:51: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): "members"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): d
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.href
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): d != null
    //#pre[2] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): init'ed(this.entries)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:org.jdom.Element:getName
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.List:toArray
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:setEntries
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)): Effects-of-calling:java.util.Arrays:asList
        populate(d, urlPrefix);
    }
    //#MemberEntrySet.java:53: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)
    
    public MemberEntrySet(InputStream stream, String urlPrefix) throws JDOMException, IOException, UnexpectedRootElementException {               
    //#MemberEntrySet.java:55: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): "members"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): stream
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.href
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#presumption(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): org.jdom.input.SAXBuilder:build(...)@57 != null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): init'ed(this.entries)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:org.jdom.Element:getName
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.lang.String:equals
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.List:toArray
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:setEntries
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)): Effects-of-calling:java.util.Arrays:asList
        SAXBuilder sb = new SAXBuilder();
    //#MemberEntrySet.java:56: Warning: method not available
    //#    -- call on void org.jdom.input.SAXBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)
    //#    unanalyzed callee: void org.jdom.input.SAXBuilder()
        Document d = sb.build(stream);
    //#MemberEntrySet.java:57: Warning: method not available
    //#    -- call on Document org.jdom.input.SAXBuilder:build(InputStream)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)
    //#    unanalyzed callee: Document org.jdom.input.SAXBuilder:build(InputStream)

        populate(d, urlPrefix);        
    }    
    //#MemberEntrySet.java:60: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)
    
    private void populate(Document d, String urlPrefix) throws UnexpectedRootElementException {
        Element root = d.getRootElement();
    //#MemberEntrySet.java:63: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.populate(Document, String)
    //#MemberEntrySet.java:63: Warning: method not available
    //#    -- call on Element org.jdom.Document:getRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
    //#    method: void populate(Document, String)
    //#    unanalyzed callee: Element org.jdom.Document:getRootElement()
    //#input(void populate(Document, String)): "."._tainted
    //#input(void populate(Document, String)): "members"._tainted
    //#input(void populate(Document, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(void populate(Document, String)): __Descendant_Table[others]
    //#input(void populate(Document, String)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void populate(Document, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Document, String)): d
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Descendant_Table[others]
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.getName()Ljava/lang/String;
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void populate(Document, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#input(void populate(Document, String)): this
    //#input(void populate(Document, String)): this.__Tag
    //#input(void populate(Document, String)): urlPrefix
    //#input(void populate(Document, String)): urlPrefix._tainted
    //#output(void populate(Document, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void populate(Document, String)): this.entries
    //#output(void populate(Document, String)): this.href
    //#new obj(void populate(Document, String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void populate(Document, String)): d != null
    //#pre[4] (void populate(Document, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet
    //#presumption(void populate(Document, String)): java.lang.String:equals(...)@65 == 1
    //#presumption(void populate(Document, String)): java.util.Iterator:next(...)@72 != null
    //#presumption(void populate(Document, String)): org.jdom.Document:getRootElement(...)@63 != null
    //#presumption(void populate(Document, String)): org.jdom.Element:getName(...)@64 != null
    //#post(void populate(Document, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void populate(Document, String)): possibly_updated(this.entries)
    //#post(void populate(Document, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:java.lang.Exception
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:java.lang.StringBuilder:toString
    //#unanalyzed(void populate(Document, String)): Effects-of-calling:java.util.Arrays:asList
    //#test_vector(void populate(Document, String)): java.util.Iterator:hasNext(...)@71: {0}, {1}
    //#test_vector(void populate(Document, String)): org.jdom.Element:getChildren(...)@68: Addr_Set{null}, Inverse{null}
        String rootName = root.getName();
    //#MemberEntrySet.java:64: Warning: method not available
    //#    -- call on String org.jdom.Element:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
    //#    method: void populate(Document, String)
    //#    unanalyzed callee: String org.jdom.Element:getName()
        if (!rootName.equals(Tags.MEMBERS)) {
            throw new UnexpectedRootElementException("ERROR: Incorrect root element", Tags.MEMBERS, rootName);
        }
        List members = root.getChildren(MemberEntry.Tags.MEMBER, NAMESPACE);
    //#MemberEntrySet.java:68: Warning: method not available
    //#    -- call on List org.jdom.Element:getChildren(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
    //#    method: void populate(Document, String)
    //#    unanalyzed callee: List org.jdom.Element:getChildren(String, Namespace)
        if (members != null) {
            List entries = new ArrayList();
            for (Iterator i = members.iterator(); i.hasNext(); ) {
                Element member = (Element)i.next();
                MemberEntry entry = new MemberEntry(member, urlPrefix);
                entries.add(entry);
            }
            setEntries((Entry[])entries.toArray(new Entry[0]));
        }
        setHref(urlPrefix + "/" + Types.MEMBERS);
    }
    //#MemberEntrySet.java:79: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.populate(Document, String)
        
    public String getType() {
        return Types.MEMBERS;
    //#MemberEntrySet.java:82: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.getType()
    //#output(String getType()): return_value
    //#post(String getType()): return_value == &"members"
    //#MemberEntrySet.java:82: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.getType()
    }    
}
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet$Tags]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet$Tags] == &__Dispatch_Table
    //#MemberEntrySet.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags__static_init
    //#MemberEntrySet.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.isEmpty()Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.populate(Lorg/jdom/Document;Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.equals
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.getEntries
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__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.MemberEntrySet__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.isEmpty()Z == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.isEmpty
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.populate(Lorg/jdom/Document;Ljava/lang/String;)V == &populate
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.setEntries
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__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.MemberEntrySet__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#MemberEntrySet.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init
    //#MemberEntrySet.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet
