File Source: ThemeMetadataTemplate.java

         /* 
    P/P   *  Method: org.apache.roller.weblogger.business.themes.ThemeMetadataTemplate__static_init
          */
     1  /*
     2   * Licensed to the Apache Software Foundation (ASF) under one or more
     3   *  contributor license agreements.  The ASF licenses this file to You
     4   * under the Apache License, Version 2.0 (the "License"); you may not
     5   * use this file except in compliance with the License.
     6   * You may obtain a copy of the License at
     7   *
     8   *     http://www.apache.org/licenses/LICENSE-2.0
     9   *
    10   * Unless required by applicable law or agreed to in writing, software
    11   * distributed under the License is distributed on an "AS IS" BASIS,
    12   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    13   * See the License for the specific language governing permissions and
    14   * limitations under the License.  For additional information regarding
    15   * copyright in this work, please see the NOTICE file in the top level
    16   * directory of this distribution.
    17   */
    18  
    19  package org.apache.roller.weblogger.business.themes;
    20  
    21  
    22  /**
    23   * A parsed 'template' element of a theme metadata descriptor.
    24   */
         /* 
    P/P   *  Method: void org.apache.roller.weblogger.business.themes.ThemeMetadataTemplate()
          * 
          *  Postconditions:
          *    this.action == null
          *    this.contentType == null
          *    this.contentsFile == null
          *    this.description == null
          *    this.link == null
          *    this.name == null
          *    this.templateLanguage == null
          *    this.hidden == 0
          *    this.navbar == 0
          */
    25  public class ThemeMetadataTemplate {
    26      
    27      private String action = null;
    28      private String name = null;
    29      private String description = null;
    30      private String link = null;
    31      private boolean navbar = false;
    32      private boolean hidden = false;
    33      private String templateLanguage = null;
    34      private String contentType = null;
    35      private String contentsFile = null;
    36  
    37      public String getAction() {
                 /* 
    P/P           *  Method: String getAction()
                  * 
                  *  Preconditions:
                  *    init'ed(this.action)
                  * 
                  *  Postconditions:
                  *    return_value == this.action
                  *    init'ed(return_value)
                  */
    38          return action;
    39      }
    40  
    41      public void setAction(String action) {
                 /* 
    P/P           *  Method: void setAction(String)
                  * 
                  *  Postconditions:
                  *    this.action == action
                  *    init'ed(this.action)
                  */
    42          this.action = action;
    43      }
    44  
    45      public String getName() {
                 /* 
    P/P           *  Method: String getName()
                  * 
                  *  Preconditions:
                  *    init'ed(this.name)
                  * 
                  *  Postconditions:
                  *    return_value == this.name
                  *    init'ed(return_value)
                  */
    46          return name;
    47      }
    48  
    49      public void setName(String name) {
                 /* 
    P/P           *  Method: void setName(String)
                  * 
                  *  Postconditions:
                  *    this.name == name
                  *    init'ed(this.name)
                  */
    50          this.name = name;
    51      }
    52  
    53      public String getDescription() {
                 /* 
    P/P           *  Method: String getDescription()
                  * 
                  *  Preconditions:
                  *    init'ed(this.description)
                  * 
                  *  Postconditions:
                  *    return_value == this.description
                  *    init'ed(return_value)
                  */
    54          return description;
    55      }
    56  
    57      public void setDescription(String description) {
                 /* 
    P/P           *  Method: void setDescription(String)
                  * 
                  *  Postconditions:
                  *    this.description == description
                  *    init'ed(this.description)
                  */
    58          this.description = description;
    59      }
    60  
    61      public String getLink() {
                 /* 
    P/P           *  Method: String getLink()
                  * 
                  *  Preconditions:
                  *    init'ed(this.link)
                  * 
                  *  Postconditions:
                  *    return_value == this.link
                  *    init'ed(return_value)
                  */
    62          return link;
    63      }
    64  
    65      public void setLink(String link) {
                 /* 
    P/P           *  Method: void setLink(String)
                  * 
                  *  Postconditions:
                  *    this.link == link
                  *    init'ed(this.link)
                  */
    66          this.link = link;
    67      }
    68  
    69      public boolean isNavbar() {
                 /* 
    P/P           *  Method: bool isNavbar()
                  * 
                  *  Preconditions:
                  *    init'ed(this.navbar)
                  * 
                  *  Postconditions:
                  *    return_value == this.navbar
                  *    init'ed(return_value)
                  */
    70          return navbar;
    71      }
    72  
    73      public void setNavbar(boolean navbar) {
                 /* 
    P/P           *  Method: void setNavbar(bool)
                  * 
                  *  Postconditions:
                  *    this.navbar == navbar
                  *    init'ed(this.navbar)
                  */
    74          this.navbar = navbar;
    75      }
    76  
    77      public boolean isHidden() {
                 /* 
    P/P           *  Method: bool isHidden()
                  * 
                  *  Preconditions:
                  *    init'ed(this.hidden)
                  * 
                  *  Postconditions:
                  *    return_value == this.hidden
                  *    init'ed(return_value)
                  */
    78          return hidden;
    79      }
    80  
    81      public void setHidden(boolean hidden) {
                 /* 
    P/P           *  Method: void setHidden(bool)
                  * 
                  *  Postconditions:
                  *    this.hidden == hidden
                  *    init'ed(this.hidden)
                  */
    82          this.hidden = hidden;
    83      }
    84  
    85      public String getTemplateLanguage() {
                 /* 
    P/P           *  Method: String getTemplateLanguage()
                  * 
                  *  Preconditions:
                  *    init'ed(this.templateLanguage)
                  * 
                  *  Postconditions:
                  *    return_value == this.templateLanguage
                  *    init'ed(return_value)
                  */
    86          return templateLanguage;
    87      }
    88  
    89      public void setTemplateLanguage(String templateLanguage) {
                 /* 
    P/P           *  Method: void setTemplateLanguage(String)
                  * 
                  *  Postconditions:
                  *    this.templateLanguage == templateLanguage
                  *    init'ed(this.templateLanguage)
                  */
    90          this.templateLanguage = templateLanguage;
    91      }
    92  
    93      public String getContentType() {
                 /* 
    P/P           *  Method: String getContentType()
                  * 
                  *  Preconditions:
                  *    init'ed(this.contentType)
                  * 
                  *  Postconditions:
                  *    return_value == this.contentType
                  *    init'ed(return_value)
                  */
    94          return contentType;
    95      }
    96  
    97      public void setContentType(String contentType) {
                 /* 
    P/P           *  Method: void setContentType(String)
                  * 
                  *  Postconditions:
                  *    this.contentType == contentType
                  *    init'ed(this.contentType)
                  */
    98          this.contentType = contentType;
    99      }
   100  
   101      public String getContentsFile() {
                 /* 
    P/P           *  Method: String getContentsFile()
                  * 
                  *  Preconditions:
                  *    init'ed(this.contentsFile)
                  * 
                  *  Postconditions:
                  *    return_value == this.contentsFile
                  *    init'ed(return_value)
                  */
   102          return contentsFile;
   103      }
   104  
   105      public void setContentsFile(String contentsFile) {
                 /* 
    P/P           *  Method: void setContentsFile(String)
                  * 
                  *  Postconditions:
                  *    this.contentsFile == contentsFile
                  *    init'ed(this.contentsFile)
                  */
   106          this.contentsFile = contentsFile;
   107      }
   108      
   109  }








SofCheck Inspector Build Version : 2.18479
ThemeMetadataTemplate.java 2009-Jan-02 14:25:44
ThemeMetadataTemplate.class 2009-Sep-04 03:12:31