/* 
    P/P   *  Method: org.apache.roller.weblogger.ui.core.util.menu.MenuTabItem__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  
    22  /**
    23   * Items in a Tab.
    24   */
         /* 
    P/P   *  Method: void org.apache.roller.weblogger.ui.core.util.menu.MenuTabItem()
          * 
          *  Postconditions:
          *    this.action == null
          *    this.key == null
          *    this.selected == 0
          */
    25  public class MenuTabItem {
    26      
    27      private String key = null;
    28      private String action = null;
    29      private boolean selected = false;
    30      
    31      
    32      public String getKey() {
                 /* 
    P/P           *  Method: String getKey()
                  * 
                  *  Preconditions:
                  *    init'ed(this.key)
                  * 
                  *  Postconditions:
                  *    return_value == this.key
                  *    init'ed(return_value)
                  */
    33          return key;
    34      }
    35  
    36      public void setKey(String key) {
                 /* 
    P/P           *  Method: void setKey(String)
                  * 
                  *  Postconditions:
                  *    this.key == key
                  *    init'ed(this.key)
                  */
    37          this.key = key;
    38      }
    39  
    40      public String getAction() {
                 /* 
    P/P           *  Method: String getAction()
                  * 
                  *  Preconditions:
                  *    init'ed(this.action)
                  * 
                  *  Postconditions:
                  *    return_value == this.action
                  *    init'ed(return_value)
                  */
    41          return action;
    42      }
    43  
    44      public void setAction(String url) {
                 /* 
    P/P           *  Method: void setAction(String)
                  * 
                  *  Postconditions:
                  *    this.action == url
                  *    init'ed(this.action)
                  */
    45          this.action = url;
    46      }
    47  
    48      public boolean isSelected() {
                 /* 
    P/P           *  Method: bool isSelected()
                  * 
                  *  Preconditions:
                  *    init'ed(this.selected)
                  * 
                  *  Postconditions:
                  *    return_value == this.selected
                  *    init'ed(return_value)
                  */
    49          return selected;
    50      }
    51  
    52      public void setSelected(boolean selected) {
                 /* 
    P/P           *  Method: void setSelected(bool)
                  * 
                  *  Postconditions:
                  *    this.selected == selected
                  *    init'ed(this.selected)
                  */
    53          this.selected = selected;
    54      }
    55      
    56  }