// Create as much of the parse tree as possible. public override int CreateParseSubTree(ref CLexicalAnalyzer plexAnal, ref CSymbolTable pSymbolTable) { CToken pToken = null; //try { //Munch a <FOR> if ((CLexicalAnalyzer.LEX_FAIL == plexAnal.GetNextToken(ref pToken, ref pSymbolTable)) || pToken == null || !pToken.IsFORStatement()) { //throw (C_UM_ERROR_INTERNALERR); } //Munch a <(> if ((CLexicalAnalyzer.LEX_FAIL == plexAnal.GetNextToken(ref pToken, ref pSymbolTable)) || pToken == null || !(pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_LPAREN)) { //ADD_ERROR(C_WHILE_ERROR_MISSINGLP); plexAnal.UnGetToken(); } //Munch a Initialization Statement... CParserBuilder builder = new CParserBuilder(); m_pInitializationStatement = (CAssignmentStatement)builder.CreateParser(ref plexAnal, STATEMENT_TYPE.STMT_asic); if (null != (m_pInitializationStatement)) { m_pInitializationStatement.CreateParseSubTree(ref plexAnal, ref pSymbolTable); } else { //Munch a <;> if ((CLexicalAnalyzer.LEX_FAIL == plexAnal.GetNextToken(ref pToken, ref pSymbolTable)) || pToken == null || !(pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_SEMICOLON)) { //ADD_ERROR(C_WHILE_ERROR_MISSINGLP); plexAnal.UnGetToken(); } } //Munch & Parse the expression. //we got to give the expression string to the expression parser. // CParserBuilder builder2 = new CParserBuilder(); CExpParser expParser = new CExpParser(); CGrammarNode pNode; pNode = builder2.CreateParser(ref plexAnal, STATEMENT_TYPE.STMT_asic); m_pExpression = null; m_pExpressionStatement = null; if (null != pNode) { expressionNodeType = pNode.GetNodeType(); if (expressionNodeType == GRAMMAR_NODE_TYPE.NODE_TYPE_ASSIGN) { expressionNodeType = GRAMMAR_NODE_TYPE.NODE_TYPE_ASSIGN; m_pExpressionStatement = (CAssignmentStatement)pNode; m_pExpressionStatement.CreateParseSubTree(ref plexAnal, ref pSymbolTable, STATEMENT_TYPE.STMT_asic); } else if (expressionNodeType == GRAMMAR_NODE_TYPE.NODE_TYPE_EXPRESSION) { expressionNodeType = GRAMMAR_NODE_TYPE.NODE_TYPE_EXPRESSION; m_pExpression = expParser.ParseExpression(ref plexAnal, ref pSymbolTable, STMT_EXPR_TYPE.EXPR_FOR); if (m_pExpression == null) { //ADD_ERROR(C_WHILE_ERROR_MISSINGEXP); } } else if (expressionNodeType == GRAMMAR_NODE_TYPE.NODE_TYPE_INVALID) { pToken = null; //try { if ((CLexicalAnalyzer.LEX_FAIL != (plexAnal.LookAheadToken(ref pToken))) && pToken != null) { if ((pToken.GetType() == RUL_TOKEN_TYPE.RUL_SYMBOL) && (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_SEMICOLON)) { // This code is to handle for(;;) for Yokagawa EJX expressionNodeType = GRAMMAR_NODE_TYPE.NODE_TYPE_EXPRESSION; CToken pToken2 = new CToken("1"); pToken2.SetType(RUL_TOKEN_TYPE.RUL_NUMERIC_CONSTANT); m_pExpression = new CPrimaryExpression(pToken2); } } } /* * catch (...) * { * } */ } } else { //ADD_ERROR(C_WHILE_ERROR_MISSINGSTMT); } //Munch a <;> if ((CLexicalAnalyzer.LEX_FAIL == plexAnal.GetNextToken(ref pToken, ref pSymbolTable)) || pToken == null || !(pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_SEMICOLON)) { //ADD_ERROR(C_WHILE_ERROR_MISSINGLP); plexAnal.UnGetToken(); } //Munch a Increment Statement... pNode = builder2.CreateParser(ref plexAnal, STATEMENT_TYPE.STMT_asic); m_pIncrementExpression = null; m_pIncrementStatement = null; if (null != pNode) { incrementNodeType = pNode.GetNodeType(); if (incrementNodeType == GRAMMAR_NODE_TYPE.NODE_TYPE_ASSIGN) { incrementNodeType = GRAMMAR_NODE_TYPE.NODE_TYPE_ASSIGN; m_pIncrementStatement = (CAssignmentStatement)pNode; m_pIncrementStatement.CreateParseSubTree(ref plexAnal, ref pSymbolTable, STATEMENT_TYPE.STMT_ASSIGNMENT_FOR); } else if (incrementNodeType == GRAMMAR_NODE_TYPE.NODE_TYPE_EXPRESSION) { incrementNodeType = GRAMMAR_NODE_TYPE.NODE_TYPE_EXPRESSION; m_pIncrementExpression = expParser.ParseExpression(ref plexAnal, ref pSymbolTable, STMT_EXPR_TYPE.EXPR_FOR); if (m_pIncrementExpression == null) { //ADD_ERROR(C_WHILE_ERROR_MISSINGEXP); } } } else { //ADD_ERROR(C_WHILE_ERROR_MISSINGSTMT); } //Munch a <)> if ((CLexicalAnalyzer.LEX_FAIL == plexAnal.GetNextToken(ref pToken, ref pSymbolTable)) || pToken == null || !(pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_RPAREN)) { //ADD_ERROR(C_WHILE_ERROR_MISSINGLP); plexAnal.UnGetToken(); } //Munch the statement CParserBuilder builder3 = new CParserBuilder(); m_pStatement = (CStatement)builder.CreateParser(ref plexAnal, STATEMENT_TYPE.STMT_asic); if (null != (m_pStatement)) { m_pStatement.CreateParseSubTree(ref plexAnal, ref pSymbolTable); } else { //ADD_ERROR(C_WHILE_ERROR_MISSINGSTMT); } return(1); } /* * catch (CRIDEError* perr) * { * pvecErrors.push_back(perr); * plexAnal.MovePast( * RUL_SYMBOL, * RUL_SEMICOLON, * pSymbolTable); * } * catch (...) * { * throw (C_UM_ERROR_UNKNOWNERROR); * } * return PARSE_FAIL; */ }
public CGrammarNode CreateParser(ref CLexicalAnalyzer plexAnal, STATEMENT_TYPE stmt_type) { CGrammarNode pNode = null; CToken pToken = null; if ((CLexicalAnalyzer.LEX_FAIL != (plexAnal.LookAheadToken(ref pToken))) && pToken != null) { if (((stmt_type == STATEMENT_TYPE.STMT_DECL) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && ((pToken.GetType() == RUL_TOKEN_TYPE.RUL_SYMBOL) && (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_SEMICOLON))) { pNode = new CEmptyStatement(); } else if ( ((stmt_type == STATEMENT_TYPE.STMT_DECL) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && ((pToken.GetType() == RUL_TOKEN_TYPE.RUL_SYMBOL) && (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_LPAREN)) ) { pNode = new CExpression(); } else if (((stmt_type == STATEMENT_TYPE.STMT_DECL) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && pToken.IsDeclaration()) //Declaration Statement { pNode = new CDeclaration(); } else if (((stmt_type == STATEMENT_TYPE.STMT_asic)) && (RUL_TOKEN_TYPE.RUL_KEYWORD == pToken.GetType()) && !pToken.IsIteration() && !pToken.IsFunctionToken()) { if (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_IF)// IF Selection Statement { pNode = new CSelectionStatement(); } else if (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_SWITCH)//SWITCH Statement { pNode = new CSwitchStatement(); } else if (RUL_TOKEN_TYPE.RUL_KEYWORD == pToken.GetType() && RUL_TOKEN_SUBTYPE.RUL_RULE_ENGINE == pToken.GetSubType()) //Rule Statement { pNode = new CRuleServiceStatement(); } else if (RUL_TOKEN_TYPE.RUL_KEYWORD == pToken.GetType() && RUL_TOKEN_SUBTYPE.RUL_BREAK == pToken.GetSubType()) //break Statement { pNode = new CBreakStatement(); } else if (RUL_TOKEN_TYPE.RUL_KEYWORD == pToken.GetType() && RUL_TOKEN_SUBTYPE.RUL_CONTINUE == pToken.GetSubType()) //continue Statement { pNode = new CContinueStatement(); } else if (RUL_TOKEN_TYPE.RUL_KEYWORD == pToken.GetType() && RUL_TOKEN_SUBTYPE.RUL_RETURN == pToken.GetSubType()) //continue Statement { pNode = new CReturnStatement(); } } else if (((stmt_type == STATEMENT_TYPE.STMT_ITERATION) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && pToken.IsIteration()) //Iteration Statement { if (pToken.IsWHILEStatement()) { pNode = new CIterationStatement(); } else if (pToken.IsDOStatement()) { pNode = new CIterationDoWhileStatement(); } else if (pToken.IsFORStatement()) { pNode = new CIterationForStatement(); } } else if (((stmt_type == STATEMENT_TYPE.STMT_ASSIGNMENT) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && (pToken.IsFunctionToken())) //Assignment Statement { pNode = new CExpression(); } else if (((stmt_type == STATEMENT_TYPE.STMT_ASSIGNMENT) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && (pToken.IsVariable() || pToken.IsArrayVar() || pToken.IsDDItem() ||//Added By Anil August 4 2005 pToken.IsOMToken() || pToken.IsNumeric() || pToken.IsConstant() || pToken.IsFunctionToken() || pToken.IsOperator() || ((pToken.GetType() == RUL_TOKEN_TYPE.RUL_SYMBOL) && (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_LPAREN)) )) //Assignment Statement { CToken pNewToken = null; //TSRPRASAD 09MAR2004 Fix the memory leaks */ bool bLineIsAssignment = false; if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ARITHMETIC_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_PLUS_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_MINUS_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_DIV_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_MOD_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_MUL_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_BIT_AND_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_BIT_OR_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_BIT_XOR_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_BIT_RSHIFT_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_BIT_LSHIFT_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } else if (plexAnal.ScanLineForToken(RUL_TOKEN_TYPE.RUL_ASSIGNMENT_OPERATOR, RUL_TOKEN_SUBTYPE.RUL_ASSIGN, ref pNewToken)) //TSRPRASAD 09MAR2004 Fix the memory leaks */ { bLineIsAssignment = true; } if (bLineIsAssignment) { pNode = new CAssignmentStatement(); } else { pNode = new CExpression(); } } else if (((stmt_type == STATEMENT_TYPE.STMT_ASSIGNMENT) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && pToken.IsFunctionToken()) //Assignment Statement { pNode = new CAssignmentStatement(); } else if (((stmt_type == STATEMENT_TYPE.STMT_COMPOUND) || (stmt_type == STATEMENT_TYPE.STMT_asic)) && pToken.IsCompound()) //Compound Statement { pNode = new CCompoundStatement(); } else if (((stmt_type == STATEMENT_TYPE.STMT_SERVICE) || (stmt_type == STATEMENT_TYPE.STMT_asic) || (stmt_type == STATEMENT_TYPE.STMT_ASSIGNMENT_FOR)) && pToken.IsService()) //Service Statement { pNode = new CServiceStatement(); } else if (((stmt_type == STATEMENT_TYPE.STMT_SELECTION)) && (RUL_TOKEN_TYPE.RUL_KEYWORD == pToken.GetType())) { if ((pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_CASE) || (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_DEFAULT))//CASE or DEFAULT Statement { pNode = new CCASEStatement(); } else if (pToken.GetSubType() == RUL_TOKEN_SUBTYPE.RUL_ELSE)//ELSE Statement { pNode = new CELSEStatement(); } } else { //error //the natural control flow is allowed to take care of this //erroneous condition. } } return(pNode); }