+ /*def initLevel = Verify.getIntFromList(10, 20, 30)
+ this.level = initLevel
+ def initMute = Verify.getBoolean()
+ if (initMute) {
+ 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.trackData = "someTrack"
+ } else {
+ this.trackData = "someOtherTrack"
+ }
+ def initDesc = Verify.getBoolean()
+ if (initDesc) {
+ this.trackDescription = "someDescriptions"
+ } else {
+ this.trackDescription = "someOtherDescriptions"
+ }*/
+ musicPlayers.add(new MusicPlayer(sendEvent, id, label, displayName, this.level, this.mute, this.status, this.trackNumber, this.trackData, this.trackDescription))
+ }
+
+ //By model checker
+ def setValue(LinkedHashMap eventDataMap) {
+ if (eventDataMap["name"] == "status") {
+ if (eventDataMap["value"] != musicPlayers[0].status) {
+ this.status = eventDataMap["value"]
+ musicPlayers[0].setValue(eventDataMap["value"], "status")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "level") {
+ if (eventDataMap["value"].toInteger() != musicPlayers[0].level) {
+ this.level = eventDataMap["value"].toInteger()
+ musicPlayers[0].setValue(eventDataMap["value"], "level")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "trackDescription") {
+ if (eventDataMap["value"] != musicPlayers[0].trackDescription) {
+ this.trackDescription = eventDataMap["value"]
+ musicPlayers[0].setValue(eventDataMap["value"], "trackDescription")
+ sendEvent(eventDataMap)
+ }
+ } else if (eventDataMap["name"] == "trackData") {
+ if (eventDataMap["value"] != 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")
+ sendEvent(eventDataMap)
+ }
+ }