//# 0 errors, 41 messages
//#
/*
    //#ParsedMenu.java:1:1: class: org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu
    //#ParsedMenu.java:1:1: method: org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu__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 parsed xml defined menu.
 */
public class ParsedMenu {
    //#ParsedMenu.java:28: method: void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()
    //#input(void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()): this
    //#output(void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()): new ArrayList(ParsedMenu#1) num objects
    //#output(void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()): this.tabs
    //#new obj(void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()): new ArrayList(ParsedMenu#1)
    //#post(void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()): this.tabs == &new ArrayList(ParsedMenu#1)
    //#post(void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()): new ArrayList(ParsedMenu#1) num objects == 1
    
    private List tabs = new ArrayList();
    //#ParsedMenu.java:30: end of method: void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu()
    
    
    public void addTab(ParsedTab tab) {
        this.tabs.add(tab);
    //#ParsedMenu.java:34: method: void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.addTab(ParsedTab)
    //#input(void addTab(ParsedTab)): tab
    //#input(void addTab(ParsedTab)): this
    //#input(void addTab(ParsedTab)): this.tabs
    //#pre[3] (void addTab(ParsedTab)): this.tabs != null
    }
    //#ParsedMenu.java:35: end of method: void org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.addTab(ParsedTab)
    
    
    public List getTabs() {
        return tabs;
    //#ParsedMenu.java:39: method: List org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.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)
    //#ParsedMenu.java:39: end of method: List org.apache.roller.weblogger.ui.core.util.menu.ParsedMenu.getTabs()
    }

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