//# 0 errors, 41 messages
//#
/*
    //#Menu.java:1:1: class: org.apache.roller.weblogger.ui.core.util.menu.Menu
    //#Menu.java:1:1: method: org.apache.roller.weblogger.ui.core.util.menu.Menu.org.apache.roller.weblogger.ui.core.util.menu.Menu__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.ui.core.util.menu;

import java.util.ArrayList;
import java.util.List;


/**
 * A Menu of MenuTab objects.
 */
public class Menu {
    //#Menu.java:28: method: void org.apache.roller.weblogger.ui.core.util.menu.Menu.org.apache.roller.weblogger.ui.core.util.menu.Menu()
    //#input(void org.apache.roller.weblogger.ui.core.util.menu.Menu()): this
    //#output(void org.apache.roller.weblogger.ui.core.util.menu.Menu()): new ArrayList(Menu#1) num objects
    //#output(void org.apache.roller.weblogger.ui.core.util.menu.Menu()): this.tabs
    //#new obj(void org.apache.roller.weblogger.ui.core.util.menu.Menu()): new ArrayList(Menu#1)
    //#post(void org.apache.roller.weblogger.ui.core.util.menu.Menu()): this.tabs == &new ArrayList(Menu#1)
    //#post(void org.apache.roller.weblogger.ui.core.util.menu.Menu()): new ArrayList(Menu#1) num objects == 1
    
    private List tabs = new ArrayList();
    //#Menu.java:30: end of method: void org.apache.roller.weblogger.ui.core.util.menu.Menu.org.apache.roller.weblogger.ui.core.util.menu.Menu()
    
    
    public void addTab(MenuTab tab) {
        this.tabs.add(tab);
    //#Menu.java:34: method: void org.apache.roller.weblogger.ui.core.util.menu.Menu.addTab(MenuTab)
    //#input(void addTab(MenuTab)): tab
    //#input(void addTab(MenuTab)): this
    //#input(void addTab(MenuTab)): this.tabs
    //#pre[3] (void addTab(MenuTab)): this.tabs != null
    }
    //#Menu.java:35: end of method: void org.apache.roller.weblogger.ui.core.util.menu.Menu.addTab(MenuTab)
    
    
    public List getTabs() {
        return tabs;
    //#Menu.java:39: method: List org.apache.roller.weblogger.ui.core.util.menu.Menu.getTabs()
    //#input(List getTabs()): this
    //#input(List getTabs()): this.tabs
    //#output(List getTabs()): return_value
    //#pre[2] (List getTabs()): init'ed(this.tabs)
    //#post(List getTabs()): return_value == this.tabs
    //#post(List getTabs()): init'ed(return_value)
    //#Menu.java:39: end of method: List org.apache.roller.weblogger.ui.core.util.menu.Menu.getTabs()
    }

    public void setTabs(List menus) {
        this.tabs = menus;
    //#Menu.java:43: method: void org.apache.roller.weblogger.ui.core.util.menu.Menu.setTabs(List)
    //#input(void setTabs(List)): menus
    //#input(void setTabs(List)): this
    //#output(void setTabs(List)): this.tabs
    //#post(void setTabs(List)): this.tabs == menus
    //#post(void setTabs(List)): init'ed(this.tabs)
    }
    //#Menu.java:44: end of method: void org.apache.roller.weblogger.ui.core.util.menu.Menu.setTabs(List)
    
}
    //#output(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/core/util/menu/Menu]
    //#output(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Dispatch_Table.addTab(Lorg/apache/roller/weblogger/ui/core/util/menu/MenuTab;)V
    //#output(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Dispatch_Table.getTabs()Ljava/util/List;
    //#output(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Dispatch_Table.setTabs(Ljava/util/List;)V
    //#post(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Descendant_Table[org/apache/roller/weblogger/ui/core/util/menu/Menu] == &__Dispatch_Table
    //#post(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Dispatch_Table.addTab(Lorg/apache/roller/weblogger/ui/core/util/menu/MenuTab;)V == &addTab
    //#post(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Dispatch_Table.getTabs()Ljava/util/List; == &getTabs
    //#post(org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init): __Dispatch_Table.setTabs(Ljava/util/List;)V == &setTabs
    //#Menu.java:: end of method: org.apache.roller.weblogger.ui.core.util.menu.Menu.org.apache.roller.weblogger.ui.core.util.menu.Menu__static_init
    //#Menu.java:: end of class: org.apache.roller.weblogger.ui.core.util.menu.Menu
