Parseo de Condicionales en Lenguaje Platzi

¿Cómo parsear condicionales en Platzi?

El parseo es parte fundamental del análisis sintáctico de cualquier lenguaje de programación y el lenguaje de programación Platzi no es la excepción. Para parsear un if statement, es crucial entender su estructura. Veamos la importancia de convertir estos elementos en nodos dentro de nuestro árbol de sintaxis abstracta (AST) y cómo implementarlo en detalle.

¿Qué debemos considerar en la estructura de un if statement?

En el lenguaje de programación Platzi, al igual que en muchos otros, un if statement comienza con una palabra clave sí, seguida por una condición. Esta condición es crucial ya que determinará qué bloque de código, o secuencia de enunciados (statements), se ejecutará si es verdadera.

• Bloque de Código: Si la condición es verdadera, se ejecuta el bloque de código subsiguiente. Los bloques de código son en esencia secuencias de statements que se ejecutan solo si el if resulta verdadero.
• Alternativa: Opcionalmente, si la condición es falsa, se puede ejecutar un bloque de código alternativo. La posibilidad de no tener una alternativa hace que el diseño sea flexible.

El poder de las condicionales en Platzi aumenta ya que estas se consideran expresiones. Esto permite, por ejemplo, definir una variable con una expresión if que funcione como operador ternario:

variable foo es igual a si x mayor a y regresa a x sino y

¿Cómo probamos la implementación?

Para evaluar si un if expression está correctamente implementado, se generan pruebas específicas. Estas pruebas incluyen:

1. Tests sin Alternativas:
   • Implementar un test que valide un if expression sin tener un bloque alternativo.
   • Asegurar que el primer statement dentro del programa sea un expression statement que contiene una expresión if.

Ejemplo de código en Python para tal prueba sería:

def test_if_expressions():
    lexer = Lexer(...)
    parser = Parser(lexer)
    program = parser.parse_program()
    # Verificar si el primer statement es del tipo "expression"
    statement = program.statements[0]
    assert isinstance(statement, ExpressionStatement)

    if_expr = statement.expression
    assert isinstance(if_expr, IfExpression)
    # Verificar condiciones
    assert if_expr.condition is not None
    # Verificar consecuencia
    assert isinstance(if_expr.consequence, BlockStatement)
    assert len(if_expr.consequence.statements) == 1
    assert if_expr.alternative is None

Diseño e implementación de nodos: bloques y condicionales

Para permitir el parseo adecuado de condicionales, se deben diseñar las clases correspondientes:

• Clase Block (Bloque): Representa una secuencia de statements ejecutados bajo una condición verdadera. Incluye métodos para convertir la secuencia en un string.

class BlockStatement:
    def __init__(self, token, statements):
        self.token = token
        self.statements = statements

    def to_string(self):
        out = [statement.to_string() for statement in self.statements]
        return ''.join(out)

• Clase If (Condicional): Es una expresión que contiene una condición, una consecuencia y potencialmente una alternativa. La implementación de esta clase debe permitir errores de sintaxis manejables sin comprometer la ejecución.

class IfExpression:
    def __init__(self, token, condition, consequence, alternative):
        self.token = token
        self.condition = condition
        self.consequence = consequence
        self.alternative = alternative

    def to_string(self):
        out = f'si {self.condition.to_string()} {self.consequence.to_string()}'
        if self.alternative:
            out += f' sino {self.alternative.to_string()}'
        return out

Ambas clases son fundamentales para ampliar la capacidad de nuestro parser a entender y procesar condicionales correctamente.

A medida que avances en la comprensión de cómo funcionan los condicionales y sus estructuras, es vital recordar que el diseño robusto de pruebas es crucial para asegurar que tu parser maneje los casos de uso previstos y los posibles errores de sintaxis de forma elegante. ¡Sigue adelante, que el camino del aprendizaje está lleno de descubrimientos emocionantes!