//# 0 errors, 57 messages
//#
/*
    //#DefaultSettings.java:1:1: class: com.dmdirc.installer.DefaultSettings
    //#DefaultSettings.java:1:1: method: com.dmdirc.installer.DefaultSettings.com.dmdirc.installer.DefaultSettings__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.installer;

import com.dmdirc.installer.cliparser.CLIParser;

/**
 * Default settings for the installer.
 */
public class DefaultSettings implements Settings {
    //#DefaultSettings.java:30: method: void com.dmdirc.installer.DefaultSettings.com.dmdirc.installer.DefaultSettings()
    //#DefaultSettings.java:30: end of method: void com.dmdirc.installer.DefaultSettings.com.dmdirc.installer.DefaultSettings()

    /** {@inheritDoc} */
    @Override
    public boolean getShortcutMenuState() {
        return (CLIParser.getCLIParser().getParamNumber("-no-shortcut-menu") ==
    //#DefaultSettings.java:35: method: bool com.dmdirc.installer.DefaultSettings.getShortcutMenuState()
    //#DefaultSettings.java:35: Warning: method not available - call not analyzed
    //#    call on CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutMenuState()
    //#    unanalyzed callee: CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#DefaultSettings.java:35: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutMenuState()
    //#    unanalyzed callee: int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#output(bool getShortcutMenuState()): return_value
    //#presumption(bool getShortcutMenuState()): com.dmdirc.installer.cliparser.CLIParser:getCLIParser(...)@35 != null
    //#post(bool getShortcutMenuState()): init'ed(return_value)
    //#DefaultSettings.java:35: end of method: bool com.dmdirc.installer.DefaultSettings.getShortcutMenuState()
                0);
    }

    /** {@inheritDoc} */
    @Override
    public boolean getShortcutDesktopState() {
        return (CLIParser.getCLIParser().getParamNumber("-no-shortcut-desktop") ==
    //#DefaultSettings.java:42: method: bool com.dmdirc.installer.DefaultSettings.getShortcutDesktopState()
    //#DefaultSettings.java:42: Warning: method not available - call not analyzed
    //#    call on CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutDesktopState()
    //#    unanalyzed callee: CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#DefaultSettings.java:42: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutDesktopState()
    //#    unanalyzed callee: int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#output(bool getShortcutDesktopState()): return_value
    //#presumption(bool getShortcutDesktopState()): com.dmdirc.installer.cliparser.CLIParser:getCLIParser(...)@42 != null
    //#post(bool getShortcutDesktopState()): init'ed(return_value)
    //#DefaultSettings.java:42: end of method: bool com.dmdirc.installer.DefaultSettings.getShortcutDesktopState()
                0);
    }

    /** {@inheritDoc} */
    @Override
    public boolean getShortcutQuickState() {
        return (CLIParser.getCLIParser().getParamNumber(
    //#DefaultSettings.java:49: method: bool com.dmdirc.installer.DefaultSettings.getShortcutQuickState()
    //#DefaultSettings.java:49: Warning: method not available - call not analyzed
    //#    call on CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutQuickState()
    //#    unanalyzed callee: CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#DefaultSettings.java:49: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutQuickState()
    //#    unanalyzed callee: int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#output(bool getShortcutQuickState()): return_value
    //#presumption(bool getShortcutQuickState()): com.dmdirc.installer.cliparser.CLIParser:getCLIParser(...)@49 != null
    //#post(bool getShortcutQuickState()): init'ed(return_value)
    //#DefaultSettings.java:49: end of method: bool com.dmdirc.installer.DefaultSettings.getShortcutQuickState()
                "-no-shortcut-quicklaunch") == 0);
    }

    /** {@inheritDoc} */
    @Override
    public boolean getShortcutProtocolState() {
        return (CLIParser.getCLIParser().getParamNumber("-no-shortcut-protocol") ==
    //#DefaultSettings.java:56: method: bool com.dmdirc.installer.DefaultSettings.getShortcutProtocolState()
    //#DefaultSettings.java:56: Warning: method not available - call not analyzed
    //#    call on CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutProtocolState()
    //#    unanalyzed callee: CLIParser com.dmdirc.installer.cliparser.CLIParser:getCLIParser()
    //#DefaultSettings.java:56: Warning: method not available - call not analyzed
    //#    call on int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: bool getShortcutProtocolState()
    //#    unanalyzed callee: int com.dmdirc.installer.cliparser.CLIParser:getParamNumber(String)
    //#output(bool getShortcutProtocolState()): return_value
    //#presumption(bool getShortcutProtocolState()): com.dmdirc.installer.cliparser.CLIParser:getCLIParser(...)@56 != null
    //#post(bool getShortcutProtocolState()): init'ed(return_value)
    //#DefaultSettings.java:56: end of method: bool com.dmdirc.installer.DefaultSettings.getShortcutProtocolState()
                0);
    }

    /** {@inheritDoc} */
    @Override
    public String getInstallLocation() {
        return Main.getInstaller().defaultInstallLocation();
    //#DefaultSettings.java:63: method: String com.dmdirc.installer.DefaultSettings.getInstallLocation()
    //#DefaultSettings.java:63: Warning: method not available - call not analyzed
    //#    call on Installer com.dmdirc.installer.Main:getInstaller()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: String getInstallLocation()
    //#    unanalyzed callee: Installer com.dmdirc.installer.Main:getInstaller()
    //#DefaultSettings.java:63: Warning: method not available - call not analyzed
    //#    call on String defaultInstallLocation()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.installer.DefaultSettings
    //#    method: String getInstallLocation()
    //#    unanalyzed callee: String defaultInstallLocation()
    //#input(String getInstallLocation()): com/dmdirc/installer/Installer.__Descendant_Table[com/dmdirc/installer/Installer]
    //#input(String getInstallLocation()): com/dmdirc/installer/Installer.__Descendant_Table[others]
    //#input(String getInstallLocation()): com/dmdirc/installer/Installer.__Dispatch_Table.defaultInstallLocation()Ljava/lang/String;
    //#output(String getInstallLocation()): return_value
    //#presumption(String getInstallLocation()): com.dmdirc.installer.Main:getInstaller(...).__Tag@63 == com/dmdirc/installer/Installer
    //#presumption(String getInstallLocation()): com.dmdirc.installer.Main:getInstaller(...)@63 != null
    //#post(String getInstallLocation()): init'ed(return_value)
    //#DefaultSettings.java:63: end of method: String com.dmdirc.installer.DefaultSettings.getInstallLocation()
    }
}    //#output(com.dmdirc.installer.DefaultSettings__static_init): __Descendant_Table[com/dmdirc/installer/DefaultSettings]
    //#output(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getInstallLocation()Ljava/lang/String;
    //#output(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutDesktopState()Z
    //#output(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutMenuState()Z
    //#output(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutProtocolState()Z
    //#output(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutQuickState()Z
    //#post(com.dmdirc.installer.DefaultSettings__static_init): __Descendant_Table[com/dmdirc/installer/DefaultSettings] == &__Dispatch_Table
    //#post(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getInstallLocation()Ljava/lang/String; == &getInstallLocation
    //#post(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutDesktopState()Z == &getShortcutDesktopState
    //#post(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutMenuState()Z == &getShortcutMenuState
    //#post(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutProtocolState()Z == &getShortcutProtocolState
    //#post(com.dmdirc.installer.DefaultSettings__static_init): __Dispatch_Table.getShortcutQuickState()Z == &getShortcutQuickState
    //#DefaultSettings.java:: end of method: com.dmdirc.installer.DefaultSettings.com.dmdirc.installer.DefaultSettings__static_init
    //#DefaultSettings.java:: end of class: com.dmdirc.installer.DefaultSettings
