def test_assign_variable_int(self):
a = Ambiente()
a.extend(Variable('x'), Var('a'))
s = Sustitucion()
s.push(Var('a'), Int())
self.assertEqual(a.assign(Variable('x'), Int()), s)
def test_assign_lambda_fun(self):
a = Ambiente()
s = Sustitucion()
s.push(Var('a'), Bool())
s.push(Var('b'), Int())
self.assertEqual(a.assign(Lambda(Variable('x'), Entero(12)), Fun(Bool(), Int())), s)
def test_assign_aplicar_int(self):
a = Ambiente()
x = Aplicacion(Lambda(Variable('x'), Suma(Variable('x'), Entero(1))), Entero(12))
y = Int()
s = Sustitucion()
s.push(Var('a'), Int())
s.push(Var('b'), Int())
self.assertEqual(a.assign(x, y), s)
def test_assign_conjuncion_bool(self): a = Ambiente() self.assertEqual(a.assign(Conjuncion(Booleano(True), Booleano(False)), Bool()), Sustitucion())
def test_assign_menorque_bool(self): a = Ambiente() self.assertEqual(a.assign(MenorQue(Entero(12), Entero(14)), Bool()), Sustitucion())
def test_assign_suma_int(self): a = Ambiente() self.assertEqual(a.assign(Suma(Entero(12), Entero(14)), Int()), Sustitucion())
def test_assign_entero_int(self): a = Ambiente() self.assertEqual(a.assign(Entero(12), Int()), Sustitucion())