//# 8 errors, 542 messages
//#
/*
    //#Service.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes
    //#Service.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes__static_init
    //#Service.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags
    //#Service.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags__static_init
    //#Service.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes
    //#Service.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes__static_init
    //#Service.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#Service.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init
    //#Service.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#Service.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init
    //#Service.java:1:1: class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#Service.java:1:1: method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__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.
*/
/*
 * AtomAdminService.java
 *
 * Created on January 17, 2006, 12:44 PM
 */
package org.apache.roller.weblogger.webservices.adminprotocol.sdk;

import java.io.IOException;
import java.io.InputStream;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet.Types;

import org.jdom.Document;
import org.jdom.Element;
import org.jdom.JDOMException;
import org.jdom.input.SAXBuilder;

/**
 * This class describes an RAP service (introspection document).
 * A Service is a set of workspaces, which is a set of
 * collections.
 *
 * @author jtb
 */

public class Service extends EntrySet {
    
    public Service(String href) {
    //#Service.java:47: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): href
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.href
    //#pre[2] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.entries == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): this.href == href
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)): init'ed(this.href)
        setHref(href);
    }
    //#Service.java:49: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(String)
    
    public Service(Document d) throws UnexpectedRootElementException {
    //#Service.java:51: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): __Dispatch_Table.populate(Lorg/jdom/Document;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): d
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setMemberType(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this.href
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): d != null
    //#pre[2] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): init'ed(this.entries)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): init'ed(this.href)
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:populate
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.List:toArray
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:setEntries
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.jdom.Element:getAttributeValue
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:setHref
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)): Effects-of-calling:java.util.Arrays:asList
        populate(d);
    }
    //#Service.java:53: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(Document)
    
    public Service(InputStream stream) throws JDOMException, IOException, UnexpectedRootElementException {               
    //#Service.java:55: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): __Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): __Dispatch_Table.populate(Lorg/jdom/Document;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setMemberType(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Descendant_Table[others]
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): stream
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this.__Tag
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this.href
    //#pre[1] (void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#presumption(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): org.jdom.input.SAXBuilder:build(...)@57 != null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): init'ed(this.entries)
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): init'ed(this.href)
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.jdom.Document:getRootElement
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:populate
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.List:toArray
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:setEntries
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.jdom.Element:getAttributeValue
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:setHref
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)): Effects-of-calling:java.util.Arrays:asList
        SAXBuilder sb = new SAXBuilder();
    //#Service.java:56: Warning: method not available
    //#    -- call on void org.jdom.input.SAXBuilder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)
    //#    unanalyzed callee: void org.jdom.input.SAXBuilder()
        Document d = sb.build(stream);
    //#Service.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.Service
    //#    method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)
    //#    unanalyzed callee: Document org.jdom.input.SAXBuilder:build(InputStream)
        populate(d);        
    }    
    //#Service.java:59: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service(InputStream)

    public String getType() {
        return Types.SERVICE;
    //#Service.java:62: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.getType()
    //#output(String getType()): return_value
    //#post(String getType()): return_value == &"service"
    //#Service.java:62: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.getType()
    }
    
    public Document toDocument() {
        Document doc = new Document();
    //#Service.java:66: method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.toDocument()
    //#Service.java:66: Warning: method not available
    //#    -- call on void org.jdom.Document()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Document()
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(Document toDocument()): __Descendant_Table[others]
    //#input(Document toDocument()): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[others]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): this
    //#input(Document toDocument()): this.__Tag
    //#input(Document toDocument()): this.entries
    //#output(Document toDocument()): new Document(toDocument#1) num objects
    //#output(Document toDocument()): return_value
    //#new obj(Document toDocument()): new Document(toDocument#1)
    //#pre[2] (Document toDocument()): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#pre[3] (Document toDocument()): this.entries != null
    //#presumption(Document toDocument()): getEntries(...).length@70 <= 4_294_967_295
    //#presumption(Document toDocument()): getEntries(...).length@71 >= 1
    //#presumption(Document toDocument()): getEntries(...).length@70 <= getEntries(...).length@71
    //#presumption(Document toDocument()): java.util.List:toArray(...)@72 != null
    //#presumption(Document toDocument()): java.util.List:toArray(...)@72 != null
    //#presumption(Document toDocument()): toDocument(...)@72 != null
    //#post(Document toDocument()): return_value == &new Document(toDocument#1)
    //#post(Document toDocument()): new Document(toDocument#1) num objects == 1
    //#unanalyzed(Document toDocument()): Effects-of-calling:java.util.List:toArray
        Element root = new Element(Types.SERVICE, NAMESPACE);
    //#Service.java:67: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
        doc.setRootElement(root);
    //#Service.java:68: Warning: method not available
    //#    -- call on Document org.jdom.Document:setRootElement(Element)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    unanalyzed callee: Document org.jdom.Document:setRootElement(Element)
        
        for (int i = 0; i < getEntries().length; i++) {
            Entry entry = getEntries()[i];
    //#Service.java:71: ?use of default init
    //#    init'ed(getEntries(...)[i])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: init'ed(getEntries(...)[i])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
            root.addContent(entry.toDocument().detachRootElement());
    //#Service.java:72: ?use of default init
    //#    init'ed(entry)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: init'ed(entry)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#Service.java:72: ?!null dereference
    //#    entry != null
    //#    severity: HIGH
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: entry != null
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
    //#Service.java:72: ?null dereference
    //#    not_init'ed(entry)
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: not_init'ed(entry)
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#Service.java:72: Warning: call too complex - analysis skipped
    //#    -- call on Document toDocument()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    unanalyzed callee: Document toDocument()
    //#Service.java:72: Warning: method not available
    //#    -- call on Element org.jdom.Document:detachRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Document:detachRootElement()
    //#Service.java:72: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
        }
        
        return doc;
    //#Service.java:75: end of method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.toDocument()
    }

    public void populate(Document doc) {
        Element root = doc.getRootElement();
    //#Service.java:79: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.populate(Document)
    //#Service.java:79: Warning: method not available
    //#    -- call on Element org.jdom.Document:getRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: void populate(Document)
    //#    unanalyzed callee: Element org.jdom.Document:getRootElement()
    //#input(void populate(Document)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(void populate(Document)): __Descendant_Table[others]
    //#input(void populate(Document)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void populate(Document)): doc
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[others]
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setMemberType(Ljava/lang/String;)V
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Descendant_Table[others]
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void populate(Document)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void populate(Document)): this
    //#input(void populate(Document)): this.__Tag
    //#output(void populate(Document)): this.entries
    //#pre[1] (void populate(Document)): doc != null
    //#pre[3] (void populate(Document)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service
    //#presumption(void populate(Document)): java.util.Iterator:next(...)@84 != null
    //#presumption(void populate(Document)): org.jdom.Document:getRootElement(...)@79 != null
    //#presumption(void populate(Document)): org.jdom.Element:getChildren(...)@81 != null
    //#post(void populate(Document)): init'ed(this.entries)
    //#unanalyzed(void populate(Document)): Effects-of-calling:setEntries
    //#unanalyzed(void populate(Document)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.EntrySet
    //#unanalyzed(void populate(Document)): Effects-of-calling:org.jdom.Element:getAttributeValue
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.ArrayList
    //#unanalyzed(void populate(Document)): Effects-of-calling:org.jdom.Element:getChildren
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.List:iterator
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.Iterator:hasNext
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.Iterator:next
    //#unanalyzed(void populate(Document)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry
    //#unanalyzed(void populate(Document)): Effects-of-calling:setHref
    //#unanalyzed(void populate(Document)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void populate(Document)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.List:add
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.List:toArray
    //#unanalyzed(void populate(Document)): Effects-of-calling:java.util.Arrays:asList
    //#test_vector(void populate(Document)): java.util.Iterator:hasNext(...)@83: {0}, {1}
        List workspaces = new ArrayList();
        List spaces = root.getChildren("workspace", NAMESPACE);
    //#Service.java:81: Warning: method not available
    //#    -- call on List org.jdom.Element:getChildren(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#    method: void populate(Document)
    //#    unanalyzed callee: List org.jdom.Element:getChildren(String, Namespace)
        Iterator iter = spaces.iterator();
        while (iter.hasNext()) {
            Element e = (Element) iter.next();
            Workspace ws = new Workspace();
            ws.populate(e);
            workspaces.add(ws);
        }
        setEntries((Entry[])workspaces.toArray(new Workspace[0]));
    }
    //#Service.java:90: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.populate(Document)
            
    /** This class describes a service workspace. */    
    public static class Workspace extends EntrySet {   
        
        private static interface Attributes {
            public static final String TITLE = "title";
        }
        
        private String title = null;
        
        public Workspace() {
    //#Service.java:101: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this.entries
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this.href
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this.title
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this.entries == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this.href == null
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()): this.title == null
        }
    //#Service.java:102: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace()
        
        public String getType() {
            return Types.WORKSPACE;
    //#Service.java:105: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.getType()
    //#output(String getType()): return_value
    //#post(String getType()): return_value == &"workspace"
    //#Service.java:105: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.getType()
        }
        
        public String getTitle() {
            return title;
    //#Service.java:109: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.getTitle()
    //#input(String getTitle()): this
    //#input(String getTitle()): this.title
    //#output(String getTitle()): return_value
    //#pre[2] (String getTitle()): init'ed(this.title)
    //#post(String getTitle()): return_value == this.title
    //#post(String getTitle()): init'ed(return_value)
    //#Service.java:109: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.getTitle()
        }
        
        public void setTitle(String title) {
            this.title = title;
    //#Service.java:113: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.setTitle(String)
    //#input(void setTitle(String)): this
    //#input(void setTitle(String)): title
    //#output(void setTitle(String)): this.title
    //#post(void setTitle(String)): this.title == title
    //#post(void setTitle(String)): init'ed(this.title)
        }
    //#Service.java:114: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.setTitle(String)
        
        
        public Document toDocument() {
            Document doc = new Document();
    //#Service.java:118: method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.toDocument()
    //#Service.java:118: Warning: method not available
    //#    -- call on void org.jdom.Document()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Document()
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(Document toDocument()): __Descendant_Table[others]
    //#input(Document toDocument()): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#input(Document toDocument()): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[others]
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/MemberEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/UserEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntry.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): org/apache/roller/weblogger/webservices/adminprotocol/sdk/WeblogEntrySet.__Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#input(Document toDocument()): this
    //#input(Document toDocument()): this.__Tag
    //#input(Document toDocument()): this.entries
    //#input(Document toDocument()): this.title
    //#output(Document toDocument()): new Document(toDocument#1) num objects
    //#output(Document toDocument()): return_value
    //#new obj(Document toDocument()): new Document(toDocument#1)
    //#pre[2] (Document toDocument()): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace
    //#pre[3] (Document toDocument()): this.entries != null
    //#pre[4] (Document toDocument()): init'ed(this.title)
    //#presumption(Document toDocument()): getEntries(...).length@123 <= 4_294_967_295
    //#presumption(Document toDocument()): getEntries(...).length@124 >= 1
    //#presumption(Document toDocument()): getEntries(...).length@123 <= getEntries(...).length@124
    //#presumption(Document toDocument()): java.util.List:toArray(...)@72 != null
    //#presumption(Document toDocument()): java.util.List:toArray(...)@72 != null
    //#presumption(Document toDocument()): toDocument(...)@125 != null
    //#post(Document toDocument()): return_value == &new Document(toDocument#1)
    //#post(Document toDocument()): new Document(toDocument#1) num objects == 1
    //#unanalyzed(Document toDocument()): Effects-of-calling:java.util.List:toArray
            Element element = new Element(EntrySet.Types.WORKSPACE, NAMESPACE);
    //#Service.java:119: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
            doc.setRootElement(element);
    //#Service.java:120: Warning: method not available
    //#    -- call on Document org.jdom.Document:setRootElement(Element)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: Document org.jdom.Document:setRootElement(Element)
            
            element.setAttribute(Attributes.TITLE, getTitle());
    //#Service.java:122: Warning: method not available
    //#    -- call on Element org.jdom.Element:setAttribute(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setAttribute(String, String)
            for (int i = 0; i < getEntries().length; i++) {
                Entry entry = getEntries()[i];
    //#Service.java:124: ?use of default init
    //#    init'ed(getEntries(...)[i])
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: init'ed(getEntries(...)[i])
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
                element.addContent(entry.toDocument().detachRootElement());
    //#Service.java:125: ?use of default init
    //#    init'ed(entry)
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: init'ed(entry)
    //#    VN: undefined
    //#    Expected: Univ-VN-Set
    //#    Bad: {Invalid}
    //#    Attribs:  Ptr  Bad only invalid
    //#Service.java:125: ?!null dereference
    //#    entry != null
    //#    severity: HIGH
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: entry != null
    //#    VN: undefined
    //#    Expected: Inverse{null}
    //#    Bad: Addr_Set{null, Invalid}
    //#    Attribs:  Ptr  null in Bad
    //#Service.java:125: ?null dereference
    //#    not_init'ed(entry)
    //#    severity: MEDIUM
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    basic block: bb_3
    //#    assertion: not_init'ed(entry)
    //#    VN: undefined
    //#    Expected: Inverse{null} or Invalid
    //#    Bad: Addr_Set{null}
    //#    Attribs:  Ptr  null in Bad
    //#Service.java:125: Warning: call too complex - analysis skipped
    //#    -- call on Document toDocument()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: Document toDocument()
    //#Service.java:125: Warning: method not available
    //#    -- call on Element org.jdom.Document:detachRootElement()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Document:detachRootElement()
    //#Service.java:125: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
            }
            
            return doc;
    //#Service.java:128: end of method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.toDocument()
        }
        
        public void populate(Element elem) {
            setTitle(elem.getAttributeValue(Attributes.TITLE)); //, NAMESPACE));
    //#Service.java:132: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.populate(Element)
    //#Service.java:132: Warning: method not available
    //#    -- call on String org.jdom.Element:getAttributeValue(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: void populate(Element)
    //#    unanalyzed callee: String org.jdom.Element:getAttributeValue(String)
    //#input(void populate(Element)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#input(void populate(Element)): __Descendant_Table[others]
    //#input(void populate(Element)): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#input(void populate(Element)): __Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void populate(Element)): elem
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Descendant_Table[others]
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setMemberType(Ljava/lang/String;)V
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection.__Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void populate(Element)): this
    //#input(void populate(Element)): this.__Tag
    //#output(void populate(Element)): this.entries
    //#output(void populate(Element)): this.title
    //#pre[1] (void populate(Element)): elem != null
    //#pre[3] (void populate(Element)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace
    //#presumption(void populate(Element)): java.util.Iterator:next(...)@137 != null
    //#presumption(void populate(Element)): org.jdom.Element:getChildren(...)@134 != null
    //#post(void populate(Element)): init'ed(this.entries)
    //#post(void populate(Element)): init'ed(this.title)
    //#unanalyzed(void populate(Element)): Effects-of-calling:org.apache.roller.weblogger.webservices.adminprotocol.sdk.Entry
    //#unanalyzed(void populate(Element)): Effects-of-calling:org.jdom.Element:getAttributeValue
    //#unanalyzed(void populate(Element)): Effects-of-calling:setHref
    //#unanalyzed(void populate(Element)): Effects-of-calling:org.jdom.Element:getChild
    //#unanalyzed(void populate(Element)): Effects-of-calling:org.jdom.Element:getText
    //#unanalyzed(void populate(Element)): Effects-of-calling:java.util.Arrays:asList
    //#test_vector(void populate(Element)): java.util.Iterator:hasNext(...)@136: {0}, {1}
            List collections = new ArrayList();
            List spaces = elem.getChildren("collection", NAMESPACE);
    //#Service.java:134: Warning: method not available
    //#    -- call on List org.jdom.Element:getChildren(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
    //#    method: void populate(Element)
    //#    unanalyzed callee: List org.jdom.Element:getChildren(String, Namespace)
            Iterator iter = spaces.iterator();
            while (iter.hasNext()) {
                Element e = (Element) iter.next();
                Collection col = new Collection();
                col.populate(e);
                collections.add(col);
            }
            Workspace.this.setEntries((Entry[])collections.toArray(new Collection[0]));
        }
    //#Service.java:143: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.populate(Element)


        /** This class describes a workspace collection. */
        public static class Collection extends Entry {
            
            private static interface Tags {
                public static final String MEMBER_TYPE = "member-type";
            }
            
            private static interface Attributes {
                public static final String TITLE = "title";
            }
            
            private String title;
            private String memberType;
            
            public Collection() {
    //#Service.java:160: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection()
    //#input(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection()): this
    //#output(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection()): this.href
    //#post(void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection()): this.href == null
                // nothing
            }
    //#Service.java:162: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection()
            
            public String getType() {
                return Types.COLLECTION;
    //#Service.java:165: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.getType()
    //#output(String getType()): return_value
    //#post(String getType()): return_value == &"collection"
    //#Service.java:165: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.getType()
            }
            
            public String getTitle() {
                return title;
    //#Service.java:169: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.getTitle()
    //#input(String getTitle()): this
    //#input(String getTitle()): this.title
    //#output(String getTitle()): return_value
    //#pre[2] (String getTitle()): init'ed(this.title)
    //#post(String getTitle()): return_value == this.title
    //#post(String getTitle()): init'ed(return_value)
    //#Service.java:169: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.getTitle()
            }
            
            public void setTitle(String title) {
                this.title = title;
    //#Service.java:173: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.setTitle(String)
    //#input(void setTitle(String)): this
    //#input(void setTitle(String)): title
    //#output(void setTitle(String)): this.title
    //#post(void setTitle(String)): this.title == title
    //#post(void setTitle(String)): init'ed(this.title)
            }
    //#Service.java:174: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.setTitle(String)
            
            
            public Document toDocument() {
                Document doc = new Document();
    //#Service.java:178: method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.toDocument()
    //#Service.java:178: Warning: method not available
    //#    -- call on void org.jdom.Document()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Document()
    //#input(Document toDocument()): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(Document toDocument()): __Descendant_Table[others]
    //#input(Document toDocument()): __Dispatch_Table.getHref()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getMemberType()Ljava/lang/String;
    //#input(Document toDocument()): __Dispatch_Table.getTitle()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.href
    //#input(Document toDocument()): this.memberType
    //#input(Document toDocument()): this.title
    //#output(Document toDocument()): new Document(toDocument#1) num objects
    //#output(Document toDocument()): return_value
    //#new obj(Document toDocument()): new Document(toDocument#1)
    //#pre[2] (Document toDocument()): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection
    //#pre[3] (Document toDocument()): init'ed(this.href)
    //#pre[4] (Document toDocument()): init'ed(this.memberType)
    //#pre[5] (Document toDocument()): init'ed(this.title)
    //#post(Document toDocument()): return_value == &new Document(toDocument#1)
    //#post(Document toDocument()): new Document(toDocument#1) num objects == 1
                Element element = new Element(Types.COLLECTION, NAMESPACE);
    //#Service.java:179: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
                doc.setRootElement(element);
    //#Service.java:180: Warning: method not available
    //#    -- call on Document org.jdom.Document:setRootElement(Element)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: Document org.jdom.Document:setRootElement(Element)
                
                element.setAttribute(Attributes.TITLE, getTitle());
    //#Service.java:182: Warning: method not available
    //#    -- call on Element org.jdom.Element:setAttribute(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setAttribute(String, String)
                element.setAttribute(Entry.Attributes.HREF, getHref());
    //#Service.java:183: Warning: method not available
    //#    -- call on Element org.jdom.Element:setAttribute(String, String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setAttribute(String, String)
                
                Element memberType = new Element(Tags.MEMBER_TYPE, NAMESPACE);
    //#Service.java:185: Warning: method not available
    //#    -- call on void org.jdom.Element(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: void org.jdom.Element(String, Namespace)
                memberType.setText(getMemberType());
    //#Service.java:186: Warning: method not available
    //#    -- call on Element org.jdom.Element:setText(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:setText(String)
                element.addContent(memberType);
    //#Service.java:187: Warning: method not available
    //#    -- call on Element org.jdom.Element:addContent(Content)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: Document toDocument()
    //#    unanalyzed callee: Element org.jdom.Element:addContent(Content)
                
                return doc;
    //#Service.java:189: end of method: Document org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.toDocument()
            }
            
            
            public void populate(Element elem) {
                setTitle(elem.getAttributeValue(Attributes.TITLE)); //, NAMESPACE));
    //#Service.java:194: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.populate(Element)
    //#Service.java:194: Warning: method not available
    //#    -- call on String org.jdom.Element:getAttributeValue(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: void populate(Element)
    //#    unanalyzed callee: String org.jdom.Element:getAttributeValue(String)
    //#input(void populate(Element)): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#input(void populate(Element)): __Descendant_Table[others]
    //#input(void populate(Element)): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#input(void populate(Element)): __Dispatch_Table.setMemberType(Ljava/lang/String;)V
    //#input(void populate(Element)): __Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#input(void populate(Element)): elem
    //#input(void populate(Element)): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.NAMESPACE
    //#input(void populate(Element)): this
    //#input(void populate(Element)): this.__Tag
    //#output(void populate(Element)): this.href
    //#output(void populate(Element)): this.memberType
    //#output(void populate(Element)): this.title
    //#pre[1] (void populate(Element)): elem != null
    //#pre[3] (void populate(Element)): this.__Tag == org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection
    //#presumption(void populate(Element)): org.jdom.Element:getChild(...)@196 != null
    //#post(void populate(Element)): init'ed(this.href)
    //#post(void populate(Element)): init'ed(this.memberType)
    //#post(void populate(Element)): init'ed(this.title)
                setHref(elem.getAttributeValue(Entry.Attributes.HREF)); //, NAMESPACE));
    //#Service.java:195: Warning: method not available
    //#    -- call on String org.jdom.Element:getAttributeValue(String)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: void populate(Element)
    //#    unanalyzed callee: String org.jdom.Element:getAttributeValue(String)
                Element typeElem = elem.getChild(Tags.MEMBER_TYPE, NAMESPACE);
    //#Service.java:196: Warning: method not available
    //#    -- call on Element org.jdom.Element:getChild(String, Namespace)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: void populate(Element)
    //#    unanalyzed callee: Element org.jdom.Element:getChild(String, Namespace)
                setMemberType(typeElem.getText());
    //#Service.java:197: Warning: method not available
    //#    -- call on String org.jdom.Element:getText()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#    method: void populate(Element)
    //#    unanalyzed callee: String org.jdom.Element:getText()
            }
    //#Service.java:198: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.populate(Element)
            
            public String getMemberType() {
                return memberType;
    //#Service.java:201: method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.getMemberType()
    //#input(String getMemberType()): this
    //#input(String getMemberType()): this.memberType
    //#output(String getMemberType()): return_value
    //#pre[2] (String getMemberType()): init'ed(this.memberType)
    //#post(String getMemberType()): return_value == this.memberType
    //#post(String getMemberType()): init'ed(return_value)
    //#Service.java:201: end of method: String org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.getMemberType()
            }
            
            public void setMemberType(String memberType) {
                this.memberType = memberType;
    //#Service.java:205: method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.setMemberType(String)
    //#input(void setMemberType(String)): memberType
    //#input(void setMemberType(String)): this
    //#output(void setMemberType(String)): this.memberType
    //#post(void setMemberType(String)): this.memberType == memberType
    //#post(void setMemberType(String)): init'ed(this.memberType)
            }
    //#Service.java:206: end of method: void org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.setMemberType(String)
            
        }
        
    }
    
}
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Attributes]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Attributes] == &__Dispatch_Table
    //#Service.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes__static_init
    //#Service.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Attributes
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection$Tags]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection$Tags] == &__Dispatch_Table
    //#Service.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags__static_init
    //#Service.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Tags
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection$Attributes]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection$Attributes] == &__Dispatch_Table
    //#Service.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes__static_init
    //#Service.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection$Attributes
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.getMemberType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.setMemberType(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace$Collection] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.equals
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__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.Service$Workspace$Collection__static_init): __Dispatch_Table.getMemberType()Ljava/lang/String; == &getMemberType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;)V == &populate
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__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.Service$Workspace$Collection__static_init): __Dispatch_Table.setMemberType(Ljava/lang/String;)V == &setMemberType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.setTitle(Ljava/lang/String;)V == &setTitle
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#Service.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection__static_init
    //#Service.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace$Collection
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.isEmpty()Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.populate(Lorg/jdom/Document;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__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.Service__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.Service__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.Service__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.isEmpty()Z == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.isEmpty
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.populate(Lorg/jdom/Document;)V == &populate
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__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.Service__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.Service__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#Service.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service__static_init
    //#Service.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.equals(Ljava/lang/Object;)Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.getEntries()[Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.getHref()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.getType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.isEmpty()Z
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.setEntries([Lorg/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.setHref(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.setTitle(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#output(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace]
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.__Descendant_Table[org/apache/roller/weblogger/webservices/adminprotocol/sdk/Service$Workspace] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__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.Service$Workspace__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.Service$Workspace__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.Service$Workspace__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.getType()Ljava/lang/String; == &getType
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.isEmpty()Z == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/EntrySet.isEmpty
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.populate(Lorg/jdom/Element;)V == &populate
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__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.Service$Workspace__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.Service$Workspace__static_init): __Dispatch_Table.setTitle(Ljava/lang/String;)V == &setTitle
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.toDocument()Lorg/jdom/Document; == &toDocument
    //#post(org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &org/apache/roller/weblogger/webservices/adminprotocol/sdk/Entry.toString
    //#Service.java:: end of method: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace.org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace__static_init
    //#Service.java:: end of class: org.apache.roller.weblogger.webservices.adminprotocol.sdk.Service$Workspace
