Python Ambiente.assign Examples

Example #1

File: AmbienteTest.py Project: dcestari/python-type-analizer

  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)

Example #2

File: AmbienteTest.py Project: dcestari/python-type-analizer

  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)

Example #3

File: AmbienteTest.py Project: dcestari/python-type-analizer

  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)

Example #4

File: AmbienteTest.py Project: dcestari/python-type-analizer

 def test_assign_conjuncion_bool(self):
   a = Ambiente()
   self.assertEqual(a.assign(Conjuncion(Booleano(True), Booleano(False)), Bool()), Sustitucion())

Example #5

File: AmbienteTest.py Project: dcestari/python-type-analizer

 def test_assign_menorque_bool(self):
   a = Ambiente()
   self.assertEqual(a.assign(MenorQue(Entero(12), Entero(14)), Bool()), Sustitucion())

Example #6

File: AmbienteTest.py Project: dcestari/python-type-analizer

 def test_assign_suma_int(self):
   a = Ambiente()
   self.assertEqual(a.assign(Suma(Entero(12), Entero(14)), Int()), Sustitucion())

Example #7

File: AmbienteTest.py Project: dcestari/python-type-analizer

 def test_assign_entero_int(self):
   a = Ambiente()
   self.assertEqual(a.assign(Entero(12), Int()), Sustitucion())