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) """time format converter
9) 
10) converts between time in seconds as floating point value and time as
11) human-readable string in hours, minutes and seconds
12) 
13) <time string> = ((<hours>:)?<minutes>:)?<seconds>
14) <hours> = [0-9]+
15) <minutes> = [0-9]+
16) <seconds> = [0-9]+(.[0-9]+)"""
17) 

18) def sec2str(sec):

19)   """convert time in seconds to human-readable time string"""

20)   sign = ""

21)   sec100 = round(sec * 100)
22)   if sec100 < 0:

23)     sign = "-";

24)     sec100 = -sec100;
25)   sec1 = sec100 // 100
26)   sec100 = sec100 % 100

27)   minu = sec1 // 60
28)   sec1 = sec1 % 60
29)   hour = minu // 60
30)   minu = minu % 60
31)   return "%s%u:%02u:%02u.%02u" % (sign, hour, minu, sec1, sec100)
32) 

33) def str2sec(str):

34)   """convert a human readable time string into time in seconds"""

35)   total = 0
36)   section = 0
37)   sign = 1
38)   decimal = 1
39)   for c in str:
40)     if c == ":":
41)       total = (total + sign * section) * 60
42)       section = 0
43)       sign = 1
44)       decimal = 1
45)     elif c == "-":
46)       sign = -sign
47)     elif c == ".":
48)       decimal = 0.1
49)     elif c >= "0" and c <= "9":
50)       if decimal < 1:
51)         section = section + int(c) * decimal
52)         decimal = decimal * 0.1
53)       else:
54)         section = section * 10 + int(c)
55)   total = total + sign * section
56)   return total