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_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_false(self):
false = spfalse()
self.assertEqual(false.type, parser.FALSEEXP)
self.assertIsNone(false.car)
self.assertIsNone(false.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)
