def test_rank(self):
r = RandomPoolIEMLObjectGenerator(level=Text)
self.assertEqual(r.word().__class__.syntax_rank(), 1)
self.assertEqual(r.topic().__class__.syntax_rank(), 2)
self.assertEqual(r.fact().__class__.syntax_rank(), 3)
self.assertEqual(r.theory().__class__.syntax_rank(), 4)
self.assertEqual(r.text().__class__.syntax_rank(), 5)
def test_enumerate_paths(self):
r = RandomPoolIEMLObjectGenerator(level=Text)
t = r.text()
e = list(enumerate_paths(t, level=Term))
self.assertSetEqual({t[1]
for t in e},
set(e for e in t.tree_iter()
if isinstance(e, Term)))
class TestText(unittest.TestCase):
def setUp(self):
self.gen = RandomPoolIEMLObjectGenerator(Text)
def test_equality(self):
text0 = self.gen.text()
self.assertEqual(text0, Text(text0))
s0 = self.gen.fact()
t1 = text([text0, s0])
self.assertIn(s0, t1)
self.assertIn(text0, t1)
def test_hashing(self):
s = RandomPoolIEMLObjectGenerator(level=Text).text()
h = {s: 1, 2: 3}
self.assertIn(s, h)
def test_rules(self):
rules0 = [(path('r0'), ieml('wa.'))]
obj = resolve_ieml_object(*zip(*rules0))
self.assertEqual(obj, topic([ieml('wa.')]))
rules1 = [(path('r1'), ieml('wa.')), (path('r'), ieml('I:')), (path('f0'), ieml('we.'))]
obj = resolve_ieml_object(*zip(*rules1))
word1 = topic([ieml('I:'), ieml('wa.')], [ieml('we.')])
self.assertEqual(obj, word1)
self.assertEqual(resolve_ieml_object(enumerate_paths(obj)), obj)
r = RandomPoolIEMLObjectGenerator(level=Text)
t = r.text()
self.assertEqual(t, resolve_ieml_object(enumerate_paths(t)))
rules = [(path('r1'), ieml('wa.')), (path('r'), ieml('I:')), (path('f0'), ieml('we.'))]
obj = resolve_ieml_object(*zip(*rules))
self.assertEqual(obj, topic([ieml('I:'), ieml('wa.')], [ieml('we.')]))
def test_enumerate_paths(self):
r = RandomPoolIEMLObjectGenerator(level=Text)
t = r.text()
e = list(enumerate_paths(t, level=Word))
self.assertSetEqual({t[1] for t in e}, t.words)
class TestPropositionParser(unittest.TestCase):
def setUp(self):
self.rand = RandomPoolIEMLObjectGenerator(level=Text)
self.parser = IEMLParser()
def test_parse_term(self):
for i in range(10):
o = self.rand.term()
self.assertEqual(self.parser.parse(str(o)), o)
def test_parse_word(self):
for i in range(10):
o = self.rand.word()
self.assertEqual(self.parser.parse(str(o)), o)
def test_parse_term_plus(self):
t = term("f.-O:M:.+M:O:.-s.y.-'")
to_check = ieml("[f.-O:M:.+M:O:.-s.y.-']")
self.assertEqual(to_check, SyntaxTerm(t))
def test_parse_sentence(self):
for i in range(10):
o = self.rand.sentence()
self.assertEqual(self.parser.parse(str(o)), o)
def test_parse_super_sentence(self):
for i in range(10):
o = self.rand.word()
self.assertEqual(self.parser.parse(str(o)), o)
def test_parse_text(self):
for i in range(10):
o = self.rand.text()
self.assertEqual(self.parser.parse(str(o)), o)
def test_literals(self):
w1 = str(self.rand.word()) + "<la\la\>lal\>fd>"
w2 = str(self.rand.word()) + "<@!#$#@%{}\>fd>"
self.assertEqual(str(self.parser.parse(w1)), w1)
self.assertEqual(str(self.parser.parse(w2)), w2)
s1 = '[(' + '*'.join(
(w1, w2, str(self.rand.word()))) + ')]' + "<!@#$%^&*()_+\<>"
self.assertEqual(str(self.parser.parse(s1)), s1)
ss1 = '[(' + '*'.join((s1, str(
self.rand.sentence()), str(self.rand.sentence()))) + ')]<opopop>'
self.assertEqual(str(self.parser.parse(ss1)), ss1)
def test_invalid_term(self):
with self.assertRaises(CannotParse):
self.parser.parse("[([A:A:A:.-'])]")
with self.assertRaises(TermNotFoundInDictionary):
term("A:A:A:.")
def test_multiple_ieml_parser(self):
p0 = IEMLParser()
p1 = IEMLParser()
self.assertEqual(p0, p1)
p2 = IEMLParser(Dictionary('dictionary_2017-06-07_00:00:00'))
self.assertNotEqual(p0, p2)
p3 = IEMLParser(from_version='dictionary_2017-06-07_00:00:00')
self.assertNotEqual(p2, p3)
def test_parse_script(self):
self.assertEqual(str(self.parser.parse("A:")), '[A:]')
def test_threading(self):
pool = ThreadPool(4)
results = pool.map(self.parser.parse, Dictionary().version.terms)
self.assertSetEqual(
{str(t)
for t in results},
{'[{0}]'.format(str(t))
for t in Dictionary().version.terms})
results = pool.map(script, Dictionary().version.terms)
self.assertSetEqual({str(t)
for t in results},
set(Dictionary().version.terms))
def test_rank(self):
r = RandomPoolIEMLObjectGenerator(level=Text)
self.assertEqual(r.word().__class__.syntax_rank(), 2)
self.assertEqual(r.sentence().__class__.syntax_rank(), 4)
self.assertEqual(r.super_sentence().__class__.syntax_rank(), 6)
self.assertEqual(r.text().__class__.syntax_rank(), 7)