if (initMute) {
this.mute = "unmuted"
} else {
- this.mute = "mute"
+ this.mute = "muted"
}
- def initStatus = Verify.getBoolean()
- if (initStatus) {
+ def initStatus = Verify.getInt(0,2)
+ if (initStatus == 0) {
this.status = "paused"
- } else {
+ } else if (initStatus == 1) {
this.status = "playing"
+ } else {
+ this.status = "stopped"
}
-
- musicPlayers.add(new MusicPlayer(id, label, displayName, this.level, this.mute, this.status, this.trackNumber, this.trackData, this.trackDescription))
+ 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