//# 2 errors, 186 messages
//#
/*
    //#WeblogCategoryWrapper.java:1:1: class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#WeblogCategoryWrapper.java:1:1: method: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__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.pojos.wrapper;

import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.business.URLStrategy;
import org.apache.roller.weblogger.pojos.WeblogCategory;
import org.apache.roller.weblogger.pojos.WeblogEntry;


/**
 * Pojo safety wrapper for WeblogCategory objects.
 */
public class WeblogCategoryWrapper {
    
    // keep a reference to the wrapped pojo
    private final WeblogCategory pojo;
    
    // url strategy to use for any url building
    private final URLStrategy urlStrategy;
    
    
    // this is private so that we can force the use of the .wrap(pojo) method
    private WeblogCategoryWrapper(WeblogCategory toWrap, URLStrategy strat) {
    //#WeblogCategoryWrapper.java:44: method: void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): strat
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): this
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): toWrap
    //#output(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): this.pojo
    //#output(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): this.urlStrategy
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): this.pojo == toWrap
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): init'ed(this.pojo)
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): this.urlStrategy == strat
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)): init'ed(this.urlStrategy)
        this.pojo = toWrap;
        this.urlStrategy = strat;
    }
    //#WeblogCategoryWrapper.java:47: end of method: void org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper(WeblogCategory, URLStrategy)
    
    
    // wrap the given pojo if it is not null
    public static WeblogCategoryWrapper wrap(WeblogCategory toWrap, URLStrategy strat) {
        if(toWrap != null)
    //#WeblogCategoryWrapper.java:52: method: WeblogCategoryWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.wrap(WeblogCategory, URLStrategy)
    //#input(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): strat
    //#input(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): toWrap
    //#output(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1) num objects
    //#output(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).__Tag
    //#output(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).pojo
    //#output(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).urlStrategy
    //#output(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): return_value
    //#new obj(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1)
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): return_value == One-of{&new WeblogCategoryWrapper(wrap#1), null}
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): return_value in Addr_Set{null,&new WeblogCategoryWrapper(wrap#1)}
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1) num objects <= 1
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).pojo == toWrap
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).pojo != null
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): new WeblogCategoryWrapper(wrap#1).urlStrategy == strat
    //#post(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): init'ed(new WeblogCategoryWrapper(wrap#1).urlStrategy)
    //#test_vector(WeblogCategoryWrapper wrap(WeblogCategory, URLStrategy)): toWrap: Addr_Set{null}, Inverse{null}
            return new WeblogCategoryWrapper(toWrap, strat);
        
        return null;
    //#WeblogCategoryWrapper.java:55: end of method: WeblogCategoryWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.wrap(WeblogCategory, URLStrategy)
    }
    
    
    public String getId() {
        return this.pojo.getId();
    //#WeblogCategoryWrapper.java:60: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getId()
    //#WeblogCategoryWrapper.java:60: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: String getId()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getId()
    //#input(String getId()): this
    //#input(String getId()): this.pojo
    //#output(String getId()): return_value
    //#pre[2] (String getId()): this.pojo != null
    //#post(String getId()): init'ed(return_value)
    //#WeblogCategoryWrapper.java:60: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getId()
    }
    
    
    public String getName() {
        return this.pojo.getName();
    //#WeblogCategoryWrapper.java:65: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getName()
    //#WeblogCategoryWrapper.java:65: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: String getName()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getName()
    //#input(String getName()): this
    //#input(String getName()): this.pojo
    //#output(String getName()): return_value
    //#pre[2] (String getName()): this.pojo != null
    //#post(String getName()): init'ed(return_value)
    //#WeblogCategoryWrapper.java:65: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getName()
    }
    
    
    public String getDescription() {
        return this.pojo.getDescription();
    //#WeblogCategoryWrapper.java:70: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getDescription()
    //#WeblogCategoryWrapper.java:70: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getDescription()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: String getDescription()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getDescription()
    //#input(String getDescription()): this
    //#input(String getDescription()): this.pojo
    //#output(String getDescription()): return_value
    //#pre[2] (String getDescription()): this.pojo != null
    //#post(String getDescription()): init'ed(return_value)
    //#WeblogCategoryWrapper.java:70: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getDescription()
    }
    
    
    public String getImage() {
        return this.pojo.getImage();
    //#WeblogCategoryWrapper.java:75: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getImage()
    //#WeblogCategoryWrapper.java:75: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getImage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: String getImage()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getImage()
    //#input(String getImage()): this
    //#input(String getImage()): this.pojo
    //#output(String getImage()): return_value
    //#pre[2] (String getImage()): this.pojo != null
    //#post(String getImage()): init'ed(return_value)
    //#WeblogCategoryWrapper.java:75: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getImage()
    }
    
    
    public String getPath() {
        return this.pojo.getPath();
    //#WeblogCategoryWrapper.java:80: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getPath()
    //#WeblogCategoryWrapper.java:80: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogCategory:getPath()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: String getPath()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogCategory:getPath()
    //#input(String getPath()): this
    //#input(String getPath()): this.pojo
    //#output(String getPath()): return_value
    //#pre[2] (String getPath()): this.pojo != null
    //#post(String getPath()): init'ed(return_value)
    //#WeblogCategoryWrapper.java:80: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getPath()
    }
    
    
    public WeblogWrapper getWebsite() {
        return WeblogWrapper.wrap(this.pojo.getWebsite(), urlStrategy);
    //#WeblogCategoryWrapper.java:85: method: WeblogWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getWebsite()
    //#WeblogCategoryWrapper.java:85: Warning: method not available
    //#    -- call on Weblog org.apache.roller.weblogger.pojos.WeblogCategory:getWebsite()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: WeblogWrapper getWebsite()
    //#    unanalyzed callee: Weblog org.apache.roller.weblogger.pojos.WeblogCategory:getWebsite()
    //#input(WeblogWrapper getWebsite()): this
    //#input(WeblogWrapper getWebsite()): this.pojo
    //#input(WeblogWrapper getWebsite()): this.urlStrategy
    //#output(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1) num objects
    //#output(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1).__Tag
    //#output(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1).pojo
    //#output(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1).urlStrategy
    //#output(WeblogWrapper getWebsite()): return_value
    //#new obj(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1)
    //#pre[2] (WeblogWrapper getWebsite()): this.pojo != null
    //#presumption(WeblogWrapper getWebsite()): org.apache.roller.weblogger.pojos.WeblogCategory:getWebsite(...)@85 != null
    //#post(WeblogWrapper getWebsite()): return_value == &new WeblogWrapper(wrap#1)
    //#post(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1) num objects == 1
    //#post(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogWrapper
    //#post(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1).pojo != null
    //#post(WeblogWrapper getWebsite()): new WeblogWrapper(wrap#1).urlStrategy == this.urlStrategy
    //#post(WeblogWrapper getWebsite()): init'ed(new WeblogWrapper(wrap#1).urlStrategy)
    //#WeblogCategoryWrapper.java:85: end of method: WeblogWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getWebsite()
    }
    
    
    public WeblogCategoryWrapper getParent() {
        return WeblogCategoryWrapper.wrap(this.pojo.getParent(), urlStrategy);
    //#WeblogCategoryWrapper.java:90: method: WeblogCategoryWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getParent()
    //#WeblogCategoryWrapper.java:90: Warning: method not available
    //#    -- call on WeblogCategory org.apache.roller.weblogger.pojos.WeblogCategory:getParent()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: WeblogCategoryWrapper getParent()
    //#    unanalyzed callee: WeblogCategory org.apache.roller.weblogger.pojos.WeblogCategory:getParent()
    //#input(WeblogCategoryWrapper getParent()): this
    //#input(WeblogCategoryWrapper getParent()): this.pojo
    //#input(WeblogCategoryWrapper getParent()): this.urlStrategy
    //#output(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1) num objects
    //#output(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1).__Tag
    //#output(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1).pojo
    //#output(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1).urlStrategy
    //#output(WeblogCategoryWrapper getParent()): return_value
    //#new obj(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1)
    //#pre[2] (WeblogCategoryWrapper getParent()): this.pojo != null
    //#presumption(WeblogCategoryWrapper getParent()): org.apache.roller.weblogger.pojos.WeblogCategory:getParent(...)@90 != null
    //#post(WeblogCategoryWrapper getParent()): return_value == &new WeblogCategoryWrapper(wrap#1)
    //#post(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1) num objects == 1
    //#post(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper
    //#post(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1).pojo != null
    //#post(WeblogCategoryWrapper getParent()): new WeblogCategoryWrapper(wrap#1).urlStrategy == this.urlStrategy
    //#post(WeblogCategoryWrapper getParent()): init'ed(new WeblogCategoryWrapper(wrap#1).urlStrategy)
    //#WeblogCategoryWrapper.java:90: end of method: WeblogCategoryWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getParent()
    }
    
    
    public List getWeblogCategories() {
        Set initialCollection = this.pojo.getWeblogCategories();
    //#WeblogCategoryWrapper.java:95: method: List org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getWeblogCategories()
    //#WeblogCategoryWrapper.java:95: Warning: method not available
    //#    -- call on Set org.apache.roller.weblogger.pojos.WeblogCategory:getWeblogCategories()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: List getWeblogCategories()
    //#    unanalyzed callee: Set org.apache.roller.weblogger.pojos.WeblogCategory:getWeblogCategories()
    //#input(List getWeblogCategories()): this
    //#input(List getWeblogCategories()): this.pojo
    //#input(List getWeblogCategories()): this.urlStrategy
    //#output(List getWeblogCategories()): new ArrayList(getWeblogCategories#1) num objects
    //#output(List getWeblogCategories()): return_value
    //#new obj(List getWeblogCategories()): new ArrayList(getWeblogCategories#1)
    //#pre[2] (List getWeblogCategories()): this.pojo != null
    //#presumption(List getWeblogCategories()): org.apache.roller.weblogger.pojos.WeblogCategory:getWeblogCategories(...)@95 != null
    //#post(List getWeblogCategories()): return_value == &new ArrayList(getWeblogCategories#1)
    //#post(List getWeblogCategories()): new ArrayList(getWeblogCategories#1) num objects == 1
    //#test_vector(List getWeblogCategories()): java.util.Iterator:hasNext(...)@103: {0}, {1}
        
        // iterate through and wrap
        // we force the use of an ArrayList because it should be good enough to cover
        // for any Collection type we encounter.
        ArrayList wrappedCollection = new ArrayList(initialCollection.size());
        Iterator it = initialCollection.iterator();
        int i = 0;
        while(it.hasNext()) {
            wrappedCollection.add(i,WeblogCategoryWrapper.wrap((WeblogCategory) it.next(), urlStrategy));
            i++;
    //#WeblogCategoryWrapper.java:105: ?overflow
    //#    i in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: List getWeblogCategories()
    //#    basic block: bb_3
    //#    assertion: i in -2_147_483_649..4_294_967_294
    //#    VN: i + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
        }
        
        return wrappedCollection;
    //#WeblogCategoryWrapper.java:108: end of method: List org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.getWeblogCategories()
    }
    
    
    public List retrieveWeblogEntries(boolean subcats)
            throws WebloggerException {
        
        List initialCollection = this.pojo.retrieveWeblogEntries(subcats);
    //#WeblogCategoryWrapper.java:115: method: List org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.retrieveWeblogEntries(bool)
    //#WeblogCategoryWrapper.java:115: Warning: method not available
    //#    -- call on List org.apache.roller.weblogger.pojos.WeblogCategory:retrieveWeblogEntries(bool)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: List retrieveWeblogEntries(bool)
    //#    unanalyzed callee: List org.apache.roller.weblogger.pojos.WeblogCategory:retrieveWeblogEntries(bool)
    //#input(List retrieveWeblogEntries(bool)): subcats
    //#input(List retrieveWeblogEntries(bool)): this
    //#input(List retrieveWeblogEntries(bool)): this.pojo
    //#input(List retrieveWeblogEntries(bool)): this.urlStrategy
    //#output(List retrieveWeblogEntries(bool)): new ArrayList(retrieveWeblogEntries#1) num objects
    //#output(List retrieveWeblogEntries(bool)): return_value
    //#new obj(List retrieveWeblogEntries(bool)): new ArrayList(retrieveWeblogEntries#1)
    //#pre[3] (List retrieveWeblogEntries(bool)): this.pojo != null
    //#presumption(List retrieveWeblogEntries(bool)): org.apache.roller.weblogger.pojos.WeblogCategory:retrieveWeblogEntries(...)@115 != null
    //#post(List retrieveWeblogEntries(bool)): return_value == &new ArrayList(retrieveWeblogEntries#1)
    //#post(List retrieveWeblogEntries(bool)): new ArrayList(retrieveWeblogEntries#1) num objects == 1
    //#test_vector(List retrieveWeblogEntries(bool)): java.util.Iterator:hasNext(...)@123: {0}, {1}
        
        // iterate through and wrap
        // we force the use of an ArrayList because it should be good enough to cover
        // for any Collection type we encounter.
        ArrayList wrappedCollection = new ArrayList(initialCollection.size());
        Iterator it = initialCollection.iterator();
        int i = 0;
        while(it.hasNext()) {
            wrappedCollection.add(i,WeblogEntryWrapper.wrap((WeblogEntry) it.next(), urlStrategy));
            i++;
    //#WeblogCategoryWrapper.java:125: ?overflow
    //#    i in -2_147_483_649..4_294_967_294
    //#    severity: LOW
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: List retrieveWeblogEntries(bool)
    //#    basic block: bb_3
    //#    assertion: i in -2_147_483_649..4_294_967_294
    //#    VN: i + 1
    //#    Expected: {-2_147_483_648..4_294_967_295, Invalid}
    //#    Bad: {4_294_967_296}
    //#    Attribs:  Int  Bad singleton  Bad > Exp
        }
        
        return wrappedCollection;
    //#WeblogCategoryWrapper.java:128: end of method: List org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.retrieveWeblogEntries(bool)
    }
    
    
    // TODO: this method doesn't work and propably doesn't need to be here anyways?
    public boolean descendentOf(WeblogCategory ancestor) {
        return this.pojo.descendentOf(ancestor);
    //#WeblogCategoryWrapper.java:134: method: bool org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.descendentOf(WeblogCategory)
    //#WeblogCategoryWrapper.java:134: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.WeblogCategory:descendentOf(WeblogCategory)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: bool descendentOf(WeblogCategory)
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.WeblogCategory:descendentOf(WeblogCategory)
    //#input(bool descendentOf(WeblogCategory)): ancestor
    //#input(bool descendentOf(WeblogCategory)): this
    //#input(bool descendentOf(WeblogCategory)): this.pojo
    //#output(bool descendentOf(WeblogCategory)): return_value
    //#pre[3] (bool descendentOf(WeblogCategory)): this.pojo != null
    //#post(bool descendentOf(WeblogCategory)): init'ed(return_value)
    //#WeblogCategoryWrapper.java:134: end of method: bool org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.descendentOf(WeblogCategory)
    }
    
    
    public boolean isInUse() {
        return this.pojo.isInUse();
    //#WeblogCategoryWrapper.java:139: method: bool org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.isInUse()
    //#WeblogCategoryWrapper.java:139: Warning: method not available
    //#    -- call on bool org.apache.roller.weblogger.pojos.WeblogCategory:isInUse()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
    //#    method: bool isInUse()
    //#    unanalyzed callee: bool org.apache.roller.weblogger.pojos.WeblogCategory:isInUse()
    //#input(bool isInUse()): this
    //#input(bool isInUse()): this.pojo
    //#output(bool isInUse()): return_value
    //#pre[2] (bool isInUse()): this.pojo != null
    //#post(bool isInUse()): init'ed(return_value)
    //#WeblogCategoryWrapper.java:139: end of method: bool org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.isInUse()
    }
    
}
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper]
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.descendentOf(Lorg/apache/roller/weblogger/pojos/WeblogCategory;)Z
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getImage()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getParent()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getPath()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getWeblogCategories()Ljava/util/List;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogWrapper;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.isInUse()Z
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.retrieveWeblogEntries(Z)Ljava/util/List;
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.descendentOf(Lorg/apache/roller/weblogger/pojos/WeblogCategory;)Z == &descendentOf
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getDescription()Ljava/lang/String; == &getDescription
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getImage()Ljava/lang/String; == &getImage
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getParent()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogCategoryWrapper; == &getParent
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getPath()Ljava/lang/String; == &getPath
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getWeblogCategories()Ljava/util/List; == &getWeblogCategories
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.getWebsite()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogWrapper; == &getWebsite
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.isInUse()Z == &isInUse
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init): __Dispatch_Table.retrieveWeblogEntries(Z)Ljava/util/List; == &retrieveWeblogEntries
    //#WeblogCategoryWrapper.java:: end of method: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper__static_init
    //#WeblogCategoryWrapper.java:: end of class: org.apache.roller.weblogger.pojos.wrapper.WeblogCategoryWrapper
