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_random(self):
r = RandomPoolIEMLObjectGenerator(level=Fact)
s = r.fact()
p = path("s+a+m + (s+a+m):(r+f)")
elems = resolve(s, p)
self.assertSetEqual(elems, s.words.union(s.semes))
p = path("t + t:(s+a+m+r+f+(s+a+m):(s+a+m+r+f+(s+a+m):(r+f)))")
usl = random_usl(rank_type=Text)
elems = resolve(usl, p)
self.assertSetEqual(usl.facts.union(usl.words).union(usl.semes).union(usl.theories), elems)
class TestTheory(unittest.TestCase):
def setUp(self):
self.rnd_gen = RandomPoolIEMLObjectGenerator(Fact)
def test_theory_creation(self):
a, b, c, d, e, f = tuple(self.rnd_gen.fact() for _ in range(6))
try:
theory([(a, b, f), (a, c, f), (b, e, f), (b, d, f)])
except InvalidIEMLObjectArgument as e:
self.fail()
def test_hashing(self):
s = RandomPoolIEMLObjectGenerator(level=Theory).theory()
h = {s: 1, 2: 3}
self.assertIn(s, h)
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)
class TestTexts(unittest.TestCase):
# TODO : more tests on texts
def setUp(self):
self.rand_gen = RandomPoolIEMLObjectGenerator(level=Theory)
def test_text_ordering_simple(self):
"""Just checks that elements created in a text are ordered the right way"""
topic = self.rand_gen.topic()
sentence, supersentence = self.rand_gen.fact(), self.rand_gen.theory()
text = Text([supersentence, sentence, topic])
self.assertIn(topic, text.topics)
self.assertIn(sentence, text.facts)
self.assertIn(supersentence, text.theories)
self.assertTrue(all(isinstance(t, Word) for t in text.words))
self.assertTrue(all(isinstance(t, Topic) for t in text.topics))
self.assertTrue(all(isinstance(t, Fact) for t in text.facts))
self.assertTrue(all(isinstance(t, Theory) for t in text.theories))
class TestPropositionParser(unittest.TestCase):
def setUp(self):
self.rand = RandomPoolIEMLObjectGenerator(level=Theory)
self.parser = IEMLParser()
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_topic(self):
for i in range(10):
o = self.rand.topic()
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, Word(t))
def test_parse_sentence(self):
for i in range(10):
o = self.rand.fact()
self.assertEqual(self.parser.parse(str(o)), o)
def test_parse_super_sentence(self):
for i in range(10):
o = self.rand.theory()
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.topic()) + "<la\la\>lal\>fd>"
w2 = str(self.rand.topic()) + "<@!#$#@%{}\>fd>"
self.assertEqual(str(self.parser.parse(w1)), w1)
self.assertEqual(str(self.parser.parse(w2)), w2)
s1 = '[('+ '*'.join((w1, w2, str(self.rand.topic()))) +')]' + "<!@#$%^&*()_+\<>"
self.assertEqual(str(self.parser.parse(s1)), s1)
ss1 = '[('+ '*'.join((s1, str(self.rand.fact()), str(self.rand.fact()))) + ')]<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))