author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Mon, 28 Mar 2016 00:31:52 +0300 | |
changeset 404 | cdfa6dfa9072 |
parent 402 | b47698d5ccab |
child 406 | f0ac87e10d9a |
permissions | -rw-r--r-- |
385 | 1 |
|
2 |
import regex |
|
3 |
||
4 |
||
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
5 |
class Prelude: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
6 |
name = None |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
7 |
about = "" |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
8 |
urls = [] |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
9 |
authors = [] |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
10 |
licences = [] |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
11 |
|
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
12 |
|
399
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
13 |
class ParseException(BaseException): |
385 | 14 |
|
399
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
15 |
def __init__(self, msg, lineno = None, line = None): |
385 | 16 |
self.msg = msg |
399
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
17 |
self.lineno = lineno |
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
18 |
self.line = line |
385 | 19 |
|
20 |
def __repr__(self): |
|
399
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
21 |
if self.lineno is None: |
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
22 |
return self.msg |
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
23 |
elif self.line is None: |
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
24 |
return ":{:d}:{:s}".format(self.lineno, self.msg) |
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
25 |
else: |
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
26 |
return ":{:d}: {:s}\nLINE: {:s}".format(self.lineno, self.msg, self.line) |
385 | 27 |
|
28 |
||
29 |
class Parser: |
|
30 |
||
31 |
SEPARATOR_RE = regex.compile(r"^__$") |
|
32 |
HEADWORD_RE = regex.compile(r"^(\p{L}.*)$") |
|
33 |
HEADWORD_VAR_RE = regex.compile(r"^ +(s|pl|v[123]|male|female|comp|super)$") |
|
34 |
HEADWORD_PRON_RE = regex.compile(r"^ +\[([\p{L}' ]+)\]$") |
|
35 |
TRANSL_POS_RE = regex.compile(r"^n|pron|adj|v|adv|prep|conj|num|int|phr\.v|abbr$") |
|
36 |
TRANSL_RE = regex.compile(r"^(ru|uk|la|en): ([\p{L}(][\p{L}\p{P}~ ]*)$") |
|
37 |
TRANSL_EX_RE = regex.compile(r"^(ru|uk|la|en)> (\p{L}.*)$") |
|
38 |
||
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
39 |
CONT_RE = regex.compile(r"^ +(.*)") |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
40 |
|
385 | 41 |
TRAILING_SPACES_RE = regex.compile(r"\p{Z}+$") |
42 |
||
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
43 |
PRELUDE_NAME_RE = regex.compile(r"^name: (.*)") |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
44 |
PRELUDE_URL_RE = regex.compile(r"^url: (.*)") |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
45 |
PRELUDE_AUTHOR_RE = regex.compile(r"^by: (.*)") |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
46 |
PRELUDE_LICENSE_RE = regex.compile(r"^term: (.*)") |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
47 |
PRELUDE_ABOUT_RE = regex.compile(r"^about: ?(.*)") |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
48 |
|
385 | 49 |
def __init__(self): |
50 |
pass |
|
51 |
||
52 |
def readline(self): |
|
53 |
self.line = self.stream.readline() |
|
54 |
self.eof = len(self.line) == 0 |
|
55 |
if not self.eof: |
|
56 |
self.lineno += 1 |
|
400
aa03182d2e26
Proper check for trailing spaces.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
399
diff
changeset
|
57 |
if self.TRAILING_SPACES_RE.search(self.line): |
aa03182d2e26
Proper check for trailing spaces.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
399
diff
changeset
|
58 |
raise ParseException("Traling spaces detected...\n") |
385 | 59 |
|
60 |
def parse(self, stream): |
|
61 |
self.lineno = 0 |
|
62 |
self.stream = stream |
|
63 |
self.dom = [] |
|
64 |
try: |
|
65 |
self.parse_prelude() |
|
66 |
while not self.eof: |
|
67 |
self.parse_article() |
|
68 |
except ParseException as ex: |
|
399
a6a7036f3c6f
File name is not available in parser. Move error printing to writer.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
394
diff
changeset
|
69 |
raise ParseException(ex.msg, self.lineno, self.line) from ex |
385 | 70 |
return self.dom |
71 |
||
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
72 |
def parse_continuation(self): |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
73 |
string = "" |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
74 |
while True: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
75 |
self.readline() |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
76 |
if self.eof: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
77 |
return string |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
78 |
m = CONT_RE.match(self.line) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
79 |
if m is not None: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
80 |
string += "\n" + m.group(1) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
81 |
elif len(self.line) == 1: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
82 |
string += "\n" |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
83 |
else: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
84 |
return string |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
85 |
|
385 | 86 |
def parse_prelude(self): |
87 |
"""Read dictionary prelude until first "__" delimiter.""" |
|
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
88 |
pre = Prelude() |
385 | 89 |
while True: |
90 |
self.readline() |
|
91 |
if self.eof: |
|
92 |
raise ParseException("There are no articles...") |
|
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
93 |
m = self.PRELUDE_ABOUT_RE.match(self.line) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
94 |
if m: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
95 |
pre.about += m.group(1) + self.parse_continuation() |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
96 |
if self.eof: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
97 |
raise ParseException("There are no articles...") |
385 | 98 |
if self.SEPARATOR_RE.match(self.line): |
99 |
break |
|
402
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
100 |
m = self.PRELUDE_NAME_RE.match(self.line) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
101 |
if m: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
102 |
pre.name = m.group(1) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
103 |
continue |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
104 |
m = self.PRELUDE_URL_RE.match(self.line) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
105 |
if m: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
106 |
pre.urls.append(m.group(1)) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
107 |
continue |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
108 |
m = self.PRELUDE_AUTHOR_RE.match(self.line) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
109 |
if m: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
110 |
pre.authors.append(m.group(1)) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
111 |
continue |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
112 |
m = self.PRELUDE_LICENSE_RE.match(self.line) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
113 |
if m: |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
114 |
pre.licences.append(m.group(1)) |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
115 |
continue |
b47698d5ccab
Parse dictionary metainfo.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
400
diff
changeset
|
116 |
self.dom.append(pre) |
385 | 117 |
|
118 |
def parse_article(self): |
|
119 |
"""Try to match article until next "__" delimiter. Assume that `self.line` point to "__" delimiter.""" |
|
120 |
self.words = None |
|
121 |
self.tran = None |
|
122 |
self.parse_empty_line() |
|
123 |
self.parse_headlines() |
|
124 |
self.parse_translation() |
|
125 |
self.dom.append((self.words, self.tran)) |
|
126 |
||
127 |
def parse_empty_line(self): |
|
128 |
self.readline() |
|
129 |
if self.eof or len(self.line) != 1: |
|
130 |
raise ParseException(""""__" delimiter should followed by empty line...""") |
|
131 |
||
132 |
def parse_headlines(self): |
|
133 |
"""Try to match word variations with attributed. Assume that `self.line` on preceding empty line.""" |
|
134 |
self.words = {} |
|
135 |
self.readline() |
|
136 |
if self.eof: |
|
137 |
raise ParseException("""There are no definition after "__" delimiter...""") |
|
138 |
m = self.HEADWORD_RE.match(self.line) |
|
139 |
if m is None: |
|
140 |
raise ParseException("""There are no headword after "__" delimiter...""") |
|
141 |
word = m.group(1) |
|
142 |
pron = None |
|
143 |
attrs = set() |
|
144 |
while True: |
|
145 |
self.readline() |
|
146 |
if self.eof or len(self.line) == 1: |
|
147 |
break |
|
148 |
m = self.HEADWORD_RE.match(self.line) |
|
149 |
if m is not None: |
|
150 |
if word is None: |
|
151 |
raise ParseException("""Didn't match previous headword...""") |
|
152 |
self.words[word] = (pron, attrs) |
|
153 |
word = m.group(1) |
|
154 |
pron = None |
|
155 |
attrs = set() |
|
156 |
continue |
|
157 |
m = self.HEADWORD_PRON_RE.match(self.line) |
|
158 |
if m is not None: |
|
159 |
if pron is not None: |
|
160 |
raise ParseException("""Pronunciation is redefined...""") |
|
161 |
pron = m.group(1) |
|
162 |
continue |
|
163 |
m = self.HEADWORD_VAR_RE.match(self.line) |
|
164 |
if m is not None: |
|
165 |
attrs.add(m.group(1)) |
|
166 |
continue |
|
400
aa03182d2e26
Proper check for trailing spaces.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
399
diff
changeset
|
167 |
raise ParseException("""Line is not a headword or translation or headword attribute...""") |
385 | 168 |
self.words[word] = (pron, attrs) |
169 |
||
170 |
def parse_translation(self): |
|
171 |
senses = [] |
|
172 |
pos = None |
|
173 |
tr = [] |
|
174 |
ex = [] |
|
175 |
while True: |
|
176 |
self.readline() |
|
177 |
if self.eof: |
|
178 |
break |
|
179 |
m = self.SEPARATOR_RE.match(self.line) |
|
180 |
if m is not None: |
|
181 |
break |
|
182 |
if len(self.line) == 1: |
|
183 |
senses.append((pos, tr, ex)) |
|
184 |
pos = None |
|
185 |
tr = [] |
|
186 |
ex = [] |
|
187 |
continue |
|
188 |
m = self.TRANSL_POS_RE.match(self.line) |
|
189 |
if m is not None: |
|
190 |
if pos is not None: |
|
191 |
raise ParseException("""Each translation should have only one part of speech marker...""") |
|
192 |
pos = m.group(0) |
|
193 |
continue |
|
194 |
m = self.TRANSL_RE.match(self.line) |
|
195 |
if m is not None: |
|
196 |
tr.append((m.group(1), m.group(2))) |
|
197 |
continue |
|
198 |
m = self.TRANSL_EX_RE.match(self.line) |
|
199 |
if m is not None: |
|
200 |
ex.append((m.group(1), m.group(2))) |
|
201 |
continue |
|
202 |
raise ParseException("""Uknown syntax...""") |
|
203 |
if len(tr) > 0: |
|
204 |
senses.append((pos, tr, ex)) |
|
205 |
self.tran = senses |
|
206 |