//# 0 errors, 178 messages
//#
/*
    //#ThemeMetadata.java:1:1: class: org.apache.roller.weblogger.business.themes.ThemeMetadata
    //#ThemeMetadata.java:1:1: method: org.apache.roller.weblogger.business.themes.ThemeMetadata.org.apache.roller.weblogger.business.themes.ThemeMetadata__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.util.HashSet;
import java.util.Set;


/**
 * Represents a parsed version of a theme xml metadata descriptor.
 */
public class ThemeMetadata {
    
    private String id = null;
    private String name = null;
    private String author = null;
    private String previewImage = null;
    private ThemeMetadataTemplate stylesheet = null;
    private Set templates = new HashSet();
    private Set resources = new HashSet();
    
    
    public ThemeMetadata() {}
    //#ThemeMetadata.java:39: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.org.apache.roller.weblogger.business.themes.ThemeMetadata()
    //#input(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): new HashSet(ThemeMetadata#1) num objects
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): new HashSet(ThemeMetadata#2) num objects
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.author
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.id
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.name
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.previewImage
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.resources
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.stylesheet
    //#output(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.templates
    //#new obj(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): new HashSet(ThemeMetadata#1)
    //#new obj(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): new HashSet(ThemeMetadata#2)
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.author == null
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.id == null
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.name == null
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.previewImage == null
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.stylesheet == null
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.resources == &new HashSet(ThemeMetadata#2)
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): this.templates == &new HashSet(ThemeMetadata#1)
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): new HashSet(ThemeMetadata#1) num objects == 1
    //#post(void org.apache.roller.weblogger.business.themes.ThemeMetadata()): new HashSet(ThemeMetadata#2) num objects == 1
    //#ThemeMetadata.java:39: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.org.apache.roller.weblogger.business.themes.ThemeMetadata()

    
    public void addTemplate(ThemeMetadataTemplate template) {
        this.templates.add(template);
    //#ThemeMetadata.java:43: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.addTemplate(ThemeMetadataTemplate)
    //#input(void addTemplate(ThemeMetadataTemplate)): template
    //#input(void addTemplate(ThemeMetadataTemplate)): this
    //#input(void addTemplate(ThemeMetadataTemplate)): this.templates
    //#pre[3] (void addTemplate(ThemeMetadataTemplate)): this.templates != null
    }
    //#ThemeMetadata.java:44: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.addTemplate(ThemeMetadataTemplate)
    
    public void addResource(String resource) {
        this.resources.add(resource);
    //#ThemeMetadata.java:47: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.addResource(String)
    //#input(void addResource(String)): resource
    //#input(void addResource(String)): this
    //#input(void addResource(String)): this.resources
    //#pre[3] (void addResource(String)): this.resources != null
    }
    //#ThemeMetadata.java:48: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.addResource(String)
    
    
    public String getId() {
        return id;
    //#ThemeMetadata.java:52: method: String org.apache.roller.weblogger.business.themes.ThemeMetadata.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)
    //#ThemeMetadata.java:52: end of method: String org.apache.roller.weblogger.business.themes.ThemeMetadata.getId()
    }

    public void setId(String id) {
        this.id = id;
    //#ThemeMetadata.java:56: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.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)
    }
    //#ThemeMetadata.java:57: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setId(String)
    
    public String getName() {
        return name;
    //#ThemeMetadata.java:60: method: String org.apache.roller.weblogger.business.themes.ThemeMetadata.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)
    //#ThemeMetadata.java:60: end of method: String org.apache.roller.weblogger.business.themes.ThemeMetadata.getName()
    }

    public void setName(String name) {
        this.name = name;
    //#ThemeMetadata.java:64: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.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)
    }
    //#ThemeMetadata.java:65: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setName(String)

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

    public void setPreviewImage(String previewImage) {
        this.previewImage = previewImage;
    //#ThemeMetadata.java:72: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setPreviewImage(String)
    //#input(void setPreviewImage(String)): previewImage
    //#input(void setPreviewImage(String)): this
    //#output(void setPreviewImage(String)): this.previewImage
    //#post(void setPreviewImage(String)): this.previewImage == previewImage
    //#post(void setPreviewImage(String)): init'ed(this.previewImage)
    }
    //#ThemeMetadata.java:73: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setPreviewImage(String)

    public Set getTemplates() {
        return templates;
    //#ThemeMetadata.java:76: method: Set org.apache.roller.weblogger.business.themes.ThemeMetadata.getTemplates()
    //#input(Set getTemplates()): this
    //#input(Set getTemplates()): this.templates
    //#output(Set getTemplates()): return_value
    //#pre[2] (Set getTemplates()): init'ed(this.templates)
    //#post(Set getTemplates()): return_value == this.templates
    //#post(Set getTemplates()): init'ed(return_value)
    //#ThemeMetadata.java:76: end of method: Set org.apache.roller.weblogger.business.themes.ThemeMetadata.getTemplates()
    }

    public void setTemplates(Set templates) {
        this.templates = templates;
    //#ThemeMetadata.java:80: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setTemplates(Set)
    //#input(void setTemplates(Set)): templates
    //#input(void setTemplates(Set)): this
    //#output(void setTemplates(Set)): this.templates
    //#post(void setTemplates(Set)): this.templates == templates
    //#post(void setTemplates(Set)): init'ed(this.templates)
    }
    //#ThemeMetadata.java:81: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setTemplates(Set)

    public Set getResources() {
        return resources;
    //#ThemeMetadata.java:84: method: Set org.apache.roller.weblogger.business.themes.ThemeMetadata.getResources()
    //#input(Set getResources()): this
    //#input(Set getResources()): this.resources
    //#output(Set getResources()): return_value
    //#pre[2] (Set getResources()): init'ed(this.resources)
    //#post(Set getResources()): return_value == this.resources
    //#post(Set getResources()): init'ed(return_value)
    //#ThemeMetadata.java:84: end of method: Set org.apache.roller.weblogger.business.themes.ThemeMetadata.getResources()
    }

    public void setResources(Set resources) {
        this.resources = resources;
    //#ThemeMetadata.java:88: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setResources(Set)
    //#input(void setResources(Set)): resources
    //#input(void setResources(Set)): this
    //#output(void setResources(Set)): this.resources
    //#post(void setResources(Set)): this.resources == resources
    //#post(void setResources(Set)): init'ed(this.resources)
    }
    //#ThemeMetadata.java:89: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setResources(Set)

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

    public void setAuthor(String author) {
        this.author = author;
    //#ThemeMetadata.java:96: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setAuthor(String)
    //#input(void setAuthor(String)): author
    //#input(void setAuthor(String)): this
    //#output(void setAuthor(String)): this.author
    //#post(void setAuthor(String)): this.author == author
    //#post(void setAuthor(String)): init'ed(this.author)
    }
    //#ThemeMetadata.java:97: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setAuthor(String)

    public ThemeMetadataTemplate getStylesheet() {
        return stylesheet;
    //#ThemeMetadata.java:100: method: ThemeMetadataTemplate org.apache.roller.weblogger.business.themes.ThemeMetadata.getStylesheet()
    //#input(ThemeMetadataTemplate getStylesheet()): this
    //#input(ThemeMetadataTemplate getStylesheet()): this.stylesheet
    //#output(ThemeMetadataTemplate getStylesheet()): return_value
    //#pre[2] (ThemeMetadataTemplate getStylesheet()): init'ed(this.stylesheet)
    //#post(ThemeMetadataTemplate getStylesheet()): return_value == this.stylesheet
    //#post(ThemeMetadataTemplate getStylesheet()): init'ed(return_value)
    //#ThemeMetadata.java:100: end of method: ThemeMetadataTemplate org.apache.roller.weblogger.business.themes.ThemeMetadata.getStylesheet()
    }

    public void setStylesheet(ThemeMetadataTemplate stylesheet) {
        this.stylesheet = stylesheet;
    //#ThemeMetadata.java:104: method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setStylesheet(ThemeMetadataTemplate)
    //#input(void setStylesheet(ThemeMetadataTemplate)): stylesheet
    //#input(void setStylesheet(ThemeMetadataTemplate)): this
    //#output(void setStylesheet(ThemeMetadataTemplate)): this.stylesheet
    //#post(void setStylesheet(ThemeMetadataTemplate)): this.stylesheet == stylesheet
    //#post(void setStylesheet(ThemeMetadataTemplate)): init'ed(this.stylesheet)
    }
    //#ThemeMetadata.java:105: end of method: void org.apache.roller.weblogger.business.themes.ThemeMetadata.setStylesheet(ThemeMetadataTemplate)
    
}
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeMetadata]
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.addResource(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.addTemplate(Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getAuthor()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getId()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getName()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getPreviewImage()Ljava/lang/String;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getResources()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getStylesheet()Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getTemplates()Ljava/util/Set;
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setAuthor(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setPreviewImage(Ljava/lang/String;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setResources(Ljava/util/Set;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setStylesheet(Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;)V
    //#output(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setTemplates(Ljava/util/Set;)V
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Descendant_Table[org/apache/roller/weblogger/business/themes/ThemeMetadata] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.addResource(Ljava/lang/String;)V == &addResource
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.addTemplate(Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;)V == &addTemplate
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getAuthor()Ljava/lang/String; == &getAuthor
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getId()Ljava/lang/String; == &getId
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getName()Ljava/lang/String; == &getName
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getPreviewImage()Ljava/lang/String; == &getPreviewImage
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getResources()Ljava/util/Set; == &getResources
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getStylesheet()Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate; == &getStylesheet
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.getTemplates()Ljava/util/Set; == &getTemplates
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setAuthor(Ljava/lang/String;)V == &setAuthor
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setId(Ljava/lang/String;)V == &setId
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setName(Ljava/lang/String;)V == &setName
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setPreviewImage(Ljava/lang/String;)V == &setPreviewImage
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setResources(Ljava/util/Set;)V == &setResources
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setStylesheet(Lorg/apache/roller/weblogger/business/themes/ThemeMetadataTemplate;)V == &setStylesheet
    //#post(org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init): __Dispatch_Table.setTemplates(Ljava/util/Set;)V == &setTemplates
    //#ThemeMetadata.java:: end of method: org.apache.roller.weblogger.business.themes.ThemeMetadata.org.apache.roller.weblogger.business.themes.ThemeMetadata__static_init
    //#ThemeMetadata.java:: end of class: org.apache.roller.weblogger.business.themes.ThemeMetadata
