//# 0 errors, 104 messages
//#
/*
    //#AmarokSource.java:1:1: class: com.dmdirc.addons.mediasource_dcop.AmarokSource
    //#AmarokSource.java:1:1: method: com.dmdirc.addons.mediasource_dcop.AmarokSource.com.dmdirc.addons.mediasource_dcop.AmarokSource__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.mediasource_dcop;

import com.dmdirc.addons.nowplaying.MediaSource;
import com.dmdirc.addons.nowplaying.MediaSourceState;

import java.util.List;

/**
 * Uses DCOP to retrieve now playing info from Amarok.
 *
 * @author chris
 */
public class AmarokSource implements MediaSource {
    
    /** Instantiates the media source. */
    public AmarokSource() {
    //#AmarokSource.java:38: method: void com.dmdirc.addons.mediasource_dcop.AmarokSource.com.dmdirc.addons.mediasource_dcop.AmarokSource()
        //Do nothing
    }
    //#AmarokSource.java:40: end of method: void com.dmdirc.addons.mediasource_dcop.AmarokSource.com.dmdirc.addons.mediasource_dcop.AmarokSource()
    
    /** {@inheritDoc} */
    @Override
    public MediaSourceState getState() {
        final List<String> res = DcopMediaSourcePlugin.getDcopResult("dcop amarok player status");
    //#AmarokSource.java:45: method: MediaSourceState com.dmdirc.addons.mediasource_dcop.AmarokSource.getState()
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.CLOSED
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.NOTKNOWN
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.PAUSED
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.PLAYING
    //#input(MediaSourceState getState()): com/dmdirc/addons/nowplaying/MediaSourceState.STOPPED
    //#output(MediaSourceState getState()): return_value
    //#presumption(MediaSourceState getState()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#presumption(MediaSourceState getState()): java.util.List:get(...)@47 != null
    //#post(MediaSourceState getState()): return_value in Addr_Set{&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#1),&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#2),&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#3),&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#4),&com.dmdirc.addons.nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#5)}
    //#unanalyzed(MediaSourceState getState()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(MediaSourceState getState()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(MediaSourceState getState()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#test_vector(MediaSourceState getState()): java.lang.Integer:parseInt(...)@49: {0}, {1}, {2}, {-2_147_483_648..-1, 3..4_294_967_295}
    //#test_vector(MediaSourceState getState()): java.util.List:size(...)@46: {-2_147_483_648..0}, {1..4_294_967_295}
        if (res.size() > 0) {
            final String result = res.get(0).trim();
            try {
                final int status = (Integer.parseInt(result));
                switch (status) {
                    case 0:
                        return MediaSourceState.STOPPED;
                    case 1:
                        return MediaSourceState.PAUSED;
                    case 2:
                        return MediaSourceState.PLAYING;
                    default:
                        return MediaSourceState.NOTKNOWN;
                }
            } catch (NumberFormatException nfe) {
                return MediaSourceState.CLOSED;
            }
        } else {
            return MediaSourceState.CLOSED;
    //#AmarokSource.java:64: end of method: MediaSourceState com.dmdirc.addons.mediasource_dcop.AmarokSource.getState()
        }
    }
    
