def test_and(self): andspec = sptrue() & spfalse() self.assertEqual(andspec.type, parser.AND) self.assertIsNotNone(andspec.car) self.assertIsNotNone(andspec.cdr) self.assertEqual(andspec, and_(sptrue(), spfalse())) with self.assertRaises(ValueError): andspec = sptrue() & None with self.assertRaises(ValueError): andspec = and_(None, None)
def test_or(self): orspec = sptrue() | spfalse() self.assertEqual(orspec.type, parser.OR) self.assertIsNotNone(orspec.car) self.assertIsNotNone(orspec.cdr) self.assertEqual(orspec, or_(sptrue(), spfalse())) with self.assertRaises(ValueError): orspec = sptrue() | None with self.assertRaises(ValueError): orspec = or_(None, None)
def test_iff(self): iffspec = iff(sptrue(), spfalse()) self.assertEqual(iffspec.type, parser.IFF) self.assertIsNotNone(iffspec.car) self.assertIsNotNone(iffspec.cdr) with self.assertRaises(ValueError): iffspec = iff(sptrue(), None)
def test_u(self): uspec = u(sptrue(), spfalse()) self.assertEqual(uspec.type, parser.UNTIL) self.assertIsNotNone(uspec.car) self.assertIsNotNone(uspec.cdr) with self.assertRaises(ValueError): uspec = u(None, None)
def test_ew(self): ewspec = ew(sptrue(), spfalse()) self.assertEqual(ewspec.type, parser.EW) self.assertIsNotNone(ewspec.car) self.assertIsNotNone(ewspec.cdr) with self.assertRaises(ValueError): ewspec = ew(None, None)
def test_aw(self): awspec = aw(sptrue(), spfalse()) self.assertEqual(awspec.type, parser.AW) self.assertIsNotNone(awspec.car) self.assertIsNotNone(awspec.cdr) with self.assertRaises(ValueError): awspec = aw(None, None)
def test_imply(self): impspec = imply(sptrue(), spfalse()) self.assertEqual(impspec.type, parser.IMPLIES) self.assertIsNotNone(impspec.car) self.assertIsNotNone(impspec.cdr) with self.assertRaises(ValueError): impspec = imply(sptrue(), None)
def test_types(self): spec = au(ex(sptrue()), ag(spfalse() & sptrue())) self.assertEqual(spec.type, parser.AU) exspec = spec.car self.assertEqual(exspec.type, parser.EX) self.assertIsNone(exspec.cdr) self.assertEqual(exspec.car.type, parser.TRUEEXP) agspec = spec.cdr self.assertEqual(agspec.type, parser.AG) self.assertIsNone(agspec.cdr) andspec = agspec.car self.assertEqual(andspec.type, parser.AND) self.assertEqual(andspec.car.type, parser.FALSEEXP) self.assertEqual(andspec.cdr.type, parser.TRUEEXP)
def test_imply(self): impspec = imply(sptrue(), spfalse()) self.assertEqual(impspec.type, parser.IMPLIES) self.assertIsNotNone(impspec.car) self.assertIsNotNone(impspec.cdr)
def test_au(self): auspec = au(sptrue(), spfalse()) self.assertEqual(auspec.type, parser.AU) self.assertIsNotNone(auspec.car) self.assertIsNotNone(auspec.cdr)
def test_false(self): false = spfalse() self.assertEqual(false.type, parser.FALSEEXP) self.assertIsNone(false.car) self.assertIsNone(false.cdr)
def test_ew(self): ewspec = ew(sptrue(), spfalse()) self.assertEqual(ewspec.type, parser.EW) self.assertIsNotNone(ewspec.car) self.assertIsNotNone(ewspec.cdr)
def test_or(self): orspec = sptrue() | spfalse() self.assertEqual(orspec.type, parser.OR) self.assertIsNotNone(orspec.car) self.assertIsNotNone(orspec.cdr)
def test_and(self): andspec = sptrue() & spfalse() self.assertEqual(andspec.type, parser.AND) self.assertIsNotNone(andspec.car) self.assertIsNotNone(andspec.cdr)
def test_aw(self): awspec = aw(sptrue(), spfalse()) self.assertEqual(awspec.type, parser.AW) self.assertIsNotNone(awspec.car) self.assertIsNotNone(awspec.cdr)
def test_iff(self): iffspec = iff(sptrue(), spfalse()) self.assertEqual(iffspec.type, parser.IFF) self.assertIsNotNone(iffspec.car) self.assertIsNotNone(iffspec.cdr)
def test_eu(self): euspec = eu(sptrue(), spfalse()) self.assertEqual(euspec.type, parser.EU) self.assertIsNotNone(euspec.car) self.assertIsNotNone(euspec.cdr)