1592 |
1592 |
1593 |
1593 |
1594 class removeUnsusedSolutionsTC(TestCase): |
1594 class removeUnsusedSolutionsTC(TestCase): |
1595 def test_invariant_not_varying(self): |
1595 def test_invariant_not_varying(self): |
1596 rqlst = mock_object(defined_vars={}) |
1596 rqlst = mock_object(defined_vars={}) |
1597 rqlst.defined_vars['A'] = mock_object(scope=rqlst, stinfo={'optrelations':False}, _q_invariant=True) |
1597 rqlst.defined_vars['A'] = mock_object(scope=rqlst, stinfo={}, _q_invariant=True) |
1598 rqlst.defined_vars['B'] = mock_object(scope=rqlst, stinfo={'optrelations':False}, _q_invariant=False) |
1598 rqlst.defined_vars['B'] = mock_object(scope=rqlst, stinfo={}, _q_invariant=False) |
1599 self.assertEquals(remove_unused_solutions(rqlst, [{'A': 'RugbyGroup', 'B': 'RugbyTeam'}, |
1599 self.assertEquals(remove_unused_solutions(rqlst, [{'A': 'RugbyGroup', 'B': 'RugbyTeam'}, |
1600 {'A': 'FootGroup', 'B': 'FootTeam'}], {}, None), |
1600 {'A': 'FootGroup', 'B': 'FootTeam'}], {}, None), |
1601 ([{'A': 'RugbyGroup', 'B': 'RugbyTeam'}, |
1601 ([{'A': 'RugbyGroup', 'B': 'RugbyTeam'}, |
1602 {'A': 'FootGroup', 'B': 'FootTeam'}], |
1602 {'A': 'FootGroup', 'B': 'FootTeam'}], |
1603 {}, set('B')) |
1603 {}, set('B')) |
1604 ) |
1604 ) |
1605 |
1605 |
1606 def test_invariant_varying(self): |
1606 def test_invariant_varying(self): |
1607 rqlst = mock_object(defined_vars={}) |
1607 rqlst = mock_object(defined_vars={}) |
1608 rqlst.defined_vars['A'] = mock_object(scope=rqlst, stinfo={'optrelations':False}, _q_invariant=True) |
1608 rqlst.defined_vars['A'] = mock_object(scope=rqlst, stinfo={}, _q_invariant=True) |
1609 rqlst.defined_vars['B'] = mock_object(scope=rqlst, stinfo={'optrelations':False}, _q_invariant=False) |
1609 rqlst.defined_vars['B'] = mock_object(scope=rqlst, stinfo={}, _q_invariant=False) |
1610 self.assertEquals(remove_unused_solutions(rqlst, [{'A': 'RugbyGroup', 'B': 'RugbyTeam'}, |
1610 self.assertEquals(remove_unused_solutions(rqlst, [{'A': 'RugbyGroup', 'B': 'RugbyTeam'}, |
1611 {'A': 'FootGroup', 'B': 'RugbyTeam'}], {}, None), |
1611 {'A': 'FootGroup', 'B': 'RugbyTeam'}], {}, None), |
1612 ([{'A': 'RugbyGroup', 'B': 'RugbyTeam'}], {}, set()) |
1612 ([{'A': 'RugbyGroup', 'B': 'RugbyTeam'}], {}, set()) |
1613 ) |
1613 ) |
1614 |
1614 |