public override void Visit(IdentifierExpressionNode node) { var ident = node.IdentifierToken; if (!ident.IsMissing) { if (!ident.Text.StartsWith('_')) { var sym = _scope.Resolve(ident.Text); if (sym != null) { node.SetAnnotation("Symbol", sym); } else { Error(node, SyntaxDiagnosticKind.UnknownValueName, ident.Location, $"Unknown declaration or value name '{ident}'"); } } else { Error(node, SyntaxDiagnosticKind.DiscardedVariableUsed, ident.Location, $"Use of discarded variable name '{ident}'"); } } base.Visit(node); }
private StatementNode?ParseExpressionStatement(ref int index) { ExpressionNode?expression = expressionParser.ParseNextExpression(ref index); if (expression == null) { return(null); } return(expression switch { FunctionCallExpressionNode functionCall => ParseFunctionCallStatement(functionCall, ref index), IdentifierExpressionNode identifierExpression => ParseVariableAssignmentStatement(ref index, identifierExpression.IdentifierNode, expression), _ => Error(), });
// private void OptionalFunctCall() // { // printDebug("Optional Funct Call"); // if (Match(TokenType.PAREN_OPEN)) // { // MatchExactly(TokenType.PAREN_OPEN); // ArgumentList(); // MatchExactly(TokenType.PAREN_CLOSE); // } // else // { // // epsilon // } // } private ExpressionNode InstanceExpression() { printDebug("Instance Expression"); var new_left = new IdentifierExpressionNode(); if (Match(TokenType.ID)) { var id = ConsumeToken(); var x = new List <Token>(); x.Add(id); IdentifierAttribute(ref x); var type = new IdentifierTypeNode(new IdentifierNode(x)) as TypeDeclarationNode; return(InstanceExpressionFactorized(ref type)); // return new InstanceExpressionNode(type, initializer); } else { var type = TypeDetector(ConsumeToken().type, new IdentifierNode()); return(InstanceExpressionFactorized(ref type)); // return new InstanceExpressionNode(type, initializer); } }
private TypeSymbolNode?BindIdentifierExpression(IdentifierExpressionNode identifierExpression, VariableIdentifierMap variableIdentifierMap) { SymbolNode?symbol = GetExpressionSymbol(identifierExpression.Identifier, variableIdentifierMap); if (symbol == null) { ErrorProvider.ReportError(ErrorCode.CantFindIdentifierInScope, Compilation, identifierExpression); return(null); } identifierExpression.Bind(symbol); switch (symbol) { case VariableSymbolNode variable: { TypeSymbolNode?variableType = variable.TypeNode; Debug.Assert(variableType != null); return(variableType); } case ConstantSymbolNode constant: return(constant.Type); case FunctionSymbolNode: ErrorProvider.ReportError(ErrorCode.FunctionNotValidInContext, Compilation, identifierExpression); return(null); default: Debug.Fail(message: "A type was forgotten..."); return(null); } }
public override void Visit(IdentifierExpressionNode node) { GetValueOfIdentifier(node.identifier.name, "eax"); }
public override void Visit(IdentifierExpressionNode node) { node.ExpressionType = LookupSymbolType(node.identifier.name); }
public override void Visit(IdentifierExpressionNode node) { Console.WriteLine(this.indentation + "Identifier: " + node.identifier.name); }
public override PapyrusType VisitIdentifierExpression(IdentifierExpressionNode node) { return(node.Identifier.GetDeclaredOrReferencedSymbol()?.GetPapyrusType()); }
Expression Analyze(IdentifierExpressionNode node, Expression value = null) { var searchResult = _analysisContext.TopSymbolTable.FindInScopeTree(node.Identifier.Text); if (searchResult == null) { _analysisContext.ErrorCollector.UndefinedVariable(node.Identifier); return Expression.Empty(); } return value == null ? searchResult.GetGetExpression() : searchResult.GetSetExpression(value); }
public override void Visit(IdentifierExpressionNode node) { base.Visit(node); _result = this.Analyze(node); }
protected override void DoAction(int action) { switch (action) { case 2: // Program -> MainClassDecl, ClassDeclList_Opt { CurrentSemanticValue = new ProgramNode((MainClassDeclNode)ValueStack[ValueStack.Depth - 2], (ClassDeclListNode)ValueStack[ValueStack.Depth - 1], LineNumber); Analysis.AST = (ProgramNode)CurrentSemanticValue; } break; case 3: // MainClassDecl -> ClassKeyword, Identifier, CurlyBracketOpen, PublicKeyword, // StaticKeyword, VoidKeyword, MainKeyword, RoundBracketOpen, // StringKeyword, SquareBracketOpen, SquareBracketClose, // Identifier, RoundBracketClose, CurlyBracketOpen, Statement, // CurlyBracketClose, CurlyBracketClose { CurrentSemanticValue = new MainClassDeclNode((IdentifierNode)ValueStack[ValueStack.Depth - 16], (IdentifierNode)ValueStack[ValueStack.Depth - 6], (StatementNode)ValueStack[ValueStack.Depth - 3], LineNumber); } break; case 4: // ClassDeclList_Opt -> ClassDeclList_Opt, ClassDecl { ((ClassDeclListNode)ValueStack[ValueStack.Depth - 2]).AddClassDecl((ClassDeclNode)ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; } break; case 5: // ClassDeclList_Opt -> /* empty */ { CurrentSemanticValue = new ClassDeclListNode(LineNumber); } break; case 6: // ClassDecl -> ClassKeyword, Identifier, Extends_Opt, CurlyBracketOpen, // VariableDeclList_Opt, MethodDeclList_Opt, CurlyBracketClose { CurrentSemanticValue = new ClassDeclNode((IdentifierNode)ValueStack[ValueStack.Depth - 6], (ExtendsNode)ValueStack[ValueStack.Depth - 5], (VariableDeclListNode)ValueStack[ValueStack.Depth - 3], (MethodDeclListNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 7: // Extends_Opt -> ExtendsKeyword, Identifier { CurrentSemanticValue = new ExtendsNode((IdentifierNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 9: // MethodDeclList_Opt -> MethodDeclList_Opt, MethodDecl { ((MethodDeclListNode)ValueStack[ValueStack.Depth - 2]).AddMethodDecl((MethodDeclNode)ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; } break; case 10: // MethodDeclList_Opt -> /* empty */ { CurrentSemanticValue = new MethodDeclListNode(LineNumber); } break; case 11: // MethodDecl -> PublicKeyword, Type, Identifier, RoundBracketOpen, // ParamDeclList_Opt, RoundBracketClose, CurlyBracketOpen, // VariableDeclList_Opt, StatementListEndingInReturn, // CurlyBracketClose { ((StatementListNode)ValueStack[ValueStack.Depth - 2]).statementList.Reverse(); CurrentSemanticValue = new MethodDeclNode((TypeNode)ValueStack[ValueStack.Depth - 9], (IdentifierNode)ValueStack[ValueStack.Depth - 8], (ParamDeclListNode)ValueStack[ValueStack.Depth - 6], (VariableDeclListNode)ValueStack[ValueStack.Depth - 3], (StatementListNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 12: // VariableDeclList_Opt -> VariableDeclList_Opt, VariableDecl { ((VariableDeclListNode)ValueStack[ValueStack.Depth - 2]).AddVariableDecl((VariableDeclNode)ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; } break; case 13: // VariableDeclList_Opt -> /* empty */ { CurrentSemanticValue = new VariableDeclListNode(LineNumber); } break; case 14: // VariableDecl -> Type, Identifier, SemiColon { CurrentSemanticValue = new VariableDeclNode((TypeNode)ValueStack[ValueStack.Depth - 3], (IdentifierNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 15: // StatementListEndingInReturn -> Statement, StatementListEndingInReturn { ((StatementListNode)ValueStack[ValueStack.Depth - 1]).AddStatement((StatementNode)ValueStack[ValueStack.Depth - 2]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; } break; case 16: // StatementListEndingInReturn -> ReturnKeyword, Expr, SemiColon { CurrentSemanticValue = new StatementListNode(LineNumber); ((StatementListNode)CurrentSemanticValue).AddStatement(new ReturnStatementNode((ExpressionNode)ValueStack[ValueStack.Depth - 2], LineNumber)); } break; case 17: // ParamDeclList_Opt -> Type, Identifier, ParamDeclListRest_Opt { ((ParamDeclListNode)ValueStack[ValueStack.Depth - 1]).paramDeclList.Reverse(); ((ParamDeclListNode)ValueStack[ValueStack.Depth - 1]).AddParamDecl(new ParamDeclNode((TypeNode)ValueStack[ValueStack.Depth - 3], (IdentifierNode)ValueStack[ValueStack.Depth - 2], LineNumber)); ((ParamDeclListNode)ValueStack[ValueStack.Depth - 1]).paramDeclList.Reverse(); CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; } break; case 19: // ParamDeclListRest_Opt -> ParamDeclListRest_Opt, Comma, Type, Identifier { ((ParamDeclListNode)ValueStack[ValueStack.Depth - 4]).AddParamDecl(new ParamDeclNode((TypeNode)ValueStack[ValueStack.Depth - 2], (IdentifierNode)ValueStack[ValueStack.Depth - 1], LineNumber)); CurrentSemanticValue = ValueStack[ValueStack.Depth - 4]; } break; case 20: // ParamDeclListRest_Opt -> /* empty */ { CurrentSemanticValue = new ParamDeclListNode(LineNumber); } break; case 21: // Type -> IntKeyword, SquareBracketOpen, SquareBracketClose { CurrentSemanticValue = new IntegerArrayTypeNode(LineNumber); } break; case 22: // Type -> IntKeyword { CurrentSemanticValue = new IntegerTypeNode(LineNumber); } break; case 23: // Type -> BooleanKeyword { CurrentSemanticValue = new BooleanTypeNode(LineNumber); } break; case 24: // Type -> Identifier { CurrentSemanticValue = new IdentifierTypeNode(((IdentifierNode)ValueStack[ValueStack.Depth - 1]).name, LineNumber); } break; case 25: // Statement -> CurlyBracketOpen, StatementList_Opt, CurlyBracketClose { CurrentSemanticValue = new StatementBlockNode((StatementListNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 26: // Statement -> IfKeyword, RoundBracketOpen, Expr, RoundBracketClose, Statement, // ElseKeyword, Statement { CurrentSemanticValue = new IfStatementNode((ExpressionNode)ValueStack[ValueStack.Depth - 5], (StatementNode)ValueStack[ValueStack.Depth - 3], (StatementNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 27: // Statement -> WhileKeyword, RoundBracketOpen, Expr, RoundBracketClose, Statement { CurrentSemanticValue = new WhileStatementNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (StatementNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 28: // Statement -> SystemOutPrintLnKeyword, RoundBracketOpen, Expr, RoundBracketClose, // SemiColon { CurrentSemanticValue = new SystemOutPrintLnStatementNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], LineNumber); } break; case 29: // Statement -> Identifier, EqualsOperator, Expr, SemiColon { CurrentSemanticValue = new AssignmentStatementNode((IdentifierNode)ValueStack[ValueStack.Depth - 4], (ExpressionNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 30: // Statement -> Identifier, Dot, Identifier, EqualsOperator, Expr, SemiColon { CurrentSemanticValue = new FieldAssignmentStatementNode((IdentifierNode)ValueStack[ValueStack.Depth - 6], (IdentifierNode)ValueStack[ValueStack.Depth - 4], (ExpressionNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 31: // Statement -> Identifier, SquareBracketOpen, Expr, SquareBracketClose, // EqualsOperator, Expr, SemiColon { CurrentSemanticValue = new ArrayAssignmentStatementNode((IdentifierNode)ValueStack[ValueStack.Depth - 7], (ExpressionNode)ValueStack[ValueStack.Depth - 5], (ExpressionNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 32: // Statement -> error, SemiColon { CurrentSemanticValue = new StatementBlockNode(new StatementListNode(LineNumber), LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 33: // Statement -> error, CurlyBracketClose { CurrentSemanticValue = new StatementBlockNode(new StatementListNode(LineNumber), LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 34: // StatementList_Opt -> StatementList_Opt, Statement { ((StatementListNode)ValueStack[ValueStack.Depth - 2]).AddStatement((StatementNode)ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; } break; case 35: // StatementList_Opt -> /* empty */ { CurrentSemanticValue = new StatementListNode(LineNumber); } break; case 36: // Expr -> RoundBracketOpen, Expr, RoundBracketClose { CurrentSemanticValue = ValueStack[ValueStack.Depth - 2]; } break; case 37: // Expr -> NotOperator, Expr { CurrentSemanticValue = new NotExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 38: // Expr -> NewKeyword, IntKeyword, SquareBracketOpen, Expr, SquareBracketClose { CurrentSemanticValue = new NewIntegerArrayExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 39: // Expr -> NewKeyword, Identifier, RoundBracketOpen, RoundBracketClose { CurrentSemanticValue = new NewObjectExpressionNode((IdentifierNode)ValueStack[ValueStack.Depth - 3], LineNumber); } break; case 40: // Expr -> Expr, AndAndOperator, Expr { CurrentSemanticValue = new AndExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (ExpressionNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 41: // Expr -> Expr, LessThanOperator, Expr { CurrentSemanticValue = new LessThanExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (ExpressionNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 42: // Expr -> Expr, AddOperator, Expr { CurrentSemanticValue = new AddExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (ExpressionNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 43: // Expr -> Expr, SubtractOperator, Expr { CurrentSemanticValue = new SubtractExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (ExpressionNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 44: // Expr -> Expr, MultiplyOperator, Expr { CurrentSemanticValue = new MultiplyExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (ExpressionNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 45: // Expr -> Expr, SquareBracketOpen, Expr, SquareBracketClose { CurrentSemanticValue = new ArrayLookupExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 4], (ExpressionNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 46: // Expr -> Expr, Dot, LengthKeyword { CurrentSemanticValue = new LengthExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], LineNumber); } break; case 47: // Expr -> Expr, Dot, Identifier { CurrentSemanticValue = new FieldAccessExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 3], (IdentifierNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 48: // Expr -> Expr, Dot, Identifier, RoundBracketOpen, ExprList_Opt, // RoundBracketClose { CurrentSemanticValue = new MethodCallExpressionNode((ExpressionNode)ValueStack[ValueStack.Depth - 6], (IdentifierNode)ValueStack[ValueStack.Depth - 4], (ExpressionListNode)ValueStack[ValueStack.Depth - 2], LineNumber); } break; case 49: // Expr -> ThisKeyword { CurrentSemanticValue = new ThisExpressionNode(LineNumber); } break; case 50: // Expr -> Identifier { CurrentSemanticValue = new IdentifierExpressionNode((IdentifierNode)ValueStack[ValueStack.Depth - 1], LineNumber); } break; case 51: // Expr -> IntegerConstant { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; } break; case 52: // Expr -> TrueKeyword { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; } break; case 53: // Expr -> FalseKeyword { CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; } break; case 54: // Expr -> error, IntegerConstant { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 55: // Expr -> error, TrueKeyword { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 56: // Expr -> error, FalseKeyword { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 57: // Expr -> error, Identifier { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 58: // Expr -> error, ThisKeyword { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 59: // Expr -> error, SquareBracketClose { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 60: // Expr -> error, RoundBracketClose { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 61: // Expr -> error, LengthKeyword { CurrentSemanticValue = new InvalidExpressionNode(LineNumber); yyclearin(); Analysis.LogSyntaxError("Syntax error", LineNumber); } break; case 62: // ExprList_Opt -> Expr, ExprListRest_Opt { ((ExpressionListNode)ValueStack[ValueStack.Depth - 1]).expressionList.Reverse(); ((ExpressionListNode)ValueStack[ValueStack.Depth - 1]).AddExpression((ExpressionNode)ValueStack[ValueStack.Depth - 2]); ((ExpressionListNode)ValueStack[ValueStack.Depth - 1]).expressionList.Reverse(); CurrentSemanticValue = ValueStack[ValueStack.Depth - 1]; } break; case 63: // ExprList_Opt -> /* empty */ { new ExpressionListNode(LineNumber); } break; case 64: // ExprListRest_Opt -> ExprListRest_Opt, Comma, Expr { ((ExpressionListNode)ValueStack[ValueStack.Depth - 3]).AddExpression((ExpressionNode)ValueStack[ValueStack.Depth - 1]); CurrentSemanticValue = ValueStack[ValueStack.Depth - 3]; } break; case 65: // ExprListRest_Opt -> /* empty */ { CurrentSemanticValue = new ExpressionListNode(LineNumber); } break; } }
private List <ExpressionNode> PrimaryExpression() { printDebug("Primary Expression"); if (Match(TokenType.NEW_KEYWORD)) { ConsumeToken(); var left = InstanceExpression(); var right = PrimaryExpressionPrime(); var ret = new List <ExpressionNode>(); ret.Add(left); ret.AddRange(right); return(ret); } else if (MatchAny(this.literals)) { var token = ConsumeToken(); var left = new LiteralExpressionNode(token) as ExpressionNode; var right = PrimaryExpressionPrime(); var ret = new List <ExpressionNode>(); ret.Add(left); ret.AddRange(right); return(ret); } else if (Match(TokenType.ID)) { var token = ConsumeToken(); var left = new IdentifierExpressionNode(token) as ExpressionNode; var right = PrimaryExpressionPrime(); var ret = new List <ExpressionNode>(); if (right.Count > 0 && ( (right[0] is FunctionCallExpressionNode && ((FunctionCallExpressionNode)right[0]).identifier == null) || (right[0] is ArrayAccessExpressionNode && ((ArrayAccessExpressionNode)right[0]).identifier == null) || (right[0] is PostAdditiveExpressionNode && ((PostAdditiveExpressionNode)right[0]).indentifier == null) ) ) { if (right[0] is FunctionCallExpressionNode) { ((FunctionCallExpressionNode)right[0]).identifier = left; } else if (right[0] is ArrayAccessExpressionNode) { ((ArrayAccessExpressionNode)right[0]).identifier = left; } else { ((PostAdditiveExpressionNode)right[0]).indentifier = left; } } else { ret.Add(left); } ret.AddRange(right); return(ret); } else if (Match(TokenType.PAREN_OPEN)) { ConsumeToken(); var expr = Expression(); MatchExactly(TokenType.PAREN_CLOSE); var right = PrimaryExpressionPrime(); //REVISAR EL PRIMARY EXPRESSION PRIME if (right.Count > 0 && (right[0] is FunctionCallExpressionNode || right[0] is ArrayAccessExpressionNode || (right[0] is PostAdditiveExpressionNode))) { if (right[0] is FunctionCallExpressionNode) { ((FunctionCallExpressionNode)right[0]).identifier = expr; } else if (right[0] is ArrayAccessExpressionNode) { ((ArrayAccessExpressionNode)right[0]).identifier = expr; } else { ((PostAdditiveExpressionNode)right[0]).indentifier = expr; } return(right); } else { var internal_expression = new ParenthesizedExpressionNode(expr); var ret = new List <ExpressionNode>(); ret.Add(internal_expression); ret.AddRange(right); return(ret); } } else if (Match(TokenType.THIS_KEYWORD)) { var token = MatchExactly(TokenType.THIS_KEYWORD); var left = new ReferenceAccessNode(token) as ExpressionNode; var right = PrimaryExpressionPrime(); var ret = new List <ExpressionNode>(); ret.Add(left); ret.AddRange(right); return(ret); } else if (Match(TokenType.BASE_KEYWORD)) { var token = MatchExactly(TokenType.BASE_KEYWORD); var left = new ReferenceAccessNode(token) as ExpressionNode; var right = PrimaryExpressionPrime(); var ret = new List <ExpressionNode>(); ret.Add(left); ret.AddRange(right); return(ret); } else if (MatchAny(this.buildInTypes)) { var token = ConsumeToken(); var left = new BuiltInTypeExpressionNode(token) as ExpressionNode; var right = PrimaryExpressionPrime(); var ret = new List <ExpressionNode>(); ret.Add(left); ret.AddRange(right); return(ret); } else { ThrowSyntaxException("new, literal, identifier, '(' or 'this' expected"); return(null); } }
public virtual void Visit(IdentifierExpressionNode node) { }