File Source: ParsedTab.java

         /* 
    P/P   *  Method: org.apache.roller.weblogger.ui.core.util.menu.ParsedTab__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.ui.core.util.menu;
    20  
    21  import java.util.ArrayList;
    22  import java.util.List;
    23  
    24  
    25  /**
    26   * A parsed "tab" from an xml defined menu config.
    27   */
         /* 
    P/P   *  Method: void org.apache.roller.weblogger.ui.core.util.menu.ParsedTab()
          * 
          *  Postconditions:
          *    this.disabledProperty == null
          *    this.enabledProperty == null
          *    this.name == null
          *    this.perm == null
          *    this.role == null
          *    this.tabItems == &new ArrayList(ParsedTab#1)
          *    new ArrayList(ParsedTab#1) num objects == 1
          */
    28  public class ParsedTab {
    29      
    30      private String name = null;
    31      private String perm = null;
    32      private String role = null;
    33      private String enabledProperty = null;
    34      private String disabledProperty = null;
    35      
    36      private List tabItems = new ArrayList();
    37      
    38      
    39      public void addItem(ParsedTabItem item) {
                 /* 
    P/P           *  Method: void addItem(ParsedTabItem)
                  * 
                  *  Preconditions:
                  *    this.tabItems != null
                  */
    40          this.tabItems.add(item);
    41      }
    42      
    43      
    44      public String getName() {
                 /* 
    P/P           *  Method: String getName()
                  * 
                  *  Preconditions:
                  *    init'ed(this.name)
                  * 
                  *  Postconditions:
                  *    return_value == this.name
                  *    init'ed(return_value)
                  */
    45          return name;
    46      }
    47  
    48      public void setName(String name) {
                 /* 
    P/P           *  Method: void setName(String)
                  * 
                  *  Postconditions:
                  *    this.name == name
                  *    init'ed(this.name)
                  */
    49          this.name = name;
    50      }
    51  
    52      public String getPerm() {
                 /* 
    P/P           *  Method: String getPerm()
                  * 
                  *  Preconditions:
                  *    init'ed(this.perm)
                  * 
                  *  Postconditions:
                  *    return_value == this.perm
                  *    init'ed(return_value)
                  */
    53          return perm;
    54      }
    55  
    56      public void setPerm(String perm) {
                 /* 
    P/P           *  Method: void setPerm(String)
                  * 
                  *  Postconditions:
                  *    this.perm == perm
                  *    init'ed(this.perm)
                  */
    57          this.perm = perm;
    58      }
    59  
    60      public String getRole() {
                 /* 
    P/P           *  Method: String getRole()
                  * 
                  *  Preconditions:
                  *    init'ed(this.role)
                  * 
                  *  Postconditions:
                  *    return_value == this.role
                  *    init'ed(return_value)
                  */
    61          return role;
    62      }
    63  
    64      public void setRole(String role) {
                 /* 
    P/P           *  Method: void setRole(String)
                  * 
                  *  Postconditions:
                  *    this.role == role
                  *    init'ed(this.role)
                  */
    65          this.role = role;
    66      }
    67  
    68      public String getEnabledProperty() {
                 /* 
    P/P           *  Method: String getEnabledProperty()
                  * 
                  *  Preconditions:
                  *    init'ed(this.enabledProperty)
                  * 
                  *  Postconditions:
                  *    return_value == this.enabledProperty
                  *    init'ed(return_value)
                  */
    69          return enabledProperty;
    70      }
    71  
    72      public void setEnabledProperty(String enabledProperty) {
                 /* 
    P/P           *  Method: void setEnabledProperty(String)
                  * 
                  *  Postconditions:
                  *    this.enabledProperty == enabledProperty
                  *    init'ed(this.enabledProperty)
                  */
    73          this.enabledProperty = enabledProperty;
    74      }
    75  
    76      public List getTabItems() {
                 /* 
    P/P           *  Method: List getTabItems()
                  * 
                  *  Preconditions:
                  *    init'ed(this.tabItems)
                  * 
                  *  Postconditions:
                  *    return_value == this.tabItems
                  *    init'ed(return_value)
                  */
    77          return tabItems;
    78      }
    79  
    80      public void setTabItems(List tabItems) {
                 /* 
    P/P           *  Method: void setTabItems(List)
                  * 
                  *  Postconditions:
                  *    this.tabItems == tabItems
                  *    init'ed(this.tabItems)
                  */
    81          this.tabItems = tabItems;
    82      }
    83  
    84      public String getDisabledProperty() {
                 /* 
    P/P           *  Method: String getDisabledProperty()
                  * 
                  *  Preconditions:
                  *    init'ed(this.disabledProperty)
                  * 
                  *  Postconditions:
                  *    return_value == this.disabledProperty
                  *    init'ed(return_value)
                  */
    85          return disabledProperty;
    86      }
    87  
    88      public void setDisabledProperty(String disabledProperty) {
                 /* 
    P/P           *  Method: void setDisabledProperty(String)
                  * 
                  *  Postconditions:
                  *    this.disabledProperty == disabledProperty
                  *    init'ed(this.disabledProperty)
                  */
    89          this.disabledProperty = disabledProperty;
    90      }
    91      
    92  }








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