Exemplo n.º 1
0
        public override void TypeCheck()
        {
            CondExpr.TypeCheck();

            if (!CondExpr.type.isTheSameAs(new NamedType("BOOLEAN")))
            {
                Console.WriteLine("Invalid type for if statement condition\n");
                throw new Exception("TypeCheck error");
            }
            ThenStmts.TypeCheck();
            if (ElseStmts != null)
            {
                ElseStmts.TypeCheck();
            }
        }