def test_size(self):
for t1_ in TYPE.types:
t1 = SymbolBASICTYPE(t1_)
for t2_ in TYPE.types:
t2 = SymbolBASICTYPE(t2_)
t = SymbolTYPE('test_type', 0, t1, t2)
self.assertEqual(t.size, t1.size + t2.size)
def test_to_signed(self):
for type_ in TYPE.types:
if type_ is TYPE.unknown or type_ == TYPE.string:
continue
t = SymbolBASICTYPE(type_)
q = t.to_signed()
self.assertTrue(q.is_signed)
def test_is_alias(self):
for t1_ in TYPE.types:
t1 = SymbolBASICTYPE(t1_)
for t2_ in TYPE.types:
t2 = SymbolBASICTYPE(t2_)
t = SymbolTYPE('test_type', 0, t1, t2)
self.assertFalse(t.is_alias)
def test__ne__(self):
for t1_ in TYPE.types:
t1 = SymbolBASICTYPE(t1_)
for t2_ in TYPE.types:
t2 = SymbolBASICTYPE(t2_)
if t1 == t2: # Already validated
self.assertTrue(t1 == t2)
else:
self.assertTrue(t1 != t2)
def test__eq__(self):
for t_ in TYPE.types:
t = SymbolBASICTYPE(t_)
self.assertTrue(t == t) # test same reference
for t_ in TYPE.types:
t1 = SymbolBASICTYPE(t_)
t2 = SymbolBASICTYPE(t_)
self.assertTrue(t1 == t2)
t = SymbolBASICTYPE(TYPE.string)
self.assertEqual(t, Type.string)
def test__eq__(self):
for t1_ in TYPE.types:
t1 = SymbolBASICTYPE(t1_)
for t2_ in TYPE.types:
t2 = SymbolBASICTYPE(t2_)
t = SymbolTYPE('test_type', 0, t1, t2)
tt = SymbolTYPE('other_type', 0, t)
self.assertTrue(t == t)
self.assertFalse(t != t)
self.assertFalse(tt == t)
self.assertFalse(t == tt)
self.assertTrue(tt == tt)
self.assertFalse(tt != tt)
self.assertTrue(t != tt)
self.assertTrue(tt != t)
def test_is_alias(self):
for type_ in TYPE.types:
t = SymbolBASICTYPE(type_)
ta = SymbolTYPEALIAS('alias', 0, t)
self.assertTrue(ta.is_alias)
self.assertTrue(ta.is_basic)
self.assertFalse(t.is_alias)
def test_bool(self):
for type_ in TYPE.types:
t = SymbolBASICTYPE(type_)
if t.type_ == TYPE.unknown:
self.assertFalse(t)
else:
self.assertTrue(t)
def test__eq__(self):
for type_ in TYPE.types:
t = SymbolBASICTYPE(type_)
ta = SymbolTYPEALIAS('alias', 0, t)
self.assertEqual(t.size, ta.size)
self.assertTrue(ta == ta)
self.assertTrue(t == ta)
self.assertTrue(ta == t)
def test_is_dynamic(self):
for type_ in TYPE.types:
t = SymbolBASICTYPE(type_)
self.assertTrue((type_ == TYPE.string) == t.is_dynamic)
def test_is_basic(self):
for type_ in TYPE.types:
t = SymbolBASICTYPE(type_)
self.assertTrue(t.is_basic)
def test_size(self):
for type_ in TYPE.types:
t = SymbolBASICTYPE(type_)
self.assertEqual(t.size, TYPE.size(type_))
