//# 0 errors, 160 messages
//#
/*
    //#ThemeTemplateWrapper.java:1:1: class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#ThemeTemplateWrapper.java:1:1: method: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__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.Date;
import org.apache.roller.weblogger.pojos.ThemeTemplate;


/**
 * Pojo safety wrapper for ThemeTemplate objects.
 */
public class ThemeTemplateWrapper {
    
    // keep a reference to the wrapped pojo
    private final ThemeTemplate pojo;
    
    // this is private so that we can force the use of the .wrap(pojo) method
    private ThemeTemplateWrapper(ThemeTemplate toWrap) {
    //#ThemeTemplateWrapper.java:34: method: void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)
    //#input(void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)): this
    //#input(void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)): toWrap
    //#output(void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)): this.pojo
    //#post(void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)): this.pojo == toWrap
    //#post(void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)): init'ed(this.pojo)
        this.pojo = toWrap;
    }
    //#ThemeTemplateWrapper.java:36: end of method: void org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper(ThemeTemplate)
    
    
    // wrap the given pojo if it is not null
    public static ThemeTemplateWrapper wrap(ThemeTemplate toWrap) {
        if(toWrap != null)
    //#ThemeTemplateWrapper.java:41: method: ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.wrap(ThemeTemplate)
    //#input(ThemeTemplateWrapper wrap(ThemeTemplate)): toWrap
    //#output(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1) num objects
    //#output(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1).__Tag
    //#output(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1).pojo
    //#output(ThemeTemplateWrapper wrap(ThemeTemplate)): return_value
    //#new obj(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1)
    //#post(ThemeTemplateWrapper wrap(ThemeTemplate)): return_value == One-of{&new ThemeTemplateWrapper(wrap#1), null}
    //#post(ThemeTemplateWrapper wrap(ThemeTemplate)): return_value in Addr_Set{null,&new ThemeTemplateWrapper(wrap#1)}
    //#post(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1) num objects <= 1
    //#post(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1).__Tag == org/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper
    //#post(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1).pojo == toWrap
    //#post(ThemeTemplateWrapper wrap(ThemeTemplate)): new ThemeTemplateWrapper(wrap#1).pojo != null
    //#test_vector(ThemeTemplateWrapper wrap(ThemeTemplate)): toWrap: Addr_Set{null}, Inverse{null}
            return new ThemeTemplateWrapper(toWrap);
        
        return null;
    //#ThemeTemplateWrapper.java:44: end of method: ThemeTemplateWrapper org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.wrap(ThemeTemplate)
    }
    
    
    public String getId() {
        return this.pojo.getId();
    //#ThemeTemplateWrapper.java:49: method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getId()
    //#ThemeTemplateWrapper.java:49: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getId()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: String getId()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate: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)
    //#ThemeTemplateWrapper.java:49: end of method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getId()
    }
    
    
    public String getName() {
        return this.pojo.getName();
    //#ThemeTemplateWrapper.java:54: method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getName()
    //#ThemeTemplateWrapper.java:54: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getName()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: String getName()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate: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)
    //#ThemeTemplateWrapper.java:54: end of method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getName()
    }
    
    
    public String getDescription() {
        return this.pojo.getDescription();
    //#ThemeTemplateWrapper.java:59: method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getDescription()
    //#ThemeTemplateWrapper.java:59: Warning: method not available
    //#    -- call on String org.apache.roller.weblogger.pojos.ThemeTemplate:getDescription()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: String getDescription()
    //#    unanalyzed callee: String org.apache.roller.weblogger.pojos.ThemeTemplate: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)
    //#ThemeTemplateWrapper.java:59: end of method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getDescription()
    }
    
    
    public String getContents() {
        return this.pojo.getContents();
    //#ThemeTemplateWrapper.java:64: method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getContents()
    //#ThemeTemplateWrapper.java:64: Warning: suspicious precondition
    //#    the precondition for this.pojo.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: String getContents()
    //#    suspicious precondition index: [4]
    //#input(String getContents()): org/apache/roller/weblogger/pojos/StaticThemeTemplate.__Dispatch_Table.getContents()Ljava/lang/String;
    //#input(String getContents()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/StaticThemeTemplate]
    //#input(String getContents()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/ThemeTemplate]
    //#input(String getContents()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(String getContents()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[others]
    //#input(String getContents()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Dispatch_Table.getContents()Ljava/lang/String;
    //#input(String getContents()): org/apache/roller/weblogger/pojos/WeblogTemplate.__Dispatch_Table.getContents()Ljava/lang/String;
    //#input(String getContents()): this
    //#input(String getContents()): this.pojo
    //#input(String getContents()): this.pojo.__Tag
    //#input(String getContents()): this.pojo.contents
    //#output(String getContents()): return_value
    //#pre[3] (String getContents()): this.pojo != null
    //#pre[4] (String getContents()): this.pojo.__Tag in {org/apache/roller/weblogger/pojos/StaticThemeTemplate, org/apache/roller/weblogger/pojos/ThemeTemplate, org/apache/roller/weblogger/pojos/WeblogTemplate}
    //#pre[5] (String getContents()): (soft) init'ed(this.pojo.contents)
    //#pre[6] (String getContents()): (soft) init'ed(this.pojo.contents)
    //#post(String getContents()): (soft) init'ed(return_value)
    //#unanalyzed(String getContents()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#ThemeTemplateWrapper.java:64: end of method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getContents()
    }
    
    
    public String getLink() {
        return this.pojo.getLink();
    //#ThemeTemplateWrapper.java:69: method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getLink()
    //#ThemeTemplateWrapper.java:69: Warning: suspicious precondition
    //#    the precondition for this.pojo.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: String getLink()
    //#    suspicious precondition index: [4]
    //#input(String getLink()): org/apache/roller/weblogger/pojos/StaticThemeTemplate.__Dispatch_Table.getLink()Ljava/lang/String;
    //#input(String getLink()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/StaticThemeTemplate]
    //#input(String getLink()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/ThemeTemplate]
    //#input(String getLink()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(String getLink()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[others]
    //#input(String getLink()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Dispatch_Table.getLink()Ljava/lang/String;
    //#input(String getLink()): org/apache/roller/weblogger/pojos/WeblogTemplate.__Dispatch_Table.getLink()Ljava/lang/String;
    //#input(String getLink()): this
    //#input(String getLink()): this.pojo
    //#input(String getLink()): this.pojo.__Tag
    //#input(String getLink()): this.pojo.link
    //#output(String getLink()): return_value
    //#pre[3] (String getLink()): this.pojo != null
    //#pre[4] (String getLink()): this.pojo.__Tag in {org/apache/roller/weblogger/pojos/StaticThemeTemplate, org/apache/roller/weblogger/pojos/ThemeTemplate, org/apache/roller/weblogger/pojos/WeblogTemplate}
    //#pre[5] (String getLink()): (soft) init'ed(this.pojo.link)
    //#pre[6] (String getLink()): (soft) init'ed(this.pojo.link)
    //#post(String getLink()): (soft) init'ed(return_value)
    //#unanalyzed(String getLink()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#ThemeTemplateWrapper.java:69: end of method: String org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getLink()
    }
    
    
    public Date getLastModified() {
        return this.pojo.getLastModified();
    //#ThemeTemplateWrapper.java:74: method: Date org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getLastModified()
    //#ThemeTemplateWrapper.java:74: Warning: method not available
    //#    -- call on Date org.apache.roller.weblogger.pojos.ThemeTemplate:getLastModified()
    //#    severity: INFORMATIONAL
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: Date getLastModified()
    //#    unanalyzed callee: Date org.apache.roller.weblogger.pojos.ThemeTemplate:getLastModified()
    //#input(Date getLastModified()): this
    //#input(Date getLastModified()): this.pojo
    //#output(Date getLastModified()): return_value
    //#pre[2] (Date getLastModified()): this.pojo != null
    //#post(Date getLastModified()): init'ed(return_value)
    //#ThemeTemplateWrapper.java:74: end of method: Date org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.getLastModified()
    }
    
    
    public boolean isHidden() {
        return this.pojo.isHidden();
    //#ThemeTemplateWrapper.java:79: method: bool org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.isHidden()
    //#ThemeTemplateWrapper.java:79: Warning: suspicious precondition
    //#    the precondition for this.pojo.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: bool isHidden()
    //#    suspicious precondition index: [4]
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/StaticThemeTemplate.__Dispatch_Table.isHidden()Z
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/StaticThemeTemplate]
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/ThemeTemplate]
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[others]
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Dispatch_Table.isHidden()Z
    //#input(bool isHidden()): org/apache/roller/weblogger/pojos/WeblogTemplate.__Dispatch_Table.isHidden()Z
    //#input(bool isHidden()): this
    //#input(bool isHidden()): this.pojo
    //#input(bool isHidden()): this.pojo.__Tag
    //#input(bool isHidden()): this.pojo.hidden
    //#output(bool isHidden()): return_value
    //#pre[3] (bool isHidden()): this.pojo != null
    //#pre[4] (bool isHidden()): this.pojo.__Tag in {org/apache/roller/weblogger/pojos/StaticThemeTemplate, org/apache/roller/weblogger/pojos/ThemeTemplate, org/apache/roller/weblogger/pojos/WeblogTemplate}
    //#pre[5] (bool isHidden()): (soft) init'ed(this.pojo.hidden)
    //#pre[6] (bool isHidden()): (soft) init'ed(this.pojo.hidden)
    //#post(bool isHidden()): init'ed(return_value)
    //#unanalyzed(bool isHidden()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#ThemeTemplateWrapper.java:79: end of method: bool org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.isHidden()
    }
    
    
    public boolean isNavbar() {
        return this.pojo.isNavbar();
    //#ThemeTemplateWrapper.java:84: method: bool org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.isNavbar()
    //#ThemeTemplateWrapper.java:84: Warning: suspicious precondition
    //#    the precondition for this.pojo.__Tag is not a contiguous range of values
    //#    severity: SUPPRESSED
    //#    class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
    //#    method: bool isNavbar()
    //#    suspicious precondition index: [4]
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/StaticThemeTemplate.__Dispatch_Table.isNavbar()Z
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/StaticThemeTemplate]
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/ThemeTemplate]
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[org/apache/roller/weblogger/pojos/WeblogTemplate]
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Descendant_Table[others]
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/ThemeTemplate.__Dispatch_Table.isNavbar()Z
    //#input(bool isNavbar()): org/apache/roller/weblogger/pojos/WeblogTemplate.__Dispatch_Table.isNavbar()Z
    //#input(bool isNavbar()): this
    //#input(bool isNavbar()): this.pojo
    //#input(bool isNavbar()): this.pojo.__Tag
    //#input(bool isNavbar()): this.pojo.navbar
    //#output(bool isNavbar()): return_value
    //#pre[3] (bool isNavbar()): this.pojo != null
    //#pre[4] (bool isNavbar()): this.pojo.__Tag in {org/apache/roller/weblogger/pojos/StaticThemeTemplate, org/apache/roller/weblogger/pojos/ThemeTemplate, org/apache/roller/weblogger/pojos/WeblogTemplate}
    //#pre[5] (bool isNavbar()): (soft) init'ed(this.pojo.navbar)
    //#pre[6] (bool isNavbar()): (soft) init'ed(this.pojo.navbar)
    //#post(bool isNavbar()): init'ed(return_value)
    //#unanalyzed(bool isNavbar()): Effects-of-calling:org.apache.openjpa.enhance.StateManager:accessingField
    //#ThemeTemplateWrapper.java:84: end of method: bool org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.isNavbar()
    }
    
}
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper]
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getContents()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getLastModified()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.isHidden()Z
    //#output(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.isNavbar()Z
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Descendant_Table[org/apache/roller/weblogger/pojos/wrapper/ThemeTemplateWrapper] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getContents()Ljava/lang/String; == &getContents
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getDescription()Ljava/lang/String; == &getDescription
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getLastModified()Ljava/util/Date; == &getLastModified
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getLink()Ljava/lang/String; == &getLink
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.isHidden()Z == &isHidden
    //#post(org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init): __Dispatch_Table.isNavbar()Z == &isNavbar
    //#ThemeTemplateWrapper.java:: end of method: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper.org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper__static_init
    //#ThemeTemplateWrapper.java:: end of class: org.apache.roller.weblogger.pojos.wrapper.ThemeTemplateWrapper
