Ejemplos de Sustitucion.sustituir en Python

Ejemplo n.º 1

Archivo: SustitucionTest.py Proyecto: dcestari/python-type-analizer

 def test_sustituir_tipo_base(self):
   s = Sustitucion()
   s.push(Var('a'), Fun(Var('b'), Int()))
   self.assertEqual(
     s.sustituir(Int()),
     Int()
   )
   self.assertEqual(
     s.sustituir(Bool()),
     Bool()
   )

Ejemplo n.º 2

Archivo: SustitucionTest.py Proyecto: dcestari/python-type-analizer

 def test_sustituir_paren(self):
   s = Sustitucion()
   s.push(Var('a'), Fun(Var('b'), Int()))
   self.assertEqual(
     s.sustituir(Paren(Var('a'))),
     Paren(Fun(Var('b'), Int()))
   )

Ejemplo n.º 3

Archivo: SustitucionTest.py Proyecto: dcestari/python-type-analizer

 def test_sustituir_vacio(self):
   s = Sustitucion()
   self.assertEqual(
     s.sustituir(Fun(Var('a'), Var('b'))),
     Fun(Var('a'), Var('b'))
   )