//# 0 errors, 65 messages
//#
/*
    //#DummyMainWindow.java:1:1: class: com.dmdirc.addons.ui_dummy.DummyMainWindow
    //#DummyMainWindow.java:1:1: method: com.dmdirc.addons.ui_dummy.DummyMainWindow.com.dmdirc.addons.ui_dummy.DummyMainWindow__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.ui.interfaces.MainWindow;

import javax.swing.ImageIcon;

/**
 * Dummy main window, used for testing.
 */
public final class DummyMainWindow implements MainWindow {
    
    /** Are the windows maximised? */
    private boolean maximised;
    /** Are we visible? */
    private boolean visible = true;
    
    /**
     * Creates a new instance of DummyMainWindow.
     */
    public DummyMainWindow() {
    //#DummyMainWindow.java:42: method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.com.dmdirc.addons.ui_dummy.DummyMainWindow()
    //#input(void com.dmdirc.addons.ui_dummy.DummyMainWindow()): this
    //#output(void com.dmdirc.addons.ui_dummy.DummyMainWindow()): this.visible
    //#post(void com.dmdirc.addons.ui_dummy.DummyMainWindow()): this.visible == 1
        //Do nothing.
    }
    //#DummyMainWindow.java:44: end of method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.com.dmdirc.addons.ui_dummy.DummyMainWindow()
    
    /** {@inheritDoc} */
    @Override
    public ImageIcon getIcon() {
        return null;
    //#DummyMainWindow.java:49: method: ImageIcon com.dmdirc.addons.ui_dummy.DummyMainWindow.getIcon()
    //#output(ImageIcon getIcon()): return_value
    //#post(ImageIcon getIcon()): return_value == null
    //#DummyMainWindow.java:49: end of method: ImageIcon com.dmdirc.addons.ui_dummy.DummyMainWindow.getIcon()
    }
    
    /** {@inheritDoc} */
    @Override
    public void quit() {
        // Do nothing
    }
    //#DummyMainWindow.java:56: method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.quit()
    //#DummyMainWindow.java:56: end of method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.quit()
    
    /** {@inheritDoc} */
    @Override
    public void setMaximised(final boolean max) {
        maximised = max;
    //#DummyMainWindow.java:61: method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.setMaximised(bool)
    //#input(void setMaximised(bool)): max
    //#input(void setMaximised(bool)): this
    //#output(void setMaximised(bool)): this.maximised
    //#post(void setMaximised(bool)): this.maximised == max
    //#post(void setMaximised(bool)): init'ed(this.maximised)
    }
    //#DummyMainWindow.java:62: end of method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.setMaximised(bool)
    
    /** {@inheritDoc} */
    @Override
    public boolean getMaximised() {
        return maximised;
    //#DummyMainWindow.java:67: method: bool com.dmdirc.addons.ui_dummy.DummyMainWindow.getMaximised()
    //#input(bool getMaximised()): this
    //#input(bool getMaximised()): this.maximised
    //#output(bool getMaximised()): return_value
    //#pre[2] (bool getMaximised()): init'ed(this.maximised)
    //#post(bool getMaximised()): return_value == this.maximised
    //#post(bool getMaximised()): init'ed(return_value)
    //#DummyMainWindow.java:67: end of method: bool com.dmdirc.addons.ui_dummy.DummyMainWindow.getMaximised()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getTitlePrefix() {
        return "DMDirc: Dummy UI: ";
    //#DummyMainWindow.java:73: method: String com.dmdirc.addons.ui_dummy.DummyMainWindow.getTitlePrefix()
    //#output(String getTitlePrefix()): return_value
    //#post(String getTitlePrefix()): return_value == &"DMDirc: Dummy UI: "
    //#DummyMainWindow.java:73: end of method: String com.dmdirc.addons.ui_dummy.DummyMainWindow.getTitlePrefix()
    }
    
    /** {@inheritDoc} */
    @Override
    public void setVisible(final boolean visible) {
        this.visible = visible;
    //#DummyMainWindow.java:79: method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.setVisible(bool)
    //#input(void setVisible(bool)): this
    //#input(void setVisible(bool)): visible
    //#output(void setVisible(bool)): this.visible
    //#post(void setVisible(bool)): this.visible == visible
    //#post(void setVisible(bool)): init'ed(this.visible)
    }
    //#DummyMainWindow.java:80: end of method: void com.dmdirc.addons.ui_dummy.DummyMainWindow.setVisible(bool)
    
    /** {@inheritDoc} */
    @Override
    public boolean isVisible() {
        return visible;
    //#DummyMainWindow.java:85: method: bool com.dmdirc.addons.ui_dummy.DummyMainWindow.isVisible()
    //#input(bool isVisible()): this
    //#input(bool isVisible()): this.visible
    //#output(bool isVisible()): return_value
    //#pre[2] (bool isVisible()): init'ed(this.visible)
    //#post(bool isVisible()): return_value == this.visible
    //#post(bool isVisible()): init'ed(return_value)
    //#DummyMainWindow.java:85: end of method: bool com.dmdirc.addons.ui_dummy.DummyMainWindow.isVisible()
    }
    
}
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Descendant_Table[com/dmdirc/addons/ui_dummy/DummyMainWindow]
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.getIcon()Ljavax/swing/ImageIcon;
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.getMaximised()Z
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.getTitlePrefix()Ljava/lang/String;
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.isVisible()Z
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.quit()V
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.setMaximised(Z)V
    //#output(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.setVisible(Z)V
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Descendant_Table[com/dmdirc/addons/ui_dummy/DummyMainWindow] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.getIcon()Ljavax/swing/ImageIcon; == &getIcon
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.getMaximised()Z == &getMaximised
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.getTitlePrefix()Ljava/lang/String; == &getTitlePrefix
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.isVisible()Z == &isVisible
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.quit()V == &quit
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.setMaximised(Z)V == &setMaximised
    //#post(com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init): __Dispatch_Table.setVisible(Z)V == &setVisible
    //#DummyMainWindow.java:: end of method: com.dmdirc.addons.ui_dummy.DummyMainWindow.com.dmdirc.addons.ui_dummy.DummyMainWindow__static_init
    //#DummyMainWindow.java:: end of class: com.dmdirc.addons.ui_dummy.DummyMainWindow