    /** {@inheritDoc} */
    @Override
    public String getAppName() {
        return "Amarok";
    //#AmarokSource.java:71: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getAppName()
    //#output(String getAppName()): return_value
    //#post(String getAppName()): return_value == &"Amarok"
    //#AmarokSource.java:71: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getAppName()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getArtist() {
        return DcopMediaSourcePlugin.getDcopResult("dcop amarok player artist").get(0);
    //#AmarokSource.java:77: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getArtist()
    //#output(String getArtist()): return_value
    //#presumption(String getArtist()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getArtist()): init'ed(return_value)
    //#unanalyzed(String getArtist()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getArtist()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getArtist()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:77: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getArtist()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getTitle() {
        return DcopMediaSourcePlugin.getDcopResult("dcop amarok player title").get(0);
    //#AmarokSource.java:83: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getTitle()
    //#output(String getTitle()): return_value
    //#presumption(String getTitle()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getTitle()): init'ed(return_value)
    //#unanalyzed(String getTitle()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getTitle()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getTitle()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:83: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getTitle()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getAlbum() {
        return DcopMediaSourcePlugin.getDcopResult("dcop amarok player album").get(0);
    //#AmarokSource.java:89: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getAlbum()
    //#output(String getAlbum()): return_value
    //#presumption(String getAlbum()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getAlbum()): init'ed(return_value)
    //#unanalyzed(String getAlbum()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getAlbum()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getAlbum()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:89: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getAlbum()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getLength() {
        return DcopMediaSourcePlugin.getDcopResult("dcop amarok player totalTime").get(0);
    //#AmarokSource.java:95: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getLength()
    //#output(String getLength()): return_value
    //#presumption(String getLength()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getLength()): init'ed(return_value)
    //#unanalyzed(String getLength()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getLength()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getLength()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:95: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getLength()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getTime() {
        return DcopMediaSourcePlugin.getDcopResult(
    //#AmarokSource.java:101: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getTime()
    //#output(String getTime()): return_value
    //#presumption(String getTime()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getTime()): init'ed(return_value)
    //#unanalyzed(String getTime()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getTime()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getTime()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:101: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getTime()
                "dcop amarok player currentTime").get(0);
    }
    
    /** {@inheritDoc} */
    @Override
    public String getFormat() {
        return DcopMediaSourcePlugin.getDcopResult("dcop amarok player type").get(0);
    //#AmarokSource.java:108: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getFormat()
    //#output(String getFormat()): return_value
    //#presumption(String getFormat()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getFormat()): init'ed(return_value)
    //#unanalyzed(String getFormat()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getFormat()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getFormat()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:108: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getFormat()
    }
    
    /** {@inheritDoc} */
    @Override
    public String getBitrate() {
        return DcopMediaSourcePlugin.getDcopResult("dcop amarok player bitrate").get(0);
    //#AmarokSource.java:114: method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getBitrate()
    //#output(String getBitrate()): return_value
    //#presumption(String getBitrate()): com.dmdirc.plugins.ExportedService:execute(...)@61 != null
    //#post(String getBitrate()): init'ed(return_value)
    //#unanalyzed(String getBitrate()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getPluginManager
    //#unanalyzed(String getBitrate()): Effects-of-calling:com.dmdirc.plugins.PluginManager:getExportedService
    //#unanalyzed(String getBitrate()): Effects-of-calling:com.dmdirc.plugins.ExportedService:execute
    //#AmarokSource.java:114: end of method: String com.dmdirc.addons.mediasource_dcop.AmarokSource.getBitrate()
    }
    
}
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Descendant_Table[com/dmdirc/addons/mediasource_dcop/AmarokSource]
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getAlbum()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getAppName()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getArtist()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getBitrate()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getFormat()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getLength()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getState()Lcom/dmdirc/addons/nowplaying/MediaSourceState;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getTime()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getTitle()Ljava/lang/String;
    //#output(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): com/dmdirc/addons/nowplaying/MediaSource.__Descendant_Table[com/dmdirc/addons/mediasource_dcop/AmarokSource]
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Descendant_Table[com/dmdirc/addons/mediasource_dcop/AmarokSource] == &__Dispatch_Table
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): com/dmdirc/addons/nowplaying/MediaSource.__Descendant_Table[com/dmdirc/addons/mediasource_dcop/AmarokSource] == &__Dispatch_Table
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getAlbum()Ljava/lang/String; == &getAlbum
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getAppName()Ljava/lang/String; == &getAppName
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getArtist()Ljava/lang/String; == &getArtist
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getBitrate()Ljava/lang/String; == &getBitrate
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getFormat()Ljava/lang/String; == &getFormat
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getLength()Ljava/lang/String; == &getLength
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getState()Lcom/dmdirc/addons/nowplaying/MediaSourceState; == &getState
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getTime()Ljava/lang/String; == &getTime
    //#post(com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init): __Dispatch_Table.getTitle()Ljava/lang/String; == &getTitle
    //#AmarokSource.java:: end of method: com.dmdirc.addons.mediasource_dcop.AmarokSource.com.dmdirc.addons.mediasource_dcop.AmarokSource__static_init
    //#AmarokSource.java:: end of class: com.dmdirc.addons.mediasource_dcop.AmarokSource
