//# 0 errors, 339 messages
//#
/*
    //#SharedThemeTemplate.java:1:1: class: org.apache.roller.weblogger.business.themes.SharedThemeTemplate
    //#SharedThemeTemplate.java:1:1: method: org.apache.roller.weblogger.business.themes.SharedThemeTemplate.org.apache.roller.weblogger.business.themes.SharedThemeTemplate__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.business.themes;

import java.io.Serializable;
import java.util.Date;
import org.apache.roller.weblogger.WebloggerException;
import org.apache.roller.weblogger.pojos.ThemeTemplate;


/**
 * A Theme based implementation of a Template.  A ThemeTemplate represents a
 * template which is part of a shared Theme.
 */
public class SharedThemeTemplate implements ThemeTemplate, Serializable {
    
    private String id = null;
    private String action = null;
    private String name = null;
    private String description = null;
    private String contents = null;
    private String link = null;
    private Date lastModified = null;
    private String templateLanguage = null;
    private boolean hidden = false;
    private boolean navbar = false;
    private String  outputContentType = null;
    
    private SharedTheme myTheme = null;
    
    
    public SharedThemeTemplate() {}
    //#SharedThemeTemplate.java:48: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.org.apache.roller.weblogger.business.themes.SharedThemeTemplate()
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.action
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.contents
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.description
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.hidden
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.id
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.lastModified
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.link
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.myTheme
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.name
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.navbar
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.outputContentType
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.templateLanguage
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.action == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.contents == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.description == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.id == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.lastModified == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.link == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.myTheme == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.name == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.outputContentType == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.templateLanguage == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.hidden == 0
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate()): this.navbar == 0
    //#SharedThemeTemplate.java:48: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.org.apache.roller.weblogger.business.themes.SharedThemeTemplate()
    
    public SharedThemeTemplate(SharedTheme theme, String id, String action, String name, 
            String desc, String contents, String link, Date date, 
            String tempLang, boolean hid, boolean navbar) {
    //#SharedThemeTemplate.java:52: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): action
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): contents
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): date
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): desc
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): hid
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): id
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): link
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): name
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): navbar
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): tempLang
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): theme
    //#input(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.action
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.contents
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.description
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.hidden
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.id
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.lastModified
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.link
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.myTheme
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.name
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.navbar
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.outputContentType
    //#output(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.templateLanguage
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.action == action
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.action)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.contents == contents
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.contents)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.description == desc
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.description)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.hidden == hid
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.hidden)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.id == id
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.id)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.lastModified == date
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.lastModified)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.link == link
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.link)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.myTheme == theme
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.myTheme)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.name == name
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.name)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.navbar == navbar
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.navbar)
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.outputContentType == null
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): this.templateLanguage == tempLang
    //#post(void org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)): init'ed(this.templateLanguage)
        
        this.myTheme = theme;
        this.id = id;
        this.action = action;
        this.name = name;
        this.description = desc;
        this.contents = contents;
        this.link = link;
        this.lastModified = date;
        this.templateLanguage = tempLang;
        this.hidden = hid;
        this.navbar = navbar;
    }
    //#SharedThemeTemplate.java:65: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.org.apache.roller.weblogger.business.themes.SharedThemeTemplate(SharedTheme, String, String, String, String, String, String, Date, String, bool, bool)
    
    
    // NOTE: decorators are deprecated as of 4.0 but we leave this here because
    //       they need to be left in place for backwards compatability
    public ThemeTemplate getDecorator() {
        return null;
    //#SharedThemeTemplate.java:71: method: ThemeTemplate org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getDecorator()
    //#output(ThemeTemplate getDecorator()): return_value
    //#post(ThemeTemplate getDecorator()): return_value == null
    //#SharedThemeTemplate.java:71: end of method: ThemeTemplate org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getDecorator()
    }
    
    public String getId() {
        return id;
    //#SharedThemeTemplate.java:75: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getId()
    //#input(String getId()): this
    //#input(String getId()): this.id
    //#output(String getId()): return_value
    //#pre[2] (String getId()): init'ed(this.id)
    //#post(String getId()): return_value == this.id
    //#post(String getId()): init'ed(return_value)
    //#SharedThemeTemplate.java:75: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getId()
    }

    public void setId(String id) {
        this.id = id;
    //#SharedThemeTemplate.java:79: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setId(String)
    //#input(void setId(String)): id
    //#input(void setId(String)): this
    //#output(void setId(String)): this.id
    //#post(void setId(String)): this.id == id
    //#post(void setId(String)): init'ed(this.id)
    }
    //#SharedThemeTemplate.java:80: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setId(String)

    public String getName() {
        return name;
    //#SharedThemeTemplate.java:83: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getName()
    //#input(String getName()): this
    //#input(String getName()): this.name
    //#output(String getName()): return_value
    //#pre[2] (String getName()): init'ed(this.name)
    //#post(String getName()): return_value == this.name
    //#post(String getName()): init'ed(return_value)
    //#SharedThemeTemplate.java:83: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getName()
    }

    public void setName(String name) {
        this.name = name;
    //#SharedThemeTemplate.java:87: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setName(String)
    //#input(void setName(String)): name
    //#input(void setName(String)): this
    //#output(void setName(String)): this.name
    //#post(void setName(String)): this.name == name
    //#post(void setName(String)): init'ed(this.name)
    }
    //#SharedThemeTemplate.java:88: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setName(String)

    public String getDescription() {
        return description;
    //#SharedThemeTemplate.java:91: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getDescription()
    //#input(String getDescription()): this
    //#input(String getDescription()): this.description
    //#output(String getDescription()): return_value
    //#pre[2] (String getDescription()): init'ed(this.description)
    //#post(String getDescription()): return_value == this.description
    //#post(String getDescription()): init'ed(return_value)
    //#SharedThemeTemplate.java:91: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getDescription()
    }

    public void setDescription(String description) {
        this.description = description;
    //#SharedThemeTemplate.java:95: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setDescription(String)
    //#input(void setDescription(String)): description
    //#input(void setDescription(String)): this
    //#output(void setDescription(String)): this.description
    //#post(void setDescription(String)): this.description == description
    //#post(void setDescription(String)): init'ed(this.description)
    }
    //#SharedThemeTemplate.java:96: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setDescription(String)

    public String getContents() {
        return contents;
    //#SharedThemeTemplate.java:99: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getContents()
    //#input(String getContents()): this
    //#input(String getContents()): this.contents
    //#output(String getContents()): return_value
    //#pre[2] (String getContents()): init'ed(this.contents)
    //#post(String getContents()): return_value == this.contents
    //#post(String getContents()): init'ed(return_value)
    //#SharedThemeTemplate.java:99: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getContents()
    }

    public void setContents(String contents) {
        this.contents = contents;
    //#SharedThemeTemplate.java:103: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setContents(String)
    //#input(void setContents(String)): contents
    //#input(void setContents(String)): this
    //#output(void setContents(String)): this.contents
    //#post(void setContents(String)): this.contents == contents
    //#post(void setContents(String)): init'ed(this.contents)
    }
    //#SharedThemeTemplate.java:104: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setContents(String)

    public Date getLastModified() {
        return lastModified;
    //#SharedThemeTemplate.java:107: method: Date org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getLastModified()
    //#input(Date getLastModified()): this
    //#input(Date getLastModified()): this.lastModified
    //#output(Date getLastModified()): return_value
    //#pre[2] (Date getLastModified()): init'ed(this.lastModified)
    //#post(Date getLastModified()): return_value == this.lastModified
    //#post(Date getLastModified()): init'ed(return_value)
    //#SharedThemeTemplate.java:107: end of method: Date org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getLastModified()
    }

    public void setLastModified(Date lastModified) {
        this.lastModified = lastModified;
    //#SharedThemeTemplate.java:111: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setLastModified(Date)
    //#input(void setLastModified(Date)): lastModified
    //#input(void setLastModified(Date)): this
    //#output(void setLastModified(Date)): this.lastModified
    //#post(void setLastModified(Date)): this.lastModified == lastModified
    //#post(void setLastModified(Date)): init'ed(this.lastModified)
    }
    //#SharedThemeTemplate.java:112: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setLastModified(Date)

    public String getLink() {
        return link;
    //#SharedThemeTemplate.java:115: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getLink()
    //#input(String getLink()): this
    //#input(String getLink()): this.link
    //#output(String getLink()): return_value
    //#pre[2] (String getLink()): init'ed(this.link)
    //#post(String getLink()): return_value == this.link
    //#post(String getLink()): init'ed(return_value)
    //#SharedThemeTemplate.java:115: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getLink()
    }

    public void setLink(String link) {
        this.link = link;
    //#SharedThemeTemplate.java:119: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setLink(String)
    //#input(void setLink(String)): link
    //#input(void setLink(String)): this
    //#output(void setLink(String)): this.link
    //#post(void setLink(String)): this.link == link
    //#post(void setLink(String)): init'ed(this.link)
    }
    //#SharedThemeTemplate.java:120: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setLink(String)

    public String getTemplateLanguage() {
        return templateLanguage;
    //#SharedThemeTemplate.java:123: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getTemplateLanguage()
    //#input(String getTemplateLanguage()): this
    //#input(String getTemplateLanguage()): this.templateLanguage
    //#output(String getTemplateLanguage()): return_value
    //#pre[2] (String getTemplateLanguage()): init'ed(this.templateLanguage)
    //#post(String getTemplateLanguage()): return_value == this.templateLanguage
    //#post(String getTemplateLanguage()): init'ed(return_value)
    //#SharedThemeTemplate.java:123: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getTemplateLanguage()
    }

    public void setTemplateLanguage(String templateLanguage) {
        this.templateLanguage = templateLanguage;
    //#SharedThemeTemplate.java:127: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setTemplateLanguage(String)
    //#input(void setTemplateLanguage(String)): templateLanguage
    //#input(void setTemplateLanguage(String)): this
    //#output(void setTemplateLanguage(String)): this.templateLanguage
    //#post(void setTemplateLanguage(String)): this.templateLanguage == templateLanguage
    //#post(void setTemplateLanguage(String)): init'ed(this.templateLanguage)
    }
    //#SharedThemeTemplate.java:128: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setTemplateLanguage(String)

    public boolean isHidden() {
        return hidden;
    //#SharedThemeTemplate.java:131: method: bool org.apache.roller.weblogger.business.themes.SharedThemeTemplate.isHidden()
    //#input(bool isHidden()): this
    //#input(bool isHidden()): this.hidden
    //#output(bool isHidden()): return_value
    //#pre[2] (bool isHidden()): init'ed(this.hidden)
    //#post(bool isHidden()): return_value == this.hidden
    //#post(bool isHidden()): init'ed(return_value)
    //#SharedThemeTemplate.java:131: end of method: bool org.apache.roller.weblogger.business.themes.SharedThemeTemplate.isHidden()
    }

    public void setHidden(boolean isHidden) {
        this.hidden = isHidden;
    //#SharedThemeTemplate.java:135: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setHidden(bool)
    //#input(void setHidden(bool)): isHidden
    //#input(void setHidden(bool)): this
    //#output(void setHidden(bool)): this.hidden
    //#post(void setHidden(bool)): this.hidden == isHidden
    //#post(void setHidden(bool)): init'ed(this.hidden)
    }
    //#SharedThemeTemplate.java:136: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setHidden(bool)

    public boolean isNavbar() {
        return navbar;
    //#SharedThemeTemplate.java:139: method: bool org.apache.roller.weblogger.business.themes.SharedThemeTemplate.isNavbar()
    //#input(bool isNavbar()): this
    //#input(bool isNavbar()): this.navbar
    //#output(bool isNavbar()): return_value
    //#pre[2] (bool isNavbar()): init'ed(this.navbar)
    //#post(bool isNavbar()): return_value == this.navbar
    //#post(bool isNavbar()): init'ed(return_value)
    //#SharedThemeTemplate.java:139: end of method: bool org.apache.roller.weblogger.business.themes.SharedThemeTemplate.isNavbar()
    }

    public void setNavbar(boolean navbar) {
        this.navbar = navbar;
    //#SharedThemeTemplate.java:143: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setNavbar(bool)
    //#input(void setNavbar(bool)): navbar
    //#input(void setNavbar(bool)): this
    //#output(void setNavbar(bool)): this.navbar
    //#post(void setNavbar(bool)): this.navbar == navbar
    //#post(void setNavbar(bool)): init'ed(this.navbar)
    }
    //#SharedThemeTemplate.java:144: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setNavbar(bool)

    public String getDecoratorName() {
        return null;
    //#SharedThemeTemplate.java:147: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getDecoratorName()
    //#output(String getDecoratorName()): return_value
    //#post(String getDecoratorName()): return_value == null
    //#SharedThemeTemplate.java:147: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getDecoratorName()
    }

    public void setDecoratorName(String decorator) {
        // no-op
    }
    //#SharedThemeTemplate.java:152: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setDecoratorName(String)
    //#SharedThemeTemplate.java:152: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setDecoratorName(String)

    public String getOutputContentType() {
        return outputContentType;
    //#SharedThemeTemplate.java:155: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getOutputContentType()
    //#input(String getOutputContentType()): this
    //#input(String getOutputContentType()): this.outputContentType
    //#output(String getOutputContentType()): return_value
    //#pre[2] (String getOutputContentType()): init'ed(this.outputContentType)
    //#post(String getOutputContentType()): return_value == this.outputContentType
    //#post(String getOutputContentType()): init'ed(return_value)
    //#SharedThemeTemplate.java:155: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getOutputContentType()
    }

    public void setOutputContentType(String outputContentType) {
        this.outputContentType = outputContentType;
    //#SharedThemeTemplate.java:159: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setOutputContentType(String)
    //#input(void setOutputContentType(String)): outputContentType
    //#input(void setOutputContentType(String)): this
    //#output(void setOutputContentType(String)): this.outputContentType
    //#post(void setOutputContentType(String)): this.outputContentType == outputContentType
    //#post(void setOutputContentType(String)): init'ed(this.outputContentType)
    }
    //#SharedThemeTemplate.java:160: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setOutputContentType(String)
    
    public String toString() {
        return (id + "," + name + "," + description + "," + link + "," + 
    //#SharedThemeTemplate.java:163: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.toString()
    //#input(String toString()): "&#10;"._tainted
    //#input(String toString()): "&#10;&#10;"._tainted
    //#input(String toString()): ","._tainted
    //#input(String toString()): this
    //#input(String toString()): this.contents
    //#input(String toString()): this.contents._tainted
    //#input(String toString()): this.description
    //#input(String toString()): this.description._tainted
    //#input(String toString()): this.id
    //#input(String toString()): this.id._tainted
    //#input(String toString()): this.lastModified
    //#input(String toString()): this.lastModified._tainted
    //#input(String toString()): this.link
    //#input(String toString()): this.link._tainted
    //#input(String toString()): this.name
    //#input(String toString()): this.name._tainted
    //#output(String toString()): java.lang.StringBuilder:toString(...)._tainted
    //#output(String toString()): return_value
    //#new obj(String toString()): java.lang.StringBuilder:toString(...)
    //#pre[2] (String toString()): init'ed(this.contents)
    //#pre[4] (String toString()): init'ed(this.description)
    //#pre[7] (String toString()): init'ed(this.id)
    //#pre[10] (String toString()): init'ed(this.lastModified)
    //#pre[13] (String toString()): init'ed(this.link)
    //#pre[16] (String toString()): init'ed(this.name)
    //#post(String toString()): java.lang.StringBuilder:toString(...)._tainted == this.lastModified._tainted | this.link._tainted | this.description._tainted | this.id._tainted | this.name._tainted | One-of{this.lastModified._tainted | this.link._tainted | this.description._tainted | this.id._tainted | this.name._tainted, this.contents....
    //#post(String toString()): init'ed(java.lang.StringBuilder:toString(...)._tainted)
    //#post(String toString()): return_value == &java.lang.StringBuilder:toString(...)
    //#SharedThemeTemplate.java:163: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.toString()
                lastModified + "\n\n" + contents + "\n");
    }

    public String getAction() {
        return action;
    //#SharedThemeTemplate.java:168: method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getAction()
    //#input(String getAction()): this
    //#input(String getAction()): this.action
    //#output(String getAction()): return_value
    //#pre[2] (String getAction()): init'ed(this.action)
    //#post(String getAction()): return_value == this.action
    //#post(String getAction()): init'ed(return_value)
    //#SharedThemeTemplate.java:168: end of method: String org.apache.roller.weblogger.business.themes.SharedThemeTemplate.getAction()
    }

    public void setAction(String action) {
        this.action = action;
    //#SharedThemeTemplate.java:172: method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setAction(String)
    //#input(void setAction(String)): action
    //#input(void setAction(String)): this
    //#output(void setAction(String)): this.action
    //#post(void setAction(String)): this.action == action
    //#post(void setAction(String)): init'ed(this.action)
    }
    //#SharedThemeTemplate.java:173: end of method: void org.apache.roller.weblogger.business.themes.SharedThemeTemplate.setAction(String)
    
}
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Descendant_Table[org/apache/roller/weblogger/business/themes/SharedThemeTemplate]
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getAction()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getContents()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getDecorator()Lorg/apache/roller/weblogger/pojos/ThemeTemplate;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getDecoratorName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getDescription()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getLastModified()Ljava/util/Date;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getLink()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getOutputContentType()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getTemplateLanguage()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.isHidden()Z
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.isNavbar()Z
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setAction(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setContents(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setDecoratorName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setDescription(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setHidden(Z)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setLastModified(Ljava/util/Date;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setLink(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setNavbar(Z)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setOutputContentType(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setTemplateLanguage(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.toString()Ljava/lang/String;
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Descendant_Table[org/apache/roller/weblogger/business/themes/SharedThemeTemplate] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getAction()Ljava/lang/String; == &getAction
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getContents()Ljava/lang/String; == &getContents
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getDecorator()Lorg/apache/roller/weblogger/pojos/ThemeTemplate; == &getDecorator
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getDecoratorName()Ljava/lang/String; == &getDecoratorName
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getDescription()Ljava/lang/String; == &getDescription
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getLastModified()Ljava/util/Date; == &getLastModified
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getLink()Ljava/lang/String; == &getLink
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getOutputContentType()Ljava/lang/String; == &getOutputContentType
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.getTemplateLanguage()Ljava/lang/String; == &getTemplateLanguage
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.isHidden()Z == &isHidden
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.isNavbar()Z == &isNavbar
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setAction(Ljava/lang/String;)V == &setAction
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setContents(Ljava/lang/String;)V == &setContents
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setDecoratorName(Ljava/lang/String;)V == &setDecoratorName
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setDescription(Ljava/lang/String;)V == &setDescription
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setHidden(Z)V == &setHidden
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setLastModified(Ljava/util/Date;)V == &setLastModified
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setLink(Ljava/lang/String;)V == &setLink
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setNavbar(Z)V == &setNavbar
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setOutputContentType(Ljava/lang/String;)V == &setOutputContentType
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.setTemplateLanguage(Ljava/lang/String;)V == &setTemplateLanguage
    //#post(org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init): __Dispatch_Table.toString()Ljava/lang/String; == &toString
    //#SharedThemeTemplate.java:: end of method: org.apache.roller.weblogger.business.themes.SharedThemeTemplate.org.apache.roller.weblogger.business.themes.SharedThemeTemplate__static_init
    //#SharedThemeTemplate.java:: end of class: org.apache.roller.weblogger.business.themes.SharedThemeTemplate
