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
|
# ############################################################################ #
# #
# ::: :::::::: #
# log.py :+: :+: :+: #
# +:+ +:+ +:+ #
# By: cacharle <me@cacharle.xyz> +#+ +:+ +#+ #
# +#+#+#+#+#+ +#+ #
# Created: 2020/10/01 10:51:39 by cacharle #+# #+# #
# Updated: 2020/10/01 14:19:29 by cacharle ### ########.fr #
# #
# ############################################################################ #
import re
from .event import Event
from . import error
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 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"), start_time, end_time)
self.event = Event.from_string(match.group('event'))
def _parse_ranged_int(self, s, lo, hi):
try:
value = int(s)
if not (lo <= value <= hi):
raise error.Format(self._line,
"{} should be between {} - {}".format(s, lo, hi))
except ValueError:
raise 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))
|
