package MusicPlayer
import Timer.SimulatedTimer
-//JPF's Verify API
-import gov.nasa.jpf.vm.Verify
-
public class MusicPlayers {
private int deviceNumbers
private List musicPlayers
private String label = "musicPlayer0"
private String displayName = "musicPlayer0"
private int level = 20
+ private int duration = 10
private String mute = "unmuted"
- private String status = "paused"
+ private String status = "pause"
private int trackNumber = 1
private String trackData = "someTrack"
private String trackDescription = "someDescriptions"
- MusicPlayers(Closure sendEvent, int deviceNumbers) {
+ MusicPlayers(Closure sendEvent, int deviceNumbers, boolean init) {
this.sendEvent = sendEvent
this.deviceNumbers = deviceNumbers
this.musicPlayers = []
-
- def initLevel = Verify.getIntFromList(10, 20, 30)
- this.level = initLevel
- def initMute = Verify.getBoolean()
- if (initMute) {
+
+ if (init) {
+ this.level = 20
+ this.duration = 10
this.mute = "unmuted"
- } else {
- this.mute = "muted"
- }
- def initStatus = Verify.getInt(0,2)
- if (initStatus == 0) {
this.status = "paused"
- } else if (initStatus == 1) {
- this.status = "playing"
- } else {
- this.status = "stopped"
- }
- def initTrack = Verify.getIntFromList(1, 2, 3)
- this.trackNumber = initTrack
- def initData = Verify.getBoolean()
- if (initData) {
+ this.trackNumber = 1
this.trackData = "someTrack"
- } else {
- this.trackData = "someOtherTrack"
- }
- def initDesc = Verify.getBoolean()
- if (initDesc) {
this.trackDescription = "someDescriptions"
} else {
+ this.level = 30
+ this.duration = 20
+ this.mute = "muted"
+ this.status = "playing"
+ this.trackNumber = 2
+ this.trackData = "someOtherTrack"
this.trackDescription = "someOtherDescriptions"
}
musicPlayers.add(new MusicPlayer(sendEvent, id, label, displayName, this.level, this.mute, this.status, this.trackNumber, this.trackData, this.trackDescription))
def setValue(LinkedHashMap eventDataMap) {
if (eventDataMap["name"] == "status") {
if (eventDataMap["value"] != musicPlayers[0].status) {
+ this.status = eventDataMap["value"]
musicPlayers[0].setValue(eventDataMap["value"], "status")
- this.status = musicPlayers[0].status
sendEvent(eventDataMap)
}
} else if (eventDataMap["name"] == "level") {
- if (eventDataMap["value"] != musicPlayers[0].level) {
+ if (eventDataMap["value"].toInteger() != musicPlayers[0].level) {
+ this.level = eventDataMap["value"].toInteger()
musicPlayers[0].setValue(eventDataMap["value"], "level")
- this.level = musicPlayers[0].level
sendEvent(eventDataMap)
}
} else if (eventDataMap["name"] == "trackDescription") {
if (eventDataMap["value"] != musicPlayers[0].trackDescription) {
+ this.trackDescription = eventDataMap["value"]
musicPlayers[0].setValue(eventDataMap["value"], "trackDescription")
- this.trackDescription = musicPlayers[0].trackDescription
sendEvent(eventDataMap)
}
} else if (eventDataMap["name"] == "trackData") {
if (eventDataMap["value"] != musicPlayers[0].trackData) {
- musicPlayers[0].setValue(eventDataMap["value"], "trackData")
- this.trackData = musicPlayers[0].trackData
+ this.trackData = eventDataMap["value"]
+ musicPlayers[0].setValue(eventDataMap["value"], "trackData")
sendEvent(eventDataMap)
}
} else if (eventDataMap["name"] == "mute") {
if (eventDataMap["value"] != musicPlayers[0].mute) {
+ this.mute = eventDataMap["value"]
musicPlayers[0].setValue(eventDataMap["value"], "mute")
- this.mute = musicPlayers[0].mute
sendEvent(eventDataMap)
}
}
def find(Closure Input) {
musicPlayers.find(Input)
}
+ def sort(Closure Input) {
+ musicPlayers.sort(Input)
+ }
def collect(Closure Input) {
musicPlayers.collect(Input)
}
//methods
+ def on(LinkedHashMap metaData) {
+ on()
+ }
+ def on() {
+ if (status != "on") {
+ this.status = "on"
+ musicPlayers[0].on()
+ }
+ }
+ def off(LinkedHashMap metaData) {
+ off()
+ }
+ def off() {
+ if (status != "off") {
+ this.status = "off"
+ musicPlayers[0].off()
+ }
+ }
+ def mute(LinkedHashMap metaData) {
+ mute()
+ }
def mute() {
if (mute != "muted") {
- musicPlayers[0].mute()
this.mute = "muted"
+ musicPlayers[0].mute()
}
}
+ def nextTrack(LinkedHashMap metaData) {
+ nextTrack()
+ }
def nextTrack() {
- musicPlayers[0].nextTrack()
- if (status != "playing") {
- this.status = "playing"
+ if (status != "play") {
+ this.status = "play"
}
- this.trackNumber = musicPlayers[0].trackNumber
+ this.trackNumber = this.trackNumber+1
+ musicPlayers[0].nextTrack()
+ }
+ def pause(LinkedHashMap metaData) {
+ pause()
}
def pause() {
- if (status != "paused") {
- musicPlayers[0].pause()
- this.status = "paused"
+ if (status != "pause") {
+ this.status = "pause"
+ musicPlayers[0].pause()
}
}
+ def play(LinkedHashMap metaData) {
+ play()
+ }
def play() {
- if (status != "playing") {
+ if (status != "play") {
+ this.status = "play"
musicPlayers[0].play()
- this.status = "playing"
+ }
+ }
+ def playTrack(LinkedHashMap metaData) {
+ playTrack("someTrack")
+ }
+ def playTrackAndResume(String trackData, int duration) {
+ playTrack(trackData)
+ if (duration != this.duration) {
+ this.duration = duration
+ }
+ }
+ def playTrackAndResume(String trackData, int duration, int level) {
+ playTrackAndResume(trackData, duration)
+ if (level != this.level) {
+ this.level = level
+ }
+ }
+ def playSoundAndTrack(String trackData, int duration, int trackNumber, int level) {
+ playTrackAndResume(trackData, duration)
+ if (level != this.level) {
+ this.level = level
+ }
+ if (trackNumber!= this.trackNumber) {
+ this.trackNumber = trackNumber
+ }
+ }
+ def playTrackAtVolume(String trackData, int level) {
+ playTrack(trackData)
+ if (level != this.level) {
+ this.level = level
}
}
def playTrack(String trackToPlay) {
- musicPlayers[0].playTrack(trackToPlay)
- if (status != "playing") {
- this.status = "playing"
+ if (status != "play") {
+ this.status = "play"
}
- this.trackNumber = musicPlayers[0].trackNumber
+ musicPlayers[0].playTrack(trackToPlay)
+ }
+ def previousTrack(LinkedHashMap metaData) {
+ previousTrack()
}
def previousTrack() {
- musicPlayers[0].previousTrack()
- if (status != "playing") {
- this.status = "playing"
+ if (status != "play") {
+ this.status = "play"
}
- this.trackNumber = musicPlayers[0].trackNumber
+ if (this.trackNumber != 1)
+ this.trackNumber = this.trackNumber-1
+ musicPlayers[0].previousTrack()
+ }
+ def restoreTrack(LinkedHashMap metaData) {
+ restoreTrack()
}
def restoreTrack(String trackToRestore) {
musicPlayers[0].restoreTrack(trackToRestore)
}
+ def resumeTrack(LinkedHashMap metaData) {
+ resumeTrack()
+ }
def resumeTrack(String trackToResume) {
- musicPlayers[0].resumeTrack(trackToResume)
- if (status != "playing") {
- this.status = "playing"
+ if (status != "play") {
+ this.status = "play"
}
+ musicPlayers[0].resumeTrack(trackToResume)
+ }
+ def setLevel(LinkedHashMap metaData) {
+ setLevel()
}
def setLevel(int level) {
- if (level != this.level) {
+ if (level != this.level) {
+ this.level = level
musicPlayers[0].setLevel(level)
- this.level = level
}
}
+ def setTrack(LinkedHashMap metaData) {
+ setTrack()
+ }
def setTrack(String trackToSet) {
- musicPlayers[0].setTrack(trackToSet)
- if (status != "playing") {
- this.status = "playing"
+ if (status != "play") {
+ this.status = "play"
}
- this.trackNumber = musicPlayers[0].trackNumber
+ musicPlayers[0].setTrack(trackToSet)
+ }
+ def stop(LinkedHashMap metaData) {
+ stop()
}
def stop() {
- if (status != "stopped") {
+ if (status != "stop") {
+ this.status = "stop"
musicPlayers[0].stop()
- this.status = "stopped"
}
}
+ def statesSince(String info, Date dateObj, LinkedHashMap map) {
+ return musicPlayers[0].statesSince()
+ }
+ def playText(LinkedHashMap metaData) {
+ playText()
+ }
+ def playText(String text) {
+ if (status != "play") {
+ this.status = "play"
+ }
+ musicPlayers[0].playText(text)
+ }
def currentValue(String deviceFeature) {
musicPlayers[0].currentValue(deviceFeature)
}
+ def latestValue(String deviceFeature) {
+ musicPlayers[0].latestValue(deviceFeature)
+ }
+
def getAt(int ix) {
musicPlayers[ix]
}
projects / smartthings-infrastructure.git / blobdiff