private BaseAst GetWhileAST(WhileAst cmd)
        {
            if (cmd == null)
            {
                return(BaseAst.GetErrorAstNode("Chybne volana funkce 'GetWhileAST(WhileAst cmd)', parametr 'cmd' je null"));
            }

            BaseAst cond;
            BaseAst tmp = GetCondAST(out cond);

            if (tmp.IsError)
            {
                return(tmp);
            }
            cmd.Condition = cond;

            BaseAst st = StatementOrBlock();

            if (st.IsError)
            {
                return(st);
            }
            cmd.WhileBody = st;

            return(cmd);
        }
        private void WriteWhile(WhileAst ast, List<string> vars, string p, bool writeLE)
        {
            file.WriteLine("{0}while ({1})", p, GetExpr(ast.Condition));
            if (writeLE)
                WriteLinearEquations(ast.ConvertCondition.Node, vars, p);

            WriteBody(ast.WhileBody, vars, p, writeLE);
            if (writeLE)
                WriteLinearEquations(ast.ConvertWhileEndBody.Node, vars, p);
        }
        private IEnumerable <BaseAst> ConvertWhile(WhileAst node)
        {
            List <BaseAst> block = new List <BaseAst>();

            internalLabelIdx++;
            int idx = internalLabelIdx;

            block.Add(new BaseAst {
                Token = TokenTypes.Identifier, AstType = AstNodeTypes.Label, TokenText = string.Format("$WhileBegin{0}", idx)
            });

            ConditionAst cond = ConvertTo <ConditionAst>(node, AstNodeTypes.Condition);

            cond.Condition = NegateCondition(node.Condition);
            block.Add(cond);
            node.ConvertCondition = cond;

            GotoAst gt = new GotoAst {
                Token = TokenTypes.GotoRW, AstType = AstNodeTypes.Goto, TokenText = "goto", Label = string.Format("$WhileEnd{0}", idx)
            };

            block.Add(gt);
            node.ConvertWhileEndBody = gt;

            block.Add(new BaseAst {
                Token = TokenTypes.Identifier, AstType = AstNodeTypes.Label, TokenText = string.Format("$WhileTrue{0}", idx)
            });
            block.AddRange(ConvertStatement(node.WhileBody));
            block.Add(new GotoAst {
                Token = TokenTypes.GotoRW, AstType = AstNodeTypes.Goto, TokenText = "goto", Label = string.Format("$WhileBegin{0}", idx)
            });

            block.Add(new BaseAst {
                Token = TokenTypes.Identifier, AstType = AstNodeTypes.Label, TokenText = string.Format("$WhileEnd{0}", idx)
            });

            return(block);
        }
 private BaseAst CheckFunctionCallsInWhileAST(ProgramAst program, WhileAst cmd)
 {
     return(CheckFunctionCallsInStatementAST(program, cmd.WhileBody));
 }