//# 0 errors, 46 messages
//#
/*
    //#DcopPlugin.java:1:1: class: com.dmdirc.addons.dcop.DcopPlugin
    //#DcopPlugin.java:1:1: method: com.dmdirc.addons.dcop.DcopPlugin.com.dmdirc.addons.dcop.DcopPlugin__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.dcop;

import com.dmdirc.plugins.Plugin;
import com.dmdirc.commandparser.CommandManager;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.util.ArrayList;
import java.util.List;

/**
 * Allows the user to execute dcop commands (and read the results).
 * 
 * @author chris
 */
public final class DcopPlugin extends Plugin {
    /** The DcopCommand we created */
    private DcopCommand command = null;
    
    /** Creates a new instance of DcopPlugin. */
    public DcopPlugin() {
        super();
    //#DcopPlugin.java:45: method: void com.dmdirc.addons.dcop.DcopPlugin.com.dmdirc.addons.dcop.DcopPlugin()
    //#DcopPlugin.java:45: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.plugins.Plugin()
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.dcop.DcopPlugin
    //#    method: void com.dmdirc.addons.dcop.DcopPlugin()
    //#    unanalyzed callee: void com.dmdirc.plugins.Plugin()
    //#input(void com.dmdirc.addons.dcop.DcopPlugin()): this
    //#output(void com.dmdirc.addons.dcop.DcopPlugin()): this.command
    //#post(void com.dmdirc.addons.dcop.DcopPlugin()): this.command == null
    }
    //#DcopPlugin.java:46: end of method: void com.dmdirc.addons.dcop.DcopPlugin.com.dmdirc.addons.dcop.DcopPlugin()
    
    /**
     * Retrieves the result from executing the specified command.
     *
     * @param command The command to be executed
     * @return The output of the specified command
     */
    public static List<String> getDcopResult(final String command) {
        final ArrayList<String> result = new ArrayList<String>();
    //#DcopPlugin.java:55: method: List com.dmdirc.addons.dcop.DcopPlugin.getDcopResult(String)
    //#input(List getDcopResult(String)): command
    //#output(List getDcopResult(String)): new ArrayList(getDcopResult#1) num objects
    //#output(List getDcopResult(String)): return_value
    //#new obj(List getDcopResult(String)): new ArrayList(getDcopResult#1)
    //#presumption(List getDcopResult(String)): java.lang.Runtime:exec(...)@62 != null
    //#presumption(List getDcopResult(String)): java.lang.Runtime:getRuntime(...)@62 != null
    //#post(List getDcopResult(String)): return_value == &new ArrayList(getDcopResult#1)
    //#post(List getDcopResult(String)): new ArrayList(getDcopResult#1) num objects == 1
    //#test_vector(List getDcopResult(String)): java.io.BufferedReader:readLine(...)@69: Addr_Set{null}, Inverse{null}

        InputStreamReader reader;
        BufferedReader input;
        Process process;
        
        try {
            process = Runtime.getRuntime().exec(command);
            
            reader = new InputStreamReader(process.getInputStream());
            input = new BufferedReader(reader);
            
            String line = "";
    //#DcopPlugin.java:67: Warning: unused assignment
    //#    Unused assignment into line
    //#    severity: LOW
    //#    class: com.dmdirc.addons.dcop.DcopPlugin
    //#    method: List getDcopResult(String)
            
            while ((line = input.readLine()) != null) {
                result.add(line);
            }
            
            reader.close();
            input.close();
            process.destroy();
        } catch (IOException ex) {
            // Do nothing
        }
        
        return result;
    //#DcopPlugin.java:80: end of method: List com.dmdirc.addons.dcop.DcopPlugin.getDcopResult(String)
    }
    
    /** {@inheritDoc} */
    @Override
    public void onLoad() {
        command = new DcopCommand();
    //#DcopPlugin.java:86: method: void com.dmdirc.addons.dcop.DcopPlugin.onLoad()
    //#input(void onLoad()): this
    //#output(void onLoad()): new DcopCommand(onLoad#1) num objects
    //#output(void onLoad()): this.command.__Tag
    //#output(void onLoad()): this.command
    //#new obj(void onLoad()): new DcopCommand(onLoad#1)
    //#post(void onLoad()): this.command == &new DcopCommand(onLoad#1)
    //#post(void onLoad()): new DcopCommand(onLoad#1) num objects == 1
    //#post(void onLoad()): this.command.__Tag == com/dmdirc/addons/dcop/DcopCommand
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.commandparser.commands.ServerCommand
    //#unanalyzed(void onLoad()): Effects-of-calling:com.dmdirc.commandparser.CommandManager:registerCommand
    }
    //#DcopPlugin.java:87: end of method: void com.dmdirc.addons.dcop.DcopPlugin.onLoad()
    
    /** {@inheritDoc} */
    @Override
    public void onUnload() {
        CommandManager.unregisterCommand(command);
    //#DcopPlugin.java:92: method: void com.dmdirc.addons.dcop.DcopPlugin.onUnload()
    //#DcopPlugin.java:92: Warning: method not available - call not analyzed
    //#    call on void com.dmdirc.commandparser.CommandManager:unregisterCommand(CommandInfo)
    //#    severity: INFORMATIONAL
    //#    class: com.dmdirc.addons.dcop.DcopPlugin
    //#    method: void onUnload()
    //#    unanalyzed callee: void com.dmdirc.commandparser.CommandManager:unregisterCommand(CommandInfo)
    //#input(void onUnload()): this
    //#input(void onUnload()): this.command
    //#pre[2] (void onUnload()): init'ed(this.command)
    }
    //#DcopPlugin.java:93: end of method: void com.dmdirc.addons.dcop.DcopPlugin.onUnload()

}
    //#output(com.dmdirc.addons.dcop.DcopPlugin__static_init): __Descendant_Table[com/dmdirc/addons/dcop/DcopPlugin]
    //#output(com.dmdirc.addons.dcop.DcopPlugin__static_init): __Dispatch_Table.onLoad()V
    //#output(com.dmdirc.addons.dcop.DcopPlugin__static_init): __Dispatch_Table.onUnload()V
    //#post(com.dmdirc.addons.dcop.DcopPlugin__static_init): __Descendant_Table[com/dmdirc/addons/dcop/DcopPlugin] == &__Dispatch_Table
    //#post(com.dmdirc.addons.dcop.DcopPlugin__static_init): __Dispatch_Table.onLoad()V == &onLoad
    //#post(com.dmdirc.addons.dcop.DcopPlugin__static_init): __Dispatch_Table.onUnload()V == &onUnload
    //#DcopPlugin.java:: end of method: com.dmdirc.addons.dcop.DcopPlugin.com.dmdirc.addons.dcop.DcopPlugin__static_init
    //#DcopPlugin.java:: end of class: com.dmdirc.addons.dcop.DcopPlugin
