public Node ParameterDeclaration() { var paramList = new ParameterDeclarationList(); while (CurrentToken == TokenCategory.IDENTIFIER) { var tempList = new VariableDeclarationList(); Node idToken = new Identifier() { AnchorToken = Expect(TokenCategory.IDENTIFIER) }; tempList.Add(idToken); while (CurrentToken == TokenCategory.COMMA) { Expect(TokenCategory.COMMA); tempList.Add(new Identifier() { AnchorToken = Expect(TokenCategory.IDENTIFIER) }); } Expect(TokenCategory.DECLARATION); var tipo = Type(); //declarationList.Add(Type()); foreach (var node in tempList) { tipo.Add(node); } paramList.Add(tipo); Expect(TokenCategory.ENDLINE); } return(paramList); }
/* * LL(1) Grammar: * PROGRAM ::= ("const" CONST_DECL+)? ("var" VAR_DECL+)? PROC_DECL* "program" STATEMENT* "end" ";" * CONST_DECL ::= IDENTIFIER ":=" LITERAL ";" * VAR_DECL ::= IDENTIFIER ("," IDENTIFIER)* ":" TYPE ";" * LITERAL ::= SIMPLE_LITERAL | LIST * SIMPLE_LITERAL ::= INTEGER_LITERAL | STRING_LITERAL | TRUE | FALSE * TYPE ::= SIMPLE_TYPE | LIST_TYPE * SIMPLE_TYPE ::= "integer" | "string" | "boolean" * LIST_TYPE ::= "list" "of" SIMPLE_TYPE * LIST ::= "{" (SIMPLE_LITERAL ("," SIMPLE_LITERAL )*)? "}" * PROC_DECL ::= "procedure" IDENTIFIER "(" PARAM_DECL* ")" (":" TYPE)? ";" ("const" CONST_DECL+)? ("var" VAR_DECL+)? "begin" STATEMENT* "end" ";" * PARAM_DECL ::= IDENTIFIER ("," IDENTIFIER)* ":" TYPE ";" * STATEMENT ::= (IDENTIFIER (ASS_STAT | CALL_STAT) ) | IF_STAT | LOOP_STAT | FOR_STAT | RET_STAT | EXIT_STAT * ASS_STAT ::= ("[" EXPR "]")? ":=" EXPR ";" * CALL_STAT ::= "(" (EXPR ("," EXPR)*)? ")" ";" * IF_STAT ::= "if" EXPR "then" STATEMENT* ("elseif" EXPR "THEN" STATEMENT*)* ("else" STATEMENT*)? "end" ";" * LOOP_STAT ::= "loop" STATEMENT* "end" ";" * FOR_STAT ::= "for" IDENTIFIER "in" EXPR "do" STATEMENT* "end" ";" * RET_STAT ::= "return" EXPR? ";" * EXIT_STAT ::= "exit" ";" * EXPR ::= LOGIC_EXPR * LOGIC_EXPR ::= REL_EXPR (LOGIC_OP REL_EXPR)* * LOGIC_OP ::= "and" | "or" | "xor" * REL_EXPR ::= SUM_EXPR (REL_OP SUM_EXPR)* * REL_OP ::= "=" | "<>" | "<" | ">" | "<=" | ">=" * SUM_EXPR ::= MUL_EXPR (SUM_OP MUL_EXPR)* * SUM_OP ::= "+" | "-" * MUL_EXPR ::= UN_EXPR (MUL_OP UN_EXPR)* * MUL_OP ::= "*" | "div" | "rem" * UN_EXPR ::= ("not" UN_EXPR) | ("-" UN_EXPR) | SIMP_EXPR * SIMP_EXPR ::= ("(" Expression ")" | (IDENTIFIER CALL?) | LITERAL ) ("[" EXPR "]")? * CALL ::= "(" (EXPR ("," EXPR)*)? ")" */ public Node Program() { var result = new Program(); var constantDeclarationList = new ConstantDeclarationList(); if (CurrentToken == TokenCategory.CONST) { Expect(TokenCategory.CONST); do { constantDeclarationList.Add(ConstantDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); } result.Add(constantDeclarationList); var variableDeclarationList = new VariableDeclarationList(); if (CurrentToken == TokenCategory.VAR) { Expect(TokenCategory.VAR); do { variableDeclarationList.Add(VariableDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); } result.Add(variableDeclarationList); var procedureDeclarationList = new ProcedureDeclarationList(); if (CurrentToken == TokenCategory.PROCEDURE) { do { procedureDeclarationList.Add(ProcedureDeclaration()); } while (CurrentToken == TokenCategory.PROCEDURE); } result.Add(procedureDeclarationList); Expect(TokenCategory.PROGRAM); var statementList = new StatementList(); while (firstOfStatement.Contains(CurrentToken)) { statementList.Add(Statement()); } result.Add(statementList); Expect(TokenCategory.END); Expect(TokenCategory.SEMICOLON); Expect(TokenCategory.EOF); return(result); }
public Node Program() { var constantList = new ConstantDeclarationList(); var varList = new VariableDeclarationList(); var procedureList = new ProcedureDeclarationList(); var stmtlist = new StatementList(); //IF-> do while because it's one or more times if (firstOfDeclaration.Contains(CurrentToken) && CurrentToken == TokenCategory.CONST) { constantList.AnchorToken = Expect(TokenCategory.CONST); do { constantList.Add(ConstantDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); } if (firstOfDeclaration.Contains(CurrentToken) && CurrentToken == TokenCategory.VAR) { varList.AnchorToken = Expect(TokenCategory.VAR); do { varList.Add(VariableDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); } //just while because it's zero or more times while (firstOfDeclaration.Contains(CurrentToken) && CurrentToken == TokenCategory.PROCEDURE) { procedureList.Add(ProcedureDeclaration()); } Expect(TokenCategory.PROGRAM); while (firstOfStatement.Contains(CurrentToken)) { stmtlist.Add(Statement()); } Expect(TokenCategory.END); Expect(TokenCategory.SEMICOLON); return(new Program() { constantList, varList, procedureList, stmtlist }); }
public Node VariableDeclaration() { var declarationList = new VariableDeclarationList(); declarationList.AnchorToken = Expect(TokenCategory.VAR); do { var tempList = new VariableDeclarationList(); var firstIdentifier = new Identifier() { AnchorToken = Expect(TokenCategory.IDENTIFIER) }; tempList.Add(firstIdentifier); //declarationList.Add(firstIdentifier); while (CurrentToken == TokenCategory.COMMA) { Expect(TokenCategory.COMMA); tempList.Add(new Identifier() { AnchorToken = Expect(TokenCategory.IDENTIFIER) }); } Expect(TokenCategory.DECLARATION); var tipo = Type(); Console.WriteLine("PERIQUEAR" + tipo); //declarationList.Add(Type()); foreach (var node in tempList) { tipo.Add(node); } declarationList.Add(tipo); Expect(TokenCategory.ENDLINE); } while (CurrentToken == TokenCategory.IDENTIFIER); return(declarationList); }
public Node ProcedureDeclaration() { var result = new ProcedureDeclaration() { AnchorToken = Expect(TokenCategory.PROCEDURE) }; result.Add(new Identifier() { AnchorToken = Expect(TokenCategory.IDENTIFIER) }); Expect(TokenCategory.PARENTHESIS_OPEN); var parameterList = new ParameterDeclarationList(); if (CurrentToken == TokenCategory.IDENTIFIER) { while (CurrentToken == TokenCategory.IDENTIFIER) { parameterList.Add(VariableDeclaration()); } } result.Add(parameterList); Expect(TokenCategory.PARENTHESIS_CLOSE); var type = new TypeNode(); if (CurrentToken == TokenCategory.COLON) { Expect(TokenCategory.COLON); if (CurrentToken != TokenCategory.LIST) { type.Add(SimpleType()); } else if (CurrentToken == TokenCategory.LIST) { type.Add(ListType()); } } result.Add(type); Expect(TokenCategory.SEMICOLON); var constantList = new ConstantDeclarationList(); if (firstOfDeclaration.Contains(CurrentToken) && CurrentToken == TokenCategory.CONST) { constantList.AnchorToken = Expect(TokenCategory.CONST); do { constantList.Add(ConstantDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); } result.Add(constantList); var variableList = new VariableDeclarationList(); if (firstOfDeclaration.Contains(CurrentToken) && CurrentToken == TokenCategory.VAR) { variableList.AnchorToken = Expect(TokenCategory.VAR); do { variableList.Add(VariableDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); } result.Add(variableList); Expect(TokenCategory.BEGIN); var statementList = new StatementList(); if (firstOfStatement.Contains(CurrentToken)) { while (firstOfStatement.Contains(CurrentToken)) { statementList.Add(Statement()); } } result.Add(statementList); Expect(TokenCategory.END); Expect(TokenCategory.SEMICOLON); return(result); }
public Node ProcedureDeclaration() { var result = new ProcedureDeclaration(); Expect(TokenCategory.PROCEDURE); result.AnchorToken = Expect(TokenCategory.IDENTIFIER); Expect(TokenCategory.LEFT_PAR); var parameterDeclarationList = new ParameterDeclarationList(); while (CurrentToken == TokenCategory.IDENTIFIER) { parameterDeclarationList.Add(ParameterDeclaration()); } result.Add(parameterDeclarationList); Expect(TokenCategory.RIGHT_PAR); if (CurrentToken == TokenCategory.COLON) { Expect(TokenCategory.COLON); result.Add(Type()); } Expect(TokenCategory.SEMICOLON); if (CurrentToken == TokenCategory.CONST) { var constantDeclarationList = new ConstantDeclarationList() { AnchorToken = Expect(TokenCategory.CONST) }; do { constantDeclarationList.Add(ConstantDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); result.Add(constantDeclarationList); } if (CurrentToken == TokenCategory.VAR) { var variableDeclarationList = new VariableDeclarationList() { AnchorToken = Expect(TokenCategory.VAR) }; do { variableDeclarationList.Add(VariableDeclaration()); } while (CurrentToken == TokenCategory.IDENTIFIER); result.Add(variableDeclarationList); } Expect(TokenCategory.BEGIN); var statementList = new StatementList(); while (firstOfStatement.Contains(CurrentToken)) { statementList.Add(Statement()); } result.Add(statementList); Expect(TokenCategory.END); Expect(TokenCategory.SEMICOLON); return(result); }