//# 4 errors, 373 messages
//#
/*
    //#MemberEntry.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions
    //#MemberEntry.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions__static_init
    //#MemberEntry.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags
    //#MemberEntry.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags__static_init
    //#MemberEntry.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#MemberEntry.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__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.io.InputStream;
import java.io.IOException;
import org.jdom.Document;
import org.jdom.Element;
import org.jdom.Text;
import org.jdom.input.SAXBuilder;
import org.jdom.JDOMException;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry.Attributes;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry.Types;

/**
 * This class describes a member entry.
 * A member entry is a triple consisting of a user name, a weblog handle,
 * and a permission.
 */
public class MemberEntry extends Entry {
    /** Member permissions */
    public interface Permissions {
        public static final String ADMIN = "ADMIN";
        public static final String AUTHOR = "AUTHOR";
        public static final String LIMITED = "LIMITED";
    }
    
    static interface Tags {
        public static final String MEMBER = "member";
        public static final String NAME = "name";
        public static final String HANDLE = "handle";
        public static final String PERMISSION = "permission";
    }
    
    private String name;
    private String handle;
    private String permission;
    
    public MemberEntry(Element e, String urlPrefix) {
    //#MemberEntry.java:55: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): "members"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): __Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): e
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.handle
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.name
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.permission
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): e != null
    //#pre[2] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): init'ed(this.handle)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): init'ed(this.name)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): possibly_updated(this.permission)
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)): Effects-of-calling:java.lang.StringBuilder:toString
        populate(e, urlPrefix);
    //#MemberEntry.java:56: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate: (soft) init'ed(this.handle)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate(Element, String)
    //#    callee assertion: (soft) init'ed(this.handle)
    //#    callee file: MemberEntry.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 78
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#MemberEntry.java:56: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate: (soft) init'ed(this.name)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate(Element, String)
    //#    callee assertion: (soft) init'ed(this.name)
    //#    callee file: MemberEntry.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 78
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    }
    //#MemberEntry.java:57: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(Element, String)
    
    public MemberEntry(String handle, String userName, String urlPrefix) {
    //#MemberEntry.java:59: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): "members"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): __Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): handle
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): handle._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): urlPrefix._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): userName
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): userName._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.handle
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.name
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): java.lang.StringBuilder:toString(...)
    //#pre[4] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): java.lang.StringBuilder:toString(...)._tainted == userName._tainted | urlPrefix._tainted | handle._tainted
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.handle == handle
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): init'ed(this.handle)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): this.name == userName
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)): init'ed(this.name)
        String href = urlPrefix + "/" + EntrySet.Types.MEMBERS + "/" + handle + "/" + userName;
        setHref(href);
        setHandle(handle);
        setName(userName);
    }
    //#MemberEntry.java:64: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(String, String, String)
    
    public MemberEntry(InputStream stream, String urlPrefix) throws JDOMException, IOException {
    //#MemberEntry.java:66: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): "."._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): "members"._tainted
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): __Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): stream
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.__Tag
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): urlPrefix
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): urlPrefix._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.handle
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.name
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.permission
    //#new obj(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#presumption(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): org.jdom.Document:detachRootElement(...)@69 != null
    //#presumption(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): org.jdom.input.SAXBuilder:build(...)@68 != null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): init'ed(this.handle)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): init'ed(this.name)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): possibly_updated(this.permission)
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): Effects-of-calling:java.lang.StringBuilder
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): Effects-of-calling:java.lang.StringBuilder:append
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)): Effects-of-calling:java.lang.StringBuilder:toString
        SAXBuilder sb = new SAXBuilder();
    //#MemberEntry.java:67: Warning: method not available
    //#    -- call on void org.jdom.input.SAXBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    //#    unanalyzed callee: void org.jdom.input.SAXBuilder()
        Document d = sb.build(stream);
    //#MemberEntry.java:68: Warning: method not available
    //#    -- call on Document org.jdom.input.SAXBuilder:build(InputStream)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    //#    unanalyzed callee: Document org.jdom.input.SAXBuilder:build(InputStream)
        Element e = d.detachRootElement();
    //#MemberEntry.java:69: Warning: method not available
    //#    -- call on Element org.jdom.Document:detachRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    //#    unanalyzed callee: Element org.jdom.Document:detachRootElement()
        
        populate(e, urlPrefix);
    //#MemberEntry.java:71: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate: (soft) init'ed(this.handle)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate(Element, String)
    //#    callee assertion: (soft) init'ed(this.handle)
    //#    callee file: MemberEntry.java
    //#    callee precondition index: [2]
    //#    callee srcpos: 78
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    //#MemberEntry.java:71: ?precondition failure
    //#    org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate: (soft) init'ed(this.name)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    //#    basic block: Entry_BB_1
    //#    assertion: (soft) init'ed(undefined)
    //#    callee: void org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.populate(Element, String)
    //#    callee assertion: (soft) init'ed(this.name)
    //#    callee file: MemberEntry.java
    //#    callee precondition index: [3]
    //#    callee srcpos: 78
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Soft  Bad only invalid
    }
    //#MemberEntry.java:72: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry(InputStream, String)
    
    private void populate(Element e, String urlPrefix) {
        // all required
        
        // name
        Element nameElement = e.getChild(Tags.NAME, NAMESPACE);
    //#MemberEntry.java:78: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.populate(Element, String)
    //#MemberEntry.java:78: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
    //#input(void populate(Element, String)): "."._tainted
    //#input(void populate(Element, String)): "members"._tainted
    //#input(void populate(Element, String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(void populate(Element, String)): __Descendant_Table[others]
    //#input(void populate(Element, String)): __Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(void populate(Element, String)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(void populate(Element, String)): __Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#input(void populate(Element, String)): __Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#input(void populate(Element, String)): e
    //#input(void populate(Element, String)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void populate(Element, String)): this
    //#input(void populate(Element, String)): this.__Tag
    //#input(void populate(Element, String)): this.handle
    //#input(void populate(Element, String)): this.handle._tainted
    //#input(void populate(Element, String)): this.name
    //#input(void populate(Element, String)): this.name._tainted
    //#input(void populate(Element, String)): urlPrefix
    //#input(void populate(Element, String)): urlPrefix._tainted
    //#output(void populate(Element, String)): java.lang.StringBuilder:toString(...)._tainted
    //#output(void populate(Element, String)): this.handle
    //#output(void populate(Element, String)): this.href
    //#output(void populate(Element, String)): this.name
    //#output(void populate(Element, String)): this.permission
    //#new obj(void populate(Element, String)): java.lang.StringBuilder:toString(...)
    //#pre[1] (void populate(Element, String)): e != null
    //#pre[6] (void populate(Element, String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#pre[2] (void populate(Element, String)): (soft) init'ed(this.handle)
    //#pre[3] (void populate(Element, String)): (soft) init'ed(this.name)
    //#post(void populate(Element, String)): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(void populate(Element, String)): init'ed(this.handle)
    //#post(void populate(Element, String)): this.href == &java.lang.StringBuilder:toString(...)
    //#post(void populate(Element, String)): init'ed(this.name)
    //#post(void populate(Element, String)): possibly_updated(this.permission)
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@78: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@84: Addr_Set{null}, Inverse{null}
    //#test_vector(void populate(Element, String)): org.jdom.Element:getChild(...)@93: Addr_Set{null}, Inverse{null}
        if (nameElement != null) {
            setName(nameElement.getText());
    //#MemberEntry.java:80: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // handle
        Element handleElement = e.getChild(Tags.HANDLE, NAMESPACE);
    //#MemberEntry.java:84: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (handleElement != null) {
            setHandle(handleElement.getText());
    //#MemberEntry.java:86: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
        
        // href
        setHref(urlPrefix + "/" + EntrySet.Types.MEMBERS + "/" + getHandle() + "/" + getName());
        
        // permission
        Element permissionElement = e.getChild(Tags.PERMISSION, NAMESPACE);
    //#MemberEntry.java:93: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
        if (permissionElement != null) {
            setPermission(permissionElement.getText());
    //#MemberEntry.java:95: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: void populate(Element, String)
    //#    unanalyzed callee: String org.jdom.Element:getText()
        }
    }
    //#MemberEntry.java:97: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.populate(Element, String)
    
    public String getType() {
        return Types.MEMBER;
    //#MemberEntry.java:100: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getType()
    //#output(String getType()): return_value
    //#post(String getType()): return_value == &"member"
    //#MemberEntry.java:100: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getType()
    }
    
    public Document toDocument() {
        Element member = new Element(Tags.MEMBER, NAMESPACE);
    //#MemberEntry.java:104: method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.toDocument()
    //#MemberEntry.java:104: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(Document toDocument()): __Descendant_Table[others]
    //#input(Document toDocument()): __Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getPermission()Ljava/lang/String;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(Document toDocument()): this
    //#input(Document toDocument()): this.__Tag
    //#input(Document toDocument()): this.handle
    //#input(Document toDocument()): this.href
    //#input(Document toDocument()): this.name
    //#input(Document toDocument()): this.permission
    //#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 == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#pre[3] (Document toDocument()): init'ed(this.handle)
    //#pre[4] (Document toDocument()): init'ed(this.href)
    //#pre[5] (Document toDocument()): init'ed(this.name)
    //#pre[6] (Document toDocument()): init'ed(this.permission)
    //#post(Document toDocument()): return_value == &new Document(toDocument#2)
    //#post(Document toDocument()): new Document(toDocument#2) num objects == 1
    //#test_vector(Document toDocument()): this.handle: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.name: Addr_Set{null}, Inverse{null}
    //#test_vector(Document toDocument()): this.permission: Addr_Set{null}, Inverse{null}
        Document doc = new Document(member);
    //#MemberEntry.java:105: Warning: method not available
    //#    -- call on void org.jdom.Document(Element)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Document(Element)
        
        // href
        member.setAttribute(Attributes.HREF, getHref());
    //#MemberEntry.java:108: Warning: method not available
    //#    -- call on Element org.jdom.Element:setAttribute(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setAttribute(String, String)
        
        // name
        String name = getName();
        if (name != null) {
            Element nameElement = new Element(Tags.NAME, Service.NAMESPACE);
    //#MemberEntry.java:113: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text nameText = new Text(name);
    //#MemberEntry.java:114: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            nameElement.addContent(nameText);
    //#MemberEntry.java:115: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            member.addContent(nameElement);
    //#MemberEntry.java:116: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // handle
        String handle = getHandle();
        if (handle != null) {
            Element handleElement = new Element(Tags.HANDLE, NAMESPACE);
    //#MemberEntry.java:122: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text handleText = new Text(handle);
    //#MemberEntry.java:123: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            handleElement.addContent(handleText);
    //#MemberEntry.java:124: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            member.addContent(handleElement);
    //#MemberEntry.java:125: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        // permission
        String perm = getPermission();
        if (perm != null) {
            Element permissionElement = new Element(Tags.PERMISSION, NAMESPACE);
    //#MemberEntry.java:131: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            Text permissionText = new Text(perm);
    //#MemberEntry.java:132: Warning: method not available
    //#    -- call on void org.jdom.Text(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Text(String)
            permissionElement.addContent(permissionText);
    //#MemberEntry.java:133: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            member.addContent(permissionElement);
    //#MemberEntry.java:134: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        return doc;
    //#MemberEntry.java:137: end of method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.toDocument()
    }
    
    public boolean equals(Object o) {
        if ( o == null || o.getClass() != this.getClass()) {
    //#MemberEntry.java:141: method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.equals(Object)
    //#input(bool equals(Object)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(bool equals(Object)): __Descendant_Table[others]
    //#input(bool equals(Object)): __Dispatch_Table.getHandle()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getName()Ljava/lang/String;
    //#input(bool equals(Object)): __Dispatch_Table.getPermission()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.handle
    //#input(bool equals(Object)): o.href
    //#input(bool equals(Object)): o.name
    //#input(bool equals(Object)): o.permission
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[others]
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.getType()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Dispatch_Table.getType()Ljava/lang/String;
    //#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$Collection.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.getType()Ljava/lang/String;
    //#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.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/UserEntry.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.__Dispatch_Table.getType()Ljava/lang/String;
    //#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/WeblogEntry.__Dispatch_Table.getHref()Ljava/lang/String;
    //#input(bool equals(Object)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry.__Dispatch_Table.getType()Ljava/lang/String;
    //#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.handle
    //#input(bool equals(Object)): this.href
    //#input(bool equals(Object)): this.name
    //#input(bool equals(Object)): this.permission
    //#output(bool equals(Object)): return_value
    //#pre[2] (bool equals(Object)): (soft) o.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#pre[3] (bool equals(Object)): (soft) init'ed(o.handle)
    //#pre[4] (bool equals(Object)): (soft) init'ed(o.href)
    //#pre[5] (bool equals(Object)): (soft) init'ed(o.name)
    //#pre[6] (bool equals(Object)): (soft) init'ed(o.permission)
    //#pre[8] (bool equals(Object)): (soft) this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry
    //#pre[9] (bool equals(Object)): (soft) init'ed(this.handle)
    //#pre[10] (bool equals(Object)): (soft) init'ed(this.href)
    //#pre[11] (bool equals(Object)): (soft) init'ed(this.name)
    //#pre[12] (bool equals(Object)): (soft) init'ed(this.permission)
    //#post(bool equals(Object)): init'ed(return_value)
    //#unanalyzed(bool equals(Object)): Effects-of-calling:java.lang.Object:equals
    //#unanalyzed(bool equals(Object)): Effects-of-calling:java.lang.Object:getClass
    //#unanalyzed(bool equals(Object)): Effects-of-calling:getType
    //#test_vector(bool equals(Object)): o: Addr_Set{null}, Inverse{null}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(...)@147: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(...)@150: {1}, {0}
    //#test_vector(bool equals(Object)): org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(...)@153: {1}, {0}
            return false;
        }
        
        MemberEntry other = (MemberEntry)o;
        
        if (!areEqual(getHandle(), other.getHandle())) {
    //#MemberEntry.java:147: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getName(), other.getName())) {
    //#MemberEntry.java:150: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(Object, Object)
            return false;
        }
        if (!areEqual(getPermission(), other.getPermission())) {
    //#MemberEntry.java:153: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(Object, Object)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
    //#    method: bool equals(Object)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry:areEqual(Object, Object)
            return false;
        }
        
        return super.equals(o);
    //#MemberEntry.java:157: end of method: bool org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.equals(Object)
    }
    
    
    public String getName() {
        return name;
    //#MemberEntry.java:162: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getName()
    //#input(String getName()): this
    //#input(String getName()): this.name
    //#output(String getName()): return_value
    //#pre[2] (String getName()): init'ed(this.name)
    //#post(String getName()): return_value == this.name
    //#post(String getName()): init'ed(return_value)
    //#MemberEntry.java:162: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getName()
    }
    
    public void setName(String name) {
        this.name = name;
    //#MemberEntry.java:166: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.setName(String)
    //#input(void setName(String)): name
    //#input(void setName(String)): this
    //#output(void setName(String)): this.name
    //#post(void setName(String)): this.name == name
    //#post(void setName(String)): init'ed(this.name)
    }
    //#MemberEntry.java:167: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.setName(String)
    
    public String getHandle() {
        return handle;
    //#MemberEntry.java:170: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getHandle()
    //#input(String getHandle()): this
    //#input(String getHandle()): this.handle
    //#output(String getHandle()): return_value
    //#pre[2] (String getHandle()): init'ed(this.handle)
    //#post(String getHandle()): return_value == this.handle
    //#post(String getHandle()): init'ed(return_value)
    //#MemberEntry.java:170: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getHandle()
    }
    
    public void setHandle(String handle) {
        this.handle = handle;
    //#MemberEntry.java:174: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.setHandle(String)
    //#input(void setHandle(String)): handle
    //#input(void setHandle(String)): this
    //#output(void setHandle(String)): this.handle
    //#post(void setHandle(String)): this.handle == handle
    //#post(void setHandle(String)): init'ed(this.handle)
    }
    //#MemberEntry.java:175: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.setHandle(String)
    
    public String getPermission() {
        return permission;
    //#MemberEntry.java:178: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getPermission()
    //#input(String getPermission()): this
    //#input(String getPermission()): this.permission
    //#output(String getPermission()): return_value
    //#pre[2] (String getPermission()): init'ed(this.permission)
    //#post(String getPermission()): return_value == this.permission
    //#post(String getPermission()): init'ed(return_value)
    //#MemberEntry.java:178: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.getPermission()
    }
    
    public void setPermission(String permission) {
        this.permission = permission;
    //#MemberEntry.java:182: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.setPermission(String)
    //#input(void setPermission(String)): permission
    //#input(void setPermission(String)): this
    //#output(void setPermission(String)): this.permission
    //#post(void setPermission(String)): this.permission == permission
    //#post(void setPermission(String)): init'ed(this.permission)
    }
    //#MemberEntry.java:183: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.setPermission(String)
}
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry$Permissions]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry$Permissions] == &__Dispatch_Table
    //#MemberEntry.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions__static_init
    //#MemberEntry.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Permissions
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry$Tags]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry$Tags] == &__Dispatch_Table
    //#MemberEntry.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags__static_init
    //#MemberEntry.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry$Tags
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getHandle()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getPermission()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.setHandle(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.setPermission(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &equals
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getHandle()Ljava/lang/String; == &getHandle
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__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.MemberEntry__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getPermission()Ljava/lang/String; == &getPermission
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;Ljava/lang/String;)V == &populate
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.setHandle(Ljava/lang/String;)V == &setHandle
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__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.MemberEntry__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.setPermission(Ljava/lang/String;)V == &setPermission
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#MemberEntry.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry.org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry__static_init
    //#MemberEntry.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntry
