//# 0 errors, 119 messages
//#
/*
    //#WeblogBookmarkWrapper.java:1:1: class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#WeblogBookmarkWrapper.java:1:1: method: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__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 org.apache.roller.weblogger.pojos.WeblogBookmark;


/**
 * Pojo safety wrapper for WeblogBookmark object.
 */
public class WeblogBookmarkWrapper {
    
    // keep a reference to the wrapped pojo
    private final WeblogBookmark pojo;
    
    // this is private so that we can force the use of the .wrap(pojo) method
    private WeblogBookmarkWrapper(WeblogBookmark toWrap) {
    //#WeblogBookmarkWrapper.java:33: method: void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)): this
    //#input(void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)): toWrap
    //#output(void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)): this.pojo
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)): this.pojo == toWrap
    //#post(void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)): init'ed(this.pojo)
        this.pojo = toWrap;
    }
    //#WeblogBookmarkWrapper.java:35: end of method: void org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper(WeblogBookmark)
    
    
    // wrap the given pojo if it is not null
    public static WeblogBookmarkWrapper wrap(WeblogBookmark toWrap) {
        if(toWrap != null)
    //#WeblogBookmarkWrapper.java:40: method: WeblogBookmarkWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.wrap(WeblogBookmark)
    //#input(WeblogBookmarkWrapper wrap(WeblogBookmark)): toWrap
    //#output(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1) num objects
    //#output(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1).__Tag
    //#output(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1).pojo
    //#output(WeblogBookmarkWrapper wrap(WeblogBookmark)): return_value
    //#new obj(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1)
    //#post(WeblogBookmarkWrapper wrap(WeblogBookmark)): return_value == One-of{&new WeblogBookmarkWrapper(wrap#1), null}
    //#post(WeblogBookmarkWrapper wrap(WeblogBookmark)): return_value in Addr_Set{null,&new WeblogBookmarkWrapper(wrap#1)}
    //#post(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1) num objects <= 1
    //#post(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/WeblogBookmarkWrapper
    //#post(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1).pojo == toWrap
    //#post(WeblogBookmarkWrapper wrap(WeblogBookmark)): new WeblogBookmarkWrapper(wrap#1).pojo != null
    //#test_vector(WeblogBookmarkWrapper wrap(WeblogBookmark)): toWrap: Addr_Set{null}, Inverse{null}
            return new WeblogBookmarkWrapper(toWrap);
        
        return null;
    //#WeblogBookmarkWrapper.java:43: end of method: WeblogBookmarkWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.wrap(WeblogBookmark)
    }
    
    
    public String getId() {
        return this.pojo.getId();
    //#WeblogBookmarkWrapper.java:48: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getId()
    //#WeblogBookmarkWrapper.java:48: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogBookmark:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: String getId()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogBookmark: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)
    //#WeblogBookmarkWrapper.java:48: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getId()
    }
    
    
    public String getName() {
        return this.pojo.getName();
    //#WeblogBookmarkWrapper.java:53: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getName()
    //#WeblogBookmarkWrapper.java:53: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogBookmark:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: String getName()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogBookmark: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)
    //#WeblogBookmarkWrapper.java:53: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getName()
    }
    
    
    public String getDescription() {
        return this.pojo.getDescription();
    //#WeblogBookmarkWrapper.java:58: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getDescription()
    //#WeblogBookmarkWrapper.java:58: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogBookmark:getDescription()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: String getDescription()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogBookmark: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)
    //#WeblogBookmarkWrapper.java:58: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getDescription()
    }
    
    
    public String getUrl() {
        return this.pojo.getUrl();
    //#WeblogBookmarkWrapper.java:63: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getUrl()
    //#WeblogBookmarkWrapper.java:63: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogBookmark:getUrl()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: String getUrl()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogBookmark:getUrl()
    //#input(String getUrl()): this
    //#input(String getUrl()): this.pojo
    //#output(String getUrl()): return_value
    //#pre[2] (String getUrl()): this.pojo != null
    //#post(String getUrl()): init'ed(return_value)
    //#WeblogBookmarkWrapper.java:63: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getUrl()
    }
    
    
    public Integer getWeight() {
        return this.pojo.getWeight();
    //#WeblogBookmarkWrapper.java:68: method: Integer org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getWeight()
    //#WeblogBookmarkWrapper.java:68: Warning: method not available
    //#    -- call on Integer org.apache.roller.weblogger.pojos.WeblogBookmark:getWeight()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: Integer getWeight()
    //#    unanalyzed callee: Integer org.apache.roller.weblogger.pojos.WeblogBookmark:getWeight()
    //#input(Integer getWeight()): this
    //#input(Integer getWeight()): this.pojo
    //#output(Integer getWeight()): return_value
    //#pre[2] (Integer getWeight()): this.pojo != null
    //#post(Integer getWeight()): init'ed(return_value)
    //#WeblogBookmarkWrapper.java:68: end of method: Integer org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getWeight()
    }
    
    
    public Integer getPriority() {
        return this.pojo.getPriority();
    //#WeblogBookmarkWrapper.java:73: method: Integer org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getPriority()
    //#WeblogBookmarkWrapper.java:73: Warning: method not available
    //#    -- call on Integer org.apache.roller.weblogger.pojos.WeblogBookmark:getPriority()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: Integer getPriority()
    //#    unanalyzed callee: Integer org.apache.roller.weblogger.pojos.WeblogBookmark:getPriority()
    //#input(Integer getPriority()): this
    //#input(Integer getPriority()): this.pojo
    //#output(Integer getPriority()): return_value
    //#pre[2] (Integer getPriority()): this.pojo != null
    //#post(Integer getPriority()): init'ed(return_value)
    //#WeblogBookmarkWrapper.java:73: end of method: Integer org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getPriority()
    }
    
    
    public String getImage() {
        return this.pojo.getImage();
    //#WeblogBookmarkWrapper.java:78: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getImage()
    //#WeblogBookmarkWrapper.java:78: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogBookmark:getImage()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: String getImage()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogBookmark: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)
    //#WeblogBookmarkWrapper.java:78: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getImage()
    }
    
    
    public String getFeedUrl() {
        return this.pojo.getFeedUrl();
    //#WeblogBookmarkWrapper.java:83: method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getFeedUrl()
    //#WeblogBookmarkWrapper.java:83: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.WeblogBookmark:getFeedUrl()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: String getFeedUrl()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.WeblogBookmark:getFeedUrl()
    //#input(String getFeedUrl()): this
    //#input(String getFeedUrl()): this.pojo
    //#output(String getFeedUrl()): return_value
    //#pre[2] (String getFeedUrl()): this.pojo != null
    //#post(String getFeedUrl()): init'ed(return_value)
    //#WeblogBookmarkWrapper.java:83: end of method: String org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getFeedUrl()
    }
    
    
    public WeblogBookmarkFolderWrapper getFolder() {
        return WeblogBookmarkFolderWrapper.wrap(this.pojo.getFolder());
    //#WeblogBookmarkWrapper.java:88: method: WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getFolder()
    //#WeblogBookmarkWrapper.java:88: Warning: method not available
    //#    -- call on WeblogBookmarkFolder org.apache.roller.weblogger.pojos.WeblogBookmark:getFolder()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: WeblogBookmarkFolderWrapper getFolder()
    //#    unanalyzed callee: WeblogBookmarkFolder org.apache.roller.weblogger.pojos.WeblogBookmark:getFolder()
    //#WeblogBookmarkWrapper.java:88: Warning: method not available
    //#    -- call on WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFolder)
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
    //#    method: WeblogBookmarkFolderWrapper getFolder()
    //#    unanalyzed callee: WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkFolderWrapper:wrap(WeblogBookmarkFolder)
    //#input(WeblogBookmarkFolderWrapper getFolder()): this
    //#input(WeblogBookmarkFolderWrapper getFolder()): this.pojo
    //#output(WeblogBookmarkFolderWrapper getFolder()): return_value
    //#pre[2] (WeblogBookmarkFolderWrapper getFolder()): this.pojo != null
    //#post(WeblogBookmarkFolderWrapper getFolder()): init'ed(return_value)
    //#WeblogBookmarkWrapper.java:88: end of method: WeblogBookmarkFolderWrapper org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.getFolder()
    }
    
}
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogBookmarkWrapper]
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getFeedUrl()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getFolder()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogBookmarkFolderWrapper;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getImage()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getPriority()Ljava/lang/Integer;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getUrl()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getWeight()Ljava/lang/Integer;
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/WeblogBookmarkWrapper] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getDescription()Ljava/lang/String; == &getDescription
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getFeedUrl()Ljava/lang/String; == &getFeedUrl
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getFolder()Lorg/apache/roller/weblogger/pojos/wrapper/WeblogBookmarkFolderWrapper; == &getFolder
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getImage()Ljava/lang/String; == &getImage
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getPriority()Ljava/lang/Integer; == &getPriority
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getUrl()Ljava/lang/String; == &getUrl
    //#post(org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init): __Dispatch_Table.getWeight()Ljava/lang/Integer; == &getWeight
    //#WeblogBookmarkWrapper.java:: end of method: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper.org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper__static_init
    //#WeblogBookmarkWrapper.java:: end of class: org.apache.roller.weblogger.pojos.wrapper.WeblogBookmarkWrapper
