/* 
    P/P   *  Method: org.apache.roller.weblogger.ui.core.util.menu.Menu__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 Menu of MenuTab objects.
    27   */
         /* 
    P/P   *  Method: void org.apache.roller.weblogger.ui.core.util.menu.Menu()
          * 
          *  Postconditions:
          *    this.tabs == &new ArrayList(Menu#1)
          *    new ArrayList(Menu#1) num objects == 1
          */
    28  public class Menu {
    29      
    30      private List tabs = new ArrayList();
    31      
    32      
    33      public void addTab(MenuTab tab) {
                 /* 
    P/P           *  Method: void addTab(MenuTab)
                  * 
                  *  Preconditions:
                  *    this.tabs != null
                  */
    34          this.tabs.add(tab);
    35      }
    36      
    37      
    38      public List getTabs() {
                 /* 
    P/P           *  Method: List getTabs()
                  * 
                  *  Preconditions:
                  *    init'ed(this.tabs)
                  * 
                  *  Postconditions:
                  *    return_value == this.tabs
                  *    init'ed(return_value)
                  */
    39          return tabs;
    40      }
    41  
    42      public void setTabs(List menus) {
                 /* 
    P/P           *  Method: void setTabs(List)
                  * 
                  *  Postconditions:
                  *    this.tabs == menus
                  *    init'ed(this.tabs)
                  */
    43          this.tabs = menus;
    44      }
    45      
    46  }