//# 0 errors, 82 messages
//#
/*
    //#DummyFrameManager.java:1:1: class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#DummyFrameManager.java:1:1: method: com.dmdirc.addons.ui_dummy.DummyFrameManager.com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init
 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

package com.dmdirc.addons.ui_dummy;

import com.dmdirc.FrameContainer;
import com.dmdirc.Main;
import com.dmdirc.ui.interfaces.FrameManager;

import java.awt.Color;

import javax.swing.JComponent;

/**
 * A dummy frame manager. Does nothing.
 * @author chris
 */
public class DummyFrameManager implements FrameManager {
    
    /** Creates a new instance of DummyFrameManager. */
    public DummyFrameManager() {
    //#DummyFrameManager.java:40: method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.com.dmdirc.addons.ui_dummy.DummyFrameManager()
        //Do nothing.
    }
    //#DummyFrameManager.java:42: end of method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.com.dmdirc.addons.ui_dummy.DummyFrameManager()
    
    /** {@inheritDoc} */
    @Override
    public void setParent(final JComponent parent) {
        parent.setBackground(Color.RED);
    //#DummyFrameManager.java:47: method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.setParent(JComponent)
    //#input(void setParent(JComponent)): java.awt.Color.RED
    //#input(void setParent(JComponent)): parent
    //#pre[1] (void setParent(JComponent)): parent != null
    //#presumption(void setParent(JComponent)): init'ed(java.awt.Color.RED)
    }
    //#DummyFrameManager.java:48: end of method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.setParent(JComponent)
    
    /** {@inheritDoc} */
    @Override
    public void addWindow(final FrameContainer window) {
        Main.getUI().getStatusBar()
    //#DummyFrameManager.java:53: method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.addWindow(FrameContainer)
    //#DummyFrameManager.java:53: Warning: method not available - call not analyzed
    //#    call on UIController com.dmdirc.Main:getUI()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void addWindow(FrameContainer)
    //#    unanalyzed callee: UIController com.dmdirc.Main:getUI()
    //#DummyFrameManager.java:53: Warning: method not available - call not analyzed
    //#    call on StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void addWindow(FrameContainer)
    //#    unanalyzed callee: StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#DummyFrameManager.java:53: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void addWindow(FrameContainer)
    //#    unanalyzed callee: void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#input(void addWindow(FrameContainer)): "DummyFrameManager: addServer: "._tainted
    //#input(void addWindow(FrameContainer)): window
    //#input(void addWindow(FrameContainer)): window._tainted
    //#presumption(void addWindow(FrameContainer)): com.dmdirc.Main:getUI(...)@53 != null
    //#presumption(void addWindow(FrameContainer)): com.dmdirc.ui.interfaces.UIController:getStatusBar(...)@53 != null
                .setMessage("DummyFrameManager: addServer: " + window);
    }
    //#DummyFrameManager.java:55: end of method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.addWindow(FrameContainer)
    
    /** {@inheritDoc} */
    @Override
    public void delWindow(final FrameContainer window) {
        Main.getUI().getStatusBar()
    //#DummyFrameManager.java:60: method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.delWindow(FrameContainer)
    //#DummyFrameManager.java:60: Warning: method not available - call not analyzed
    //#    call on UIController com.dmdirc.Main:getUI()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void delWindow(FrameContainer)
    //#    unanalyzed callee: UIController com.dmdirc.Main:getUI()
    //#DummyFrameManager.java:60: Warning: method not available - call not analyzed
    //#    call on StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void delWindow(FrameContainer)
    //#    unanalyzed callee: StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#DummyFrameManager.java:60: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void delWindow(FrameContainer)
    //#    unanalyzed callee: void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#input(void delWindow(FrameContainer)): "DummyFrameManager: delServer: "._tainted
    //#input(void delWindow(FrameContainer)): window
    //#input(void delWindow(FrameContainer)): window._tainted
    //#presumption(void delWindow(FrameContainer)): com.dmdirc.Main:getUI(...)@60 != null
    //#presumption(void delWindow(FrameContainer)): com.dmdirc.ui.interfaces.UIController:getStatusBar(...)@60 != null
                .setMessage("DummyFrameManager: delServer: " + window);
    }
    //#DummyFrameManager.java:62: end of method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.delWindow(FrameContainer)
    
    /** {@inheritDoc} */
    @Override
    public void addWindow(final FrameContainer parent, final FrameContainer window) {
        Main.getUI().getStatusBar()
    //#DummyFrameManager.java:67: method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.addWindow(FrameContainer, FrameContainer)
    //#DummyFrameManager.java:67: Warning: method not available - call not analyzed
    //#    call on UIController com.dmdirc.Main:getUI()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void addWindow(FrameContainer, FrameContainer)
    //#    unanalyzed callee: UIController com.dmdirc.Main:getUI()
    //#DummyFrameManager.java:67: Warning: method not available - call not analyzed
    //#    call on StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void addWindow(FrameContainer, FrameContainer)
    //#    unanalyzed callee: StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#DummyFrameManager.java:67: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void addWindow(FrameContainer, FrameContainer)
    //#    unanalyzed callee: void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#input(void addWindow(FrameContainer, FrameContainer)): "@"._tainted
    //#input(void addWindow(FrameContainer, FrameContainer)): "DummyFrameManager: addCustom: "._tainted
    //#input(void addWindow(FrameContainer, FrameContainer)): parent
    //#input(void addWindow(FrameContainer, FrameContainer)): parent._tainted
    //#input(void addWindow(FrameContainer, FrameContainer)): window
    //#input(void addWindow(FrameContainer, FrameContainer)): window._tainted
    //#presumption(void addWindow(FrameContainer, FrameContainer)): com.dmdirc.Main:getUI(...)@67 != null
    //#presumption(void addWindow(FrameContainer, FrameContainer)): com.dmdirc.ui.interfaces.UIController:getStatusBar(...)@67 != null
                .setMessage("DummyFrameManager: addCustom: " + window + "@" + parent);
    }
    //#DummyFrameManager.java:69: end of method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.addWindow(FrameContainer, FrameContainer)
    
    /** {@inheritDoc} */
    @Override
    public void delWindow(final FrameContainer parent, final FrameContainer window) {
        Main.getUI().getStatusBar()
    //#DummyFrameManager.java:74: method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.delWindow(FrameContainer, FrameContainer)
    //#DummyFrameManager.java:74: Warning: method not available - call not analyzed
    //#    call on UIController com.dmdirc.Main:getUI()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void delWindow(FrameContainer, FrameContainer)
    //#    unanalyzed callee: UIController com.dmdirc.Main:getUI()
    //#DummyFrameManager.java:74: Warning: method not available - call not analyzed
    //#    call on StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void delWindow(FrameContainer, FrameContainer)
    //#    unanalyzed callee: StatusBar com.dmdirc.ui.interfaces.UIController:getStatusBar()
    //#DummyFrameManager.java:74: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.ui_dummy.DummyFrameManager
    //#    method: void delWindow(FrameContainer, FrameContainer)
    //#    unanalyzed callee: void com.dmdirc.ui.interfaces.StatusBar:setMessage(String)
    //#input(void delWindow(FrameContainer, FrameContainer)): "@"._tainted
    //#input(void delWindow(FrameContainer, FrameContainer)): "DummyFrameManager: delCustom: "._tainted
    //#input(void delWindow(FrameContainer, FrameContainer)): parent
    //#input(void delWindow(FrameContainer, FrameContainer)): parent._tainted
    //#input(void delWindow(FrameContainer, FrameContainer)): window
    //#input(void delWindow(FrameContainer, FrameContainer)): window._tainted
    //#presumption(void delWindow(FrameContainer, FrameContainer)): com.dmdirc.Main:getUI(...)@74 != null
    //#presumption(void delWindow(FrameContainer, FrameContainer)): com.dmdirc.ui.interfaces.UIController:getStatusBar(...)@74 != null
                .setMessage("DummyFrameManager: delCustom: " + window + "@" + parent);
    }
    //#DummyFrameManager.java:76: end of method: void com.dmdirc.addons.ui_dummy.DummyFrameManager.delWindow(FrameContainer, FrameContainer)
    
    /** {@inheritDoc} */
    @Override
    public boolean canPositionVertically() {
        return true;
    //#DummyFrameManager.java:81: method: bool com.dmdirc.addons.ui_dummy.DummyFrameManager.canPositionVertically()
    //#output(bool canPositionVertically()): return_value
    //#post(bool canPositionVertically()): return_value == 1
    //#DummyFrameManager.java:81: end of method: bool com.dmdirc.addons.ui_dummy.DummyFrameManager.canPositionVertically()
    }
    
    /** {@inheritDoc} */
    @Override
    public boolean canPositionHorizontally() {
        return true;
    //#DummyFrameManager.java:87: method: bool com.dmdirc.addons.ui_dummy.DummyFrameManager.canPositionHorizontally()
    //#output(bool canPositionHorizontally()): return_value
    //#post(bool canPositionHorizontally()): return_value == 1
    //#DummyFrameManager.java:87: end of method: bool com.dmdirc.addons.ui_dummy.DummyFrameManager.canPositionHorizontally()
    }

}
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Descendant_Table[com/dmdirc/addons/ui_dummy/DummyFrameManager]
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.addWindow(Lcom/dmdirc/FrameContainer;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.addWindow(Lcom/dmdirc/FrameContainer;Lcom/dmdirc/FrameContainer;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.canPositionHorizontally()Z
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.canPositionVertically()Z
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.delWindow(Lcom/dmdirc/FrameContainer;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.delWindow(Lcom/dmdirc/FrameContainer;Lcom/dmdirc/FrameContainer;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.setParent(Ljavax/swing/JComponent;)V
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Descendant_Table[com/dmdirc/addons/ui_dummy/DummyFrameManager] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.addWindow(Lcom/dmdirc/FrameContainer;)V == &addWindow
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.addWindow(Lcom/dmdirc/FrameContainer;Lcom/dmdirc/FrameContainer;)V == &addWindow
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.canPositionHorizontally()Z == &canPositionHorizontally
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.canPositionVertically()Z == &canPositionVertically
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.delWindow(Lcom/dmdirc/FrameContainer;)V == &delWindow
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.delWindow(Lcom/dmdirc/FrameContainer;Lcom/dmdirc/FrameContainer;)V == &delWindow
    //#post(com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init): __Dispatch_Table.setParent(Ljavax/swing/JComponent;)V == &setParent
    //#DummyFrameManager.java:: end of method: com.dmdirc.addons.ui_dummy.DummyFrameManager.com.dmdirc.addons.ui_dummy.DummyFrameManager__static_init
    //#DummyFrameManager.java:: end of class: com.dmdirc.addons.ui_dummy.DummyFrameManager
