1 //Create a class for music player
3 import Timer.SimulatedTimer
6 import gov.nasa.jpf.vm.Verify
8 public class MusicPlayers {
9 private int deviceNumbers
10 private List musicPlayers
13 //For one device(We cannot have obj.id)-> We should have obj[0].id
14 private String id = "musicPlayerID0"
15 private String label = "musicPlayer0"
16 private String displayName = "musicPlayer0"
17 private int level = 20
18 private String mute = "unmuted"
19 private String status = "paused"
20 private int trackNumber = 1
21 private String trackData = "someTrack"
22 private String trackDescription = "someDescriptions"
26 MusicPlayers(Closure sendEvent, int deviceNumbers) {
27 this.sendEvent = sendEvent
28 this.deviceNumbers = deviceNumbers
29 this.musicPlayers = []
31 def initLevel = Verify.getIntFromList(10, 20, 30)
32 this.level = initLevel
33 def initMute = Verify.getBoolean()
39 def initStatus = Verify.getBoolean()
41 this.status = "paused"
43 this.status = "playing"
46 musicPlayers.add(new MusicPlayer(id, label, displayName, this.level, this.mute, this.status, this.trackNumber, this.trackData, this.trackDescription))
50 def setValue(LinkedHashMap eventDataMap) {
51 if (eventDataMap["name"] == "status") {
52 if (eventDataMap["value"] != musicPlayers[0].status) {
53 musicPlayers[0].setValue(eventDataMap["value"], "status")
54 this.status = musicPlayers[0].status
55 sendEvent(eventDataMap)
57 } else if (eventDataMap["name"] == "level") {
58 if (eventDataMap["value"] != musicPlayers[0].level) {
59 musicPlayers[0].setValue(eventDataMap["value"], "level")
60 this.level = musicPlayers[0].level
61 sendEvent(eventDataMap)
63 } else if (eventDataMap["name"] == "trackDescription") {
64 if (eventDataMap["value"] != musicPlayers[0].trackDescription) {
65 musicPlayers[0].setValue(eventDataMap["value"], "trackDescription")
66 this.trackDescription = musicPlayers[0].trackDescription
67 sendEvent(eventDataMap)
69 } else if (eventDataMap["name"] == "trackData") {
70 if (eventDataMap["value"] != musicPlayers[0].trackData) {
71 musicPlayers[0].setValue(eventDataMap["value"], "trackData")
72 this.trackData = musicPlayers[0].trackData
73 sendEvent(eventDataMap)
75 } else if (eventDataMap["name"] == "mute") {
76 if (eventDataMap["value"] != musicPlayers[0].mute) {
77 musicPlayers[0].setValue(eventDataMap["value"], "mute")
78 this.mute = musicPlayers[0].mute
79 sendEvent(eventDataMap)
84 //Methods for closures
85 def count(Closure Input) {
86 musicPlayers.count(Input)
91 def each(Closure Input) {
92 musicPlayers.each(Input)
94 def find(Closure Input) {
95 musicPlayers.find(Input)
97 def collect(Closure Input) {
98 musicPlayers.collect(Input)
103 if (mute != "muted") {
104 musicPlayers[0].mute()
109 musicPlayers[0].nextTrack()
110 if (status != "playing") {
111 this.status = "playing"
113 this.trackNumber = musicPlayers[0].trackNumber
116 if (status != "paused") {
117 musicPlayers[0].pause()
118 this.status = "paused"
122 if (status != "playing") {
123 musicPlayers[0].play()
124 this.status = "playing"
127 def playTrack(String trackToPlay) {
128 musicPlayers[0].playTrack(trackToPlay)
129 if (status != "playing") {
130 this.status = "playing"
132 this.trackNumber = musicPlayers[0].trackNumber
134 def previousTrack() {
135 musicPlayers[0].previousTrack()
136 if (status != "playing") {
137 this.status = "playing"
139 this.trackNumber = musicPlayers[0].trackNumber
141 def restoreTrack(String trackToRestore) {
142 musicPlayers[0].restoreTrack(trackToRestore)
144 def resumeTrack(String trackToResume) {
145 musicPlayers[0].resumeTrack(trackToResume)
146 if (status != "playing") {
147 this.status = "playing"
150 def setLevel(int level) {
151 if (level != this.level) {
152 musicPlayers[0].setLevel(level)
156 def setTrack(String trackToSet) {
157 musicPlayers[0].setTrack(trackToSet)
158 if (status != "playing") {
159 this.status = "playing"
161 this.trackNumber = musicPlayers[0].trackNumber
164 if (status != "stopped") {
165 musicPlayers[0].stop()
166 this.status = "stopped"
170 def currentValue(String deviceFeature) {
171 musicPlayers[0].currentValue(deviceFeature)