stage_director

1) #! /usr/bin/env python
2) 
3) import re

4) import pango

5) 
6) import time_fmt
7) 
8) class Playlist:

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

24)   def __init__(self):

25)     """create a new, empty playlist object"""
26)     self.entries = [] # list of entries
27)                       # entry = dictionary { "type": "normal" or "stop"
28)                       #                      "name": string, name of entry
29)                       #                      "durtaion": float, in seconds }

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

31) 
32)   def read(self, filename):

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

34)     self.entries = []
35)     f = open(filename, "r")
36)     for line in f:
37)       mEntry = self.reEntry.match(line)
38)       if mEntry:
39)         name = mEntry.group(1)
40)         duration = time_fmt.str2sec(mEntry.group(2))

41)         self.entries.append({"type":     "normal",
42)                              "name":     name,
43)                              "duration": duration})

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

46)       else:

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

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

49)     f.close()
50) 

51)   def update(self, store):

52)     """update the contents of a Gtk ListStore with the contents of this
53)     playlist"""

54)     store.clear()

55)     idx = 0

56)     for entry in self.entries:
57)       if entry["type"] == "normal":
58)         name = entry["name"]
59)         duration = time_fmt.sec2str(entry["duration"])
60)       else:
61)         name = ""
62)         duration = "STOP"

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

64)       idx = idx + 1