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))