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