1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
# ############################################################################ #
# #
# ::: :::::::: #
# log.py :+: :+: :+: #
# +:+ +:+ +:+ #
# By: cacharle <me@cacharle.xyz> +#+ +:+ +#+ #
# +#+#+#+#+#+ +#+ #
# Created: 2020/10/01 10:51:39 by cacharle #+# #+# #
# Updated: 2021/01/03 13:28:20 by cacharle ### ########.fr #
# #
# ############################################################################ #
import re
from philo.event import Event
import philo
class Log:
def __init__(self, line: str, philo_num, start_time, end_time):
match = re.match(
r"^(?P<timestamp>\d+) "
r"(?P<id>\d+) "
r"(?P<event>is thinking|is eating|is sleeping|died|has taken fork)$",
line
)
if match is None:
raise philo.error.Format(line, "wrong format")
self._line = line
self.id = self._parse_ranged_int(match.group("id"), 1, philo_num)
self.timestamp = self._parse_ranged_int(match.group("timestamp"))
self.event = Event.from_string(match.group('event'))
def _parse_ranged_int(self, s, lo=None, hi=None):
try:
value = int(s)
if lo is not None and not (lo <= value <= hi):
raise philo.error.Format(
self._line,
"{} should be between {} - {}".format(s, lo, hi)
)
except ValueError:
raise philo.error.Format(self._line, "{} sould be an integer".format(s))
return value
def __repr__(self):
return "{} {} {}".format(self.timestamp, self.id, Event.to_string(self.event))
|
