//# 0 errors, 82 messages
//#
/*
    //#DummyStatusBar.java:1:1: class: com.dmdirc.addons.ui_dummy.DummyStatusBar
    //#DummyStatusBar.java:1:1: method: com.dmdirc.addons.ui_dummy.DummyStatusBar.com.dmdirc.addons.ui_dummy.DummyStatusBar__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.StatusBar;
import com.dmdirc.ui.interfaces.StatusBarComponent;
import com.dmdirc.ui.interfaces.StatusMessageNotifier;

/**
 * Dummy status bar, used for testing.
 */
public final class DummyStatusBar implements StatusBar {

    /** Instantiates DummyStatusBar. */
    public DummyStatusBar() {
    //#DummyStatusBar.java:35: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.com.dmdirc.addons.ui_dummy.DummyStatusBar()
        //Do nothing.
    }
    //#DummyStatusBar.java:37: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.com.dmdirc.addons.ui_dummy.DummyStatusBar()

    /** {@inheritDoc} */
    @Override
    public void setMessage(final String newMessage) {
        System.out.println("DummyStatusBar: " + newMessage);
    //#DummyStatusBar.java:42: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String)
    //#input(void setMessage(String)): "DummyStatusBar: "._tainted
    //#input(void setMessage(String)): java.lang.System.out
    //#input(void setMessage(String)): newMessage
    //#input(void setMessage(String)): newMessage._tainted
    //#presumption(void setMessage(String)): java.lang.System.out != null
    }
    //#DummyStatusBar.java:43: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String)

    /** {@inheritDoc} */
    @Override
    public void setMessage(final String newMessage, 
            final StatusMessageNotifier newNotifier) {
        System.out.println("DummyStatusBar: " + newMessage);
    //#DummyStatusBar.java:49: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, StatusMessageNotifier)
    //#input(void setMessage(String, StatusMessageNotifier)): "DummyStatusBar: "._tainted
    //#input(void setMessage(String, StatusMessageNotifier)): java.lang.System.out
    //#input(void setMessage(String, StatusMessageNotifier)): newMessage
    //#input(void setMessage(String, StatusMessageNotifier)): newMessage._tainted
    //#presumption(void setMessage(String, StatusMessageNotifier)): java.lang.System.out != null
    }
    //#DummyStatusBar.java:50: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, StatusMessageNotifier)

    /** {@inheritDoc} */
    @Override
    public void setMessage(final String newMessage, 
            final StatusMessageNotifier newNotifier, final int timeout) {
        System.out.println("DummyStatusBar: " + newMessage);
    //#DummyStatusBar.java:56: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, StatusMessageNotifier, int)
    //#input(void setMessage(String, StatusMessageNotifier, int)): "DummyStatusBar: "._tainted
    //#input(void setMessage(String, StatusMessageNotifier, int)): java.lang.System.out
    //#input(void setMessage(String, StatusMessageNotifier, int)): newMessage
    //#input(void setMessage(String, StatusMessageNotifier, int)): newMessage._tainted
    //#presumption(void setMessage(String, StatusMessageNotifier, int)): java.lang.System.out != null
    }
    //#DummyStatusBar.java:57: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, StatusMessageNotifier, int)
    
    @Override
    public void setMessage(String iconType, String newMessage) {
        System.out.println("DummyStatusBar: " + newMessage);
    //#DummyStatusBar.java:61: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, String)
    //#input(void setMessage(String, String)): "DummyStatusBar: "._tainted
    //#input(void setMessage(String, String)): java.lang.System.out
    //#input(void setMessage(String, String)): newMessage
    //#input(void setMessage(String, String)): newMessage._tainted
    //#presumption(void setMessage(String, String)): java.lang.System.out != null
    }
    //#DummyStatusBar.java:62: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, String)

    @Override
    public void setMessage(String iconType, String newMessage,
            StatusMessageNotifier newNotifier) {
        System.out.println("DummyStatusBar: " + newMessage);
    //#DummyStatusBar.java:67: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, String, StatusMessageNotifier)
    //#input(void setMessage(String, String, StatusMessageNotifier)): "DummyStatusBar: "._tainted
    //#input(void setMessage(String, String, StatusMessageNotifier)): java.lang.System.out
    //#input(void setMessage(String, String, StatusMessageNotifier)): newMessage
    //#input(void setMessage(String, String, StatusMessageNotifier)): newMessage._tainted
    //#presumption(void setMessage(String, String, StatusMessageNotifier)): java.lang.System.out != null
    }
    //#DummyStatusBar.java:68: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, String, StatusMessageNotifier)

    @Override
    public void setMessage(String iconType, String newMessage,
            StatusMessageNotifier newNotifier, int timeout) {
        System.out.println("DummyStatusBar: " + newMessage);
    //#DummyStatusBar.java:73: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, String, StatusMessageNotifier, int)
    //#input(void setMessage(String, String, StatusMessageNotifier, int)): "DummyStatusBar: "._tainted
    //#input(void setMessage(String, String, StatusMessageNotifier, int)): java.lang.System.out
    //#input(void setMessage(String, String, StatusMessageNotifier, int)): newMessage
    //#input(void setMessage(String, String, StatusMessageNotifier, int)): newMessage._tainted
    //#presumption(void setMessage(String, String, StatusMessageNotifier, int)): java.lang.System.out != null
    }
    //#DummyStatusBar.java:74: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.setMessage(String, String, StatusMessageNotifier, int)

    /** {@inheritDoc} */
    @Override
    public void clearMessage() {
        System.out.println("DummyStatusBar: message cleared");
    //#DummyStatusBar.java:79: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.clearMessage()
    //#input(void clearMessage()): java.lang.System.out
    //#presumption(void clearMessage()): java.lang.System.out != null
    }
    //#DummyStatusBar.java:80: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.clearMessage()

    /** {@inheritDoc} */
    @Override
    public void addComponent(final StatusBarComponent component) {
        // Do nothing
    }
    //#DummyStatusBar.java:86: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.addComponent(StatusBarComponent)
    //#DummyStatusBar.java:86: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.addComponent(StatusBarComponent)

    /** {@inheritDoc} */
    @Override
    public void removeComponent(final StatusBarComponent component) {
        // Do nothing
    }
    //#DummyStatusBar.java:92: method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.removeComponent(StatusBarComponent)
    //#DummyStatusBar.java:92: end of method: void com.dmdirc.addons.ui_dummy.DummyStatusBar.removeComponent(StatusBarComponent)

    /** {@inheritDoc} */
    @Override
    public boolean isVisible() {
        return true;
    //#DummyStatusBar.java:97: method: bool com.dmdirc.addons.ui_dummy.DummyStatusBar.isVisible()
    //#output(bool isVisible()): return_value
    //#post(bool isVisible()): return_value == 1
    //#DummyStatusBar.java:97: end of method: bool com.dmdirc.addons.ui_dummy.DummyStatusBar.isVisible()
    }

}
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Descendant_Table[com/dmdirc/addons/ui_dummy/DummyStatusBar]
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.addComponent(Lcom/dmdirc/ui/interfaces/StatusBarComponent;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.clearMessage()V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.isVisible()Z
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.removeComponent(Lcom/dmdirc/ui/interfaces/StatusBarComponent;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;I)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Ljava/lang/String;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;)V
    //#output(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;I)V
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Descendant_Table[com/dmdirc/addons/ui_dummy/DummyStatusBar] == &__Dispatch_Table
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.addComponent(Lcom/dmdirc/ui/interfaces/StatusBarComponent;)V == &addComponent
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.clearMessage()V == &clearMessage
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.isVisible()Z == &isVisible
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.removeComponent(Lcom/dmdirc/ui/interfaces/StatusBarComponent;)V == &removeComponent
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;)V == &setMessage
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;)V == &setMessage
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;I)V == &setMessage
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Ljava/lang/String;)V == &setMessage
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;)V == &setMessage
    //#post(com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init): __Dispatch_Table.setMessage(Ljava/lang/String;Ljava/lang/String;Lcom/dmdirc/ui/interfaces/StatusMessageNotifier;I)V == &setMessage
    //#DummyStatusBar.java:: end of method: com.dmdirc.addons.ui_dummy.DummyStatusBar.com.dmdirc.addons.ui_dummy.DummyStatusBar__static_init
    //#DummyStatusBar.java:: end of class: com.dmdirc.addons.ui_dummy.DummyStatusBar
