コード例 #1
0
 private string TraverseIfElseStmt(IfElseStmt ifElseStmt)
 {
     return(ifElseStmt.ElseBody != null
         ? string.Format("if({0}) {1} else {2}", TraverseStmt(ifElseStmt.Condition),
                         GenerateSeparateStmt(ifElseStmt.ThenBody),
                         GenerateSeparateStmt(ifElseStmt.ElseBody))
         : string.Format("if({0}) {1}", TraverseStmt(ifElseStmt.Condition),
                         GenerateSeparateStmt(ifElseStmt.ThenBody)));
 }
コード例 #2
0
        public override IAstNode VisitIfElseStmt(MicroCParser.IfElseStmtContext context)
        {
            var           label      = ++_label;
            IBExpr        condition  = Visit(context.b_expr()) as IBExpr;
            UnscopedBlock ifBody     = Visit(context.ifBody) as UnscopedBlock;
            UnscopedBlock elseBody   = Visit(context.elseBody) as UnscopedBlock;
            var           ifElseStmt = new IfElseStmt(condition, ifBody, elseBody);

            ifElseStmt.Label = label;
            return(ifElseStmt);
        }
コード例 #3
0
ファイル: FVAnalysis.cs プロジェクト: sindrip/analysis-tool
        protected override ILattice <FVDomain> TransferFunctions(int label)
        {
            var block     = GetBlock(label);
            var domain    = _analysisCircle[label].GetDomain();
            var newDomain = block switch
            {
                AssignStmt assignStmt => AssignTransfer(assignStmt, domain),
                RecAssignStmt recAssignStmt => RecAssignTransfer(recAssignStmt, domain),
                IfStmt ifStmt => ConditionTransfer(ifStmt.Condition, domain),
                IfElseStmt ifElseStmt => ConditionTransfer(ifElseStmt.Condition, domain),
                WhileStmt whileStmt => ConditionTransfer(whileStmt.Condition, domain),
                WriteStmt writeStmt => WriteTransfer(writeStmt, domain),
                ReadStmt readStmt => ReadTransfer(readStmt, domain),
                _ => new FVDomain(),
            };

            return(new FVLattice(newDomain));
        }
コード例 #4
0
        protected override ILattice <IADomain> TransferFunctions(int label)
        {
            var block     = GetBlock(label);
            var domain    = _analysisCircle[label].GetDomain();
            var newDomain = block switch
            {
                IntDecl intDecl => IntDeclTransfer(intDecl, domain),
                ArrayDecl arrayDecl => ArrayDeclTransfer(arrayDecl, domain),
                RecordDecl recordDecl => RecDeclTransfer(recordDecl, domain),
                AssignStmt assignStmt => AssignTransfer(assignStmt, domain),
                RecAssignStmt recAssignStmt => RecAssignTransfer(recAssignStmt, domain),
                IfStmt ifStmt => IdTransfer(ifStmt, domain),
                IfElseStmt ifElseStmt => IdTransfer(ifElseStmt, domain),
                WhileStmt whileStmt => IdTransfer(whileStmt, domain),
                WriteStmt writeStmt => IdTransfer(writeStmt, domain),
                ReadStmt readStmt => ReadTransfer(readStmt, domain),
                _ => Bottom().GetDomain(),
            };

            return(new IALattice(newDomain));
        }
コード例 #5
0
ファイル: statements.cs プロジェクト: JianpingZeng/C-Compiler
    public static Int32 Parse(List<Token> src, Int32 begin, out Stmt stmt)
    {
        stmt = null;

        Int32 current;
        Expr expr;
        if (Parser.IsKeyword(src[begin], KeywordVal.SWITCH)) {
            // switch

            current = begin + 1;
            current = Parser.ParseParenExpr(src, current, out expr);
            if (current == -1) {
                return -1;
            }

            current = _statement.Parse(src, current, out stmt);
            if (current == -1) {
                return -1;
            }

            stmt = new SwitchStmt(expr, stmt);
            return current;

        } else if (Parser.IsKeyword(src[begin], KeywordVal.IF)) {
            // if
            current = begin + 1;
            current = Parser.ParseParenExpr(src, current, out expr);
            if (current == -1) {
                return -1;
            }
            Stmt true_stmt;
            current = _statement.Parse(src, current, out true_stmt);
            if (current == -1) {
                return -1;
            }
            if (!Parser.IsKeyword(src[current], KeywordVal.ELSE)) {
                stmt = new IfStmt(expr, true_stmt);
                return current;
            }
            current++;
            Stmt false_stmt;
            current = _statement.Parse(src, current, out false_stmt);
            if (current == -1) {
                return -1;
            }
            stmt = new IfElseStmt(expr, true_stmt, false_stmt);
            return current;

        } else {
            return -1;
        }
    }