public Cond(LatteParser.CondContext context)
{
Expr = Exprs.Utils.ExprFromExprContext(context.expr());
var stmt = Utils.StmtFromStmtContext(context.stmt());
Block = stmt switch
{
Block block => block,
Stmt s => new Block(s)
};
}
public override void EnterCond(LatteParser.CondContext context)
{
_environment.DetachVarEnv();
var exprType = new ExpressionTypeVisitor().Visit(context.expr());
if (!exprType.Equals(new LatteParser.TBoolContext()))
{
_errorState.AddErrorMessage(new ErrorMessage(
context.expr().start.Line,
context.expr().start.Line,
ErrorMessages.IfWrongCondition));
}
}
public static Stmt StmtFromStmtContext(LatteParser.StmtContext context)
{
return(context switch
{
LatteParser.AssContext assContext => new Ass(assContext),
LatteParser.BlockStmtContext blockStmtContext => new Block(blockStmtContext),
LatteParser.CondContext condContext => new Cond(condContext),
LatteParser.CondElseContext condElseContext => new CondElse(condElseContext),
LatteParser.DeclContext declContext => new Decl(declContext),
LatteParser.DecrContext decrContext => new Decr(decrContext),
LatteParser.EmptyContext _ => new Empty(),
LatteParser.IncrContext incrContext => new Incr(incrContext),
LatteParser.RetContext retContext => new Ret(retContext),
LatteParser.SExpContext sExpContext => new ExpStmt(sExpContext),
LatteParser.StructAssContext structAssContext => new StructAss(structAssContext),
LatteParser.StructDecrContext structDecrContext => new StructDecr(structDecrContext),
LatteParser.StructIncrContext structIncrContext => new StructIncr(structIncrContext),
LatteParser.VRetContext vRetContext => new Ret(vRetContext),
LatteParser.WhileContext whileContext => new While(whileContext),
_ => throw new ArgumentOutOfRangeException(nameof(context))
});
public override void ExitCond(LatteParser.CondContext context)
{
_environment.RestorePreviousVarEnv();
}
