Exemple #1
0
        public void VisitNode(IterationStatement node)
        {
            ldlocCount = 0;
            int          exprCount;
            AbstractNode expr = node.Child;
            AbstractNode stmt = expr.Sib;

            using (FileStream fs = File.Open(GlobalVar.PATH, FileMode.Append))
            {
                using (StreamWriter sw = new StreamWriter(fs))
                {
                    sw.WriteLine("Expr" + ++ldlocCount + ":");
                    exprCount = ldlocCount;
                }
            }
            expr.Accept(this);
            using (FileStream fs = File.Open(GlobalVar.PATH, FileMode.Append))
            {
                using (StreamWriter sw = new StreamWriter(fs))
                {
                    sw.WriteLine("Body" + ++ldlocCount);
                    sw.WriteLine("ret");
                    sw.WriteLine("Body" + ldlocCount + ":");
                }
            }
            stmt.Accept(this);
            using (FileStream fs = File.Open(GlobalVar.PATH, FileMode.Append))
            {
                using (StreamWriter sw = new StreamWriter(fs))
                {
                    sw.WriteLine("br Expr" + exprCount);
                }
            }
        }
Exemple #2
0
 public void VisitNode(IterationStatement node)
 {
     Console.Write("<" + node.ClassName() + ">: ");
     Console.ForegroundColor = ConsoleColor.Yellow;
     Console.WriteLine("WHILE");
     Console.ResetColor();
 }
        protected override void DoAction(int action)
        {
#pragma warning disable 162, 1522
            switch (action)
            {
            case 2: // CompilationUnit -> ClassDeclaration
            { CurrentSemanticValue = new CompilationUnit(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 3: // CompilationUnit -> MethodDeclarations
            { CurrentSemanticValue = new CompilationUnit(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 4: // MethodDeclarations -> MethodDeclaration
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 5: // MethodDeclarations -> MethodDeclarations, MethodDeclaration
            { ValueStack[ValueStack.Depth - 2].makeSibling(ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; }
            break;

            case 6: // MethodDeclaration -> Modifiers, TypeSpecifier, MethodSignature, MethodBody
            { CurrentSemanticValue = new MethodDeclaration(ValueStack[ValueStack.Depth - 4], ValueStack[ValueStack.Depth - 3], ValueStack[ValueStack.Depth - 2], ValueStack[ValueStack.Depth - 1]); }
            break;

            case 7: // MethodSignature -> Identifier, LPAREN, ParameterList, RPAREN
            { CurrentSemanticValue = new MethodSignature(ValueStack[ValueStack.Depth - 4], ValueStack[ValueStack.Depth - 2]); }
            break;

            case 8: // MethodSignature -> Identifier, LPAREN, RPAREN
            { CurrentSemanticValue = new MethodSignature(ValueStack[ValueStack.Depth - 3]); }
            break;

            case 9: // ParameterList -> Parameter
            { CurrentSemanticValue = new ParameterList(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 10: // ParameterList -> ParameterList, COMMA, Parameter
            { ValueStack[ValueStack.Depth - 3].adoptChildren(ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 3]; }
            break;

            case 11: // Parameter -> TypeSpecifier, Identifier
            { CurrentSemanticValue = new Parameter(ValueStack[ValueStack.Depth - 2], ValueStack[ValueStack.Depth - 1]); }
            break;

            case 12: // MethodBody -> Block
            { CurrentSemanticValue = new MethodBody(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 13: // ClassDeclaration -> Modifiers, CLASS, Identifier, ClassBody
            { CurrentSemanticValue = new ClassDeclaration(ValueStack[ValueStack.Depth - 4], ValueStack[ValueStack.Depth - 2], ValueStack[ValueStack.Depth - 1]); }
            break;

            case 14: // Modifiers -> PUBLIC
            { CurrentSemanticValue = new Modifiers(ModifierType.PUBLIC); }
            break;

            case 15: // Modifiers -> PRIVATE
            { CurrentSemanticValue = new Modifiers(ModifierType.PRIVATE); }
            break;

            case 16: // Modifiers -> STATIC
            { CurrentSemanticValue = new Modifiers(ModifierType.STATIC); }
            break;

            case 17: // Modifiers -> Modifiers, PUBLIC
            { ValueStack[ValueStack.Depth - 2].addModifierType(ModifierType.PUBLIC); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; }
            break;

            case 18: // Modifiers -> Modifiers, PRIVATE
            { ValueStack[ValueStack.Depth - 2].addModifierType(ModifierType.PRIVATE); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; }
            break;

            case 19: // Modifiers -> Modifiers, STATIC
            { ValueStack[ValueStack.Depth - 2].addModifierType(ModifierType.STATIC); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; }
            break;

            case 20: // ClassBody -> LBRACE, FieldDeclarations, RBRACE
            { CurrentSemanticValue = new ClassBody(ValueStack[ValueStack.Depth - 2]); }
            break;

            case 29: // StructDeclaration -> Modifiers, STRUCT, Identifier, ClassBody
            { CurrentSemanticValue = new StructDeclaration(ValueStack[ValueStack.Depth - 4], ValueStack[ValueStack.Depth - 2], ValueStack[ValueStack.Depth - 1]); }
            break;

            case 30: // FieldVariableDeclaration -> Modifiers, TypeSpecifier, FieldVariableDeclarators
            {}
            break;

            case 31: // TypeSpecifier -> TypeName
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 33: // TypeName -> PrimitiveType
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 35: // ArraySpecifier -> TypeName, LBRACKET, RBRACKET
            {}
            break;

            case 36: // PrimitiveType -> BOOLEAN
            { CurrentSemanticValue = new PrimitiveType(EnumPrimitiveType.BOOLEAN); }
            break;

            case 37: // PrimitiveType -> INT
            { CurrentSemanticValue = new PrimitiveType(EnumPrimitiveType.INT); }
            break;

            case 38: // PrimitiveType -> VOID
            { CurrentSemanticValue = new PrimitiveType(EnumPrimitiveType.VOID); }
            break;

            case 39: // FieldVariableDeclarators -> FieldVariableDeclaratorName
            {}
            break;

            case 40: // FieldVariableDeclarators -> FieldVariableDeclarators, COMMA,
                     //                             FieldVariableDeclaratorName
            {}
            break;

            case 41: // FieldVariableDeclaratorName -> Identifier
            {}
            break;

            case 42: // ConstructorDeclaration -> Modifiers, MethodSignature, Block
            {}
            break;

            case 43: // StaticInitializer -> STATIC, Block
            {}
            break;

            case 44: // Block -> LBRACE, LocalItems, RBRACE
            { CurrentSemanticValue = new Block(ValueStack[ValueStack.Depth - 2]); }
            break;

            case 45: // Block -> LBRACE, RBRACE
            { CurrentSemanticValue = new Block(new Identifier("Empty Block")); }
            break;

            case 46: // LocalItems -> LocalItem
            { CurrentSemanticValue = new LocalItems(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 47: // LocalItems -> LocalItems, LocalItem
            { ValueStack[ValueStack.Depth - 2].adoptChildren(ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; }
            break;

            case 50: // LocalVariableDeclaration -> TypeSpecifier, LocalVariableNames, SEMICOLON
            { CurrentSemanticValue = new LocalVariableDeclaration(ValueStack[ValueStack.Depth - 3], ValueStack[ValueStack.Depth - 2]); }
            break;

            case 52: // LocalVariableNames -> Identifier
            { CurrentSemanticValue = new LocalVariableNames(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 53: // LocalVariableNames -> LocalVariableNames, COMMA, Identifier
            { ValueStack[ValueStack.Depth - 3].adoptChildren(ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 3]; }
            break;

            case 62: // SelectionStatement -> IF, LPAREN, Expression, RPAREN, Statement, ELSE,
                     //                       Statement
            { CurrentSemanticValue = new SelectionStatement(ValueStack[ValueStack.Depth - 5], ValueStack[ValueStack.Depth - 3], ValueStack[ValueStack.Depth - 1]); }
            break;

            case 63: // IterationStatement -> WHILE, LPAREN, Expression, RPAREN, Statement
            { CurrentSemanticValue = new IterationStatement(ValueStack[ValueStack.Depth - 3], ValueStack[ValueStack.Depth - 1]); }
            break;

            case 64: // ReturnStatement -> RETURN, Expression, SEMICOLON
            { CurrentSemanticValue = new ReturnStatement(ValueStack[ValueStack.Depth - 2]); }
            break;

            case 66: // ArgumentList -> Expression
            { CurrentSemanticValue = new ArgumentList(ValueStack[ValueStack.Depth - 1]); }
            break;

            case 67: // ArgumentList -> ArgumentList, COMMA, Expression
            { ValueStack[ValueStack.Depth - 3].adoptChildren(ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 3]; }
            break;

            case 68: // Expression -> QualifiedName, EQUALS, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.EQUALS, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 69: // Expression -> Expression, OP_LOR, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_LOR, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 70: // Expression -> Expression, OP_LAND, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_LAND, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 71: // Expression -> Expression, PIPE, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.PIPE, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 72: // Expression -> Expression, HAT, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.HAT, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 73: // Expression -> Expression, AND, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.AND, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 74: // Expression -> Expression, OP_EQ, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_EQ, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 75: // Expression -> Expression, OP_NE, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_NE, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 76: // Expression -> Expression, OP_GT, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_GT, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 77: // Expression -> Expression, OP_LT, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_LT, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 78: // Expression -> Expression, OP_LE, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_LE, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 79: // Expression -> Expression, OP_GE, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.OP_GE, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 80: // Expression -> Expression, PLUSOP, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.PLUSOP, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 81: // Expression -> Expression, MINUSOP, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.MINUSOP, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 82: // Expression -> Expression, ASTERISK, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.ASTERISK, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 83: // Expression -> Expression, RSLASH, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.RSLASH, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 84: // Expression -> Expression, PERCENT, Expression
            { CurrentSemanticValue = new Expression(ValueStack[ValueStack.Depth - 3], ExprKind.PERCENT, ValueStack[ValueStack.Depth - 1]); }
            break;

            case 86: // Expression -> PrimaryExpression
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 89: // PrimaryExpression -> QualifiedName
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 90: // PrimaryExpression -> NotJustName
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 91: // NotJustName -> SpecialName
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 92: // NotJustName -> ComplexPrimary
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 93: // ComplexPrimary -> LPAREN, Expression, RPAREN
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; }
            break;

            case 94: // ComplexPrimary -> ComplexPrimaryNoParenthesis
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 95: // ComplexPrimaryNoParenthesis -> LITERAL
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 96: // ComplexPrimaryNoParenthesis -> Number
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 97: // ComplexPrimaryNoParenthesis -> FieldAccess
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 98: // ComplexPrimaryNoParenthesis -> MethodCall
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 99: // FieldAccess -> NotJustName, PERIOD, Identifier
            { CurrentSemanticValue = new Identifier("Not Implemented: FieldAccess"); }
            break;

            case 100: // MethodCall -> MethodReference, LPAREN, ArgumentList, RPAREN
            { CurrentSemanticValue = new MethodCall(ValueStack[ValueStack.Depth - 4], ValueStack[ValueStack.Depth - 2]); }
            break;

            case 101: // MethodCall -> MethodReference, LPAREN, RPAREN
            { CurrentSemanticValue = new MethodCall(ValueStack[ValueStack.Depth - 3]); }
            break;

            case 109: // Identifier -> IDENTIFIER
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;

            case 110: // Number -> INT_NUMBER
            { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; }
            break;
            }
#pragma warning restore 162, 1522
        }
Exemple #4
0
 //loop statement - check if children are correct and then do boolean check
 public void VisitNode(IterationStatement node)
 {
     VisitChildren(node);
     BooleanCheck(node.Child);
 }