stage_director

1) #! /usr/bin/env python
2) 

3) # BlinkenArea Stage Director

4) # Copyright 2013 Stefan Schuermans <stefan@blinkenarea.org>
5) # Copyleft: GNU public license - http://www.gnu.org/copyleft/gpl.html
6) # a blinkenarea.org project - https://www.blinkenarea.org/
7) 

8) import re

9) import pango

10) 
11) import time_fmt
12) 
13) class Playlist:

14)   """ playlist object, reads a playlist form a file and handles the playlist
15)   entries
16) 
17)   playlist file format:
18)     - each line is an entry or a stop point: <line> = <entry> | <stop point>
19)     - entries are played one after another
20)     - playing halts at stop points
21)     - <entry> = <name> <whitespace> <duration>
22)     - <stop point> = ""
23)     - <name> = [A-Za-Z0-9_]+
24)     - <duration> = ((<hours>:)?<minutes>:)?<seconds>
25)     - <hours> = [0-9]+
26)     - <minutes> = [0-9]+
27)     - <seconds> = [0-9]+(.[0-9]+)"""
28) 

29)   def __init__(self):

30)     """create a new, empty playlist object"""
31)     self.entries = [] # list of entries
32)                       # entry = dictionary { "type": "normal" or "stop"
33)                       #                      "name": string, name of entry
34)                       #                      "durtaion": float, in seconds }

35)     self.reEntry = re.compile("^\s*([A-Za-z0-9_]+)\s+([0-9:.]+)\s*$")

36) 
37)   def read(self, filename):

38)     """read the playlist from filename, replacing the current playlist"""

39)     self.entries = []
40)     f = open(filename, "r")
41)     for line in f:
42)       mEntry = self.reEntry.match(line)
43)       if mEntry:
44)         name = mEntry.group(1)
45)         duration = time_fmt.str2sec(mEntry.group(2))

46)         self.entries.append({"type":     "normal",
47)                              "name":     name,
48)                              "duration": duration})

49)         #print("DEBUG playlist entry normal %s %f" %
50)         #      (self.entries[-1]["name"], self.entries[-1]["duration"]))

51)       else:

52)         self.entries.append({"type": "stop"})

53)         #print("DEBUG playlist entry stop")

54)     f.close()
55) 

56)   def update(self, store):

57)     """update the contents of a Gtk ListStore with the contents of this
58)     playlist"""

59)     store.clear()

60)     idx = 0

61)     for entry in self.entries:
62)       if entry["type"] == "normal":
63)         name = entry["name"]
64)         duration = time_fmt.sec2str(entry["duration"])
65)       else:
66)         name = ""
67)         duration = "STOP"

68)       store.append([idx, pango.WEIGHT_NORMAL, name, duration])

69)       idx = idx + 1