method_param_list			::= 	method_param_list:md_para_lst COMMA method_param:md_para 			{:  RESULT = new MdParaList((MdPara)md_para,(MdParaList)md_para_lst); :}			|	method_param:md_para 				{:  RESULT = new MdParaList((MdPara)md_para,null); :}				;method_param::=	type:t ID:id			{: //if(debug) System.out.println("At Line ("+lineleft+"): method_param -> int/boolean ");				IDDescriptor idd = new IDDescriptor(id, parser.curType); idd.setOffset(parser.curOffset); parser.curOffset += 4;				idd.assertParamDescriptor();				parser.curST.addDescriptor(idd);				//parser.curST.addDescriptor(new IDDescriptor(id, parser.curType));			 RESULT = new MdPara((Typ)t,new Identifier(id, sym.NO_TYPE)); 		:}		;/**************************************************************************************/block		::= 	LCURLY:line			{: 				if(debug) System.out.println("At Line ("+lineleft+"): block ->  { }");				parser.curScopeST = parser.curST;				parser.curST = new SymbolTable(); parser.curST.setParent(parser.curScopeST);			:}				var_decl_list:var_decl_lst {:  parser.curScopeST.addChild(parser.curST); :}/*parser.curScopeST = parser.curST; :}*/				statement_list:stm_lst			RCURLY:blkline			{:				parser.curST = parser.curScopeST; parser.curScopeST = parser.curST.getParent();				RESULT = new Block(var_decl_lst==null?null:((VarDeclList)var_decl_lst).reverse(),stm_lst==null?null:((StmtList)stm_lst).reverse(), blklineleft); 			:};var_decl_list	::=	var_decl_list:var_lst var_decl:var                        {:  RESULT = new VarDeclList((VarDecl)var,(VarDeclList)var_lst); :}			|	empty				;var_decl		::=	type:t local_var_list:lc_var SEMI:line                                {: 					if(debug) System.out.println("At Line ("+lineleft+"): var_decl ->  int/boolean");					RESULT = new VarDecl((Typ)t,((LocVarList)lc_var).reverse()); 				:};local_var_list	::=	local_var_list:lc_var_lst COMMA local_var:lc_var                        {:  RESULT = new LocVarList((LocVar)lc_var,(LocVarList)lc_var_lst); :}			|	local_var:lc_var                        {:  RESULT = new LocVarList((LocVar)lc_var,null); :};local_var ::= ID:id 		{:	IDDescriptor idd = new IDDescriptor(id, parser.curType); idd.setOffset(parser.curOffset); parser.curOffset += 4;			parser.curST.addDescriptor(idd); 			RESULT = new LocVar(new Identifier(id, sym.NO_TYPE)); 		:};/*************************************************************************************************/statement_list	::=	statement_list:stm_lst statement:stm {:  RESULT = new StmtList((Stmt)stm,(StmtList)stm_lst); :}			|	empty				;statement	::=	location:l ASSIGN expr:e SEMI:line                        {: 				if(debug) System.out.println("At Line ("+lineleft+"): statement ->  location=expr"); 				if(l instanceof LocationId){					IDDescriptor idd = parser.curST.lookup_var(((LocationId)l).identifier_.identifier_);					if(idd.getType() != sym.ERROR_TYPE)						idd.assertInitialized();																									}				RESULT = new StmtLocation((Location)l, convPos((Exp)e,eleft)); //				System.out.println("Done with StmtLocation");			:}			|	method_call:m SEMI:line                        {: 				if(debug) System.out.println("At Line ("+lineleft+"): statement ->  method_call"); 				RESULT = new StmtMdCall((MdCall)m); 			:}			|	IF:line                        {: 				if(debug) System.out.println("At Line ("+lineleft+"): statement ->  if_elsel"); 			:}					LPAREN expr:e RPAREN 			{:						   Exp exp_ = (Exp)e;				  	   if(exp_.noError() &&  exp_.getType()!=sym.BOOLEAN)   	   				   	ErrorLog.log("Boolean type expected for IF condition");			:}				block:b1 else_content:b2			{:								RESULT = new StmtIfElse(convPos((Exp)e,eleft), (Block)b1, (Block)b2); 							:}						|	WHILE:line                        {: 				if(debug) System.out.println("At Line ("+lineleft+"): statement ->  while_loop"); 			:}					LPAREN expr:e RPAREN 			{:	Exp exp_ = (Exp)e;	  	   		if(exp_.noError() && exp_.getType()!=sym.BOOLEAN)   	   				ErrorLog.log("Boolean type expected in WHILE loop condition");			:}			block:b			{:						RESULT = new StmtWhileLoop(convPos((Exp)e,eleft), (Block)b); 						:}						|	FOR:line                        {: 				if(debug) System.out.println("At Line ("+lineleft+"): statement ->  for_loop"); 			:}					LPAREN ID:idt ASSIGN expr:e1 						{:	IDDescriptor idd = parser.curST.lookup_var(idt);							if(idd.getType() != sym.ERROR_TYPE)	idd.assertInitialized();								//check only, not instantiation							Identifier identifier1_ = new Identifier(idt, idd.getType()); //redundant just for semantic check						  	if(identifier1_.noError() && identifier1_.getType()!=sym.INT)						  	   	ErrorLog.log("for loop: '"+identifier1_.identifier_+"' must be an Integer type");						  	Exp exp1_ = (Exp)e1;						  	if(exp1_.noError() && exp1_.getType()!=sym.INT) 						  	   	ErrorLog.log("for loop: Integer assignment expected for '"+identifier1_.identifier_+"'");													:}					SEMI expr:e2 SEMI 					{:							Exp exp2_ = (Exp)e2;					  	   	if(exp2_.noError() && exp2_.getType()!=sym.BOOLEAN) 					  	   		ErrorLog.log("for loop: Boolean type expected for FOR loop condition");					:}					ID:id2 ASSIGN expr:e3						{:	IDDescriptor idd = parser.curST.lookup_var(id2);							if(idd.getType() != sym.ERROR_TYPE)	idd.assertInitialized();								//check only, not instantiation							Identifier identifier3_ = new Identifier(idt, idd.getType()); //redundant just for semantic check						  	if(identifier3_.noError() && identifier3_.getType()!=sym.INT) 						  	   	ErrorLog.log("for loop: '"+identifier3_.identifier_+"' must be an Integer type");   						  	Exp exp3_ = (Exp)e3;  	   						if(exp3_.noError() && exp3_.getType()!=sym.INT)   	   							ErrorLog.log("for loop: Integer assignment expected for '"+identifier3_.identifier_+"'");																:} 					RPAREN  block:b			{:				//int t1 = parser.curST.lookup_var(idt);				IDDescriptor idd1 = parser.curST.lookup_var(idt);				//int t2 = parser.curST.lookup_var(id2);				IDDescriptor idd2 =parser.curST.lookup_var(id2);				RESULT = new StmtForLoop(new Identifier(idt, idd1.getType(), idd1.getOffset(), idd1.isGlobal(), idd1.isParam()), convPos((Exp)e1,e1left), convPos((Exp)e2,e2left), new Identifier(id2, idd2.getType(), idd2.getOffset(), idd2.isGlobal(), idd2.isParam()), convPos((Exp)e3,e3left), (Block)b); 			:}			|	RETURN:line                        {: 				if(debug) System.out.println("At Line ("+lineleft+"): statement ->  return"); 			:}					return_content:e SEMI                        {:  				RESULT = new StmtReturn((Exp)e); 			:}			|	block:b 			{:  				RESULT = new StmtBlock((Block)b); 			:}			|	error				;else_content	::=	ELSE:line				{: 					if(debug) System.out.println("At Line ("+lineleft+"): statement ->  else"); 				:}				block:b {:  RESULT = b; :}			|	empty				;return_content::=	expr:e {: 					parser.curMD.checkMethodType(((Exp)e).getType());										RESULT = convPos((Exp)e,eleft); :}			|	empty {:					parser.curMD.checkMethodType(sym.VOID);				:}				;location		::=	ID:id {:  //int t = parser.curST.lookup_var(id); 				IDDescriptor idd = parser.curST.lookup_var(id);			 RESULT = new LocationId( new Identifier(id, idd.getType(), idd.getOffset(), idd.isGlobal(), idd.isParam())); 			 //System.out.println("Catched type: " + id + ": " + SymbolTable.getTypeName(t));			 :}			|	ID:idtd	LSQUARE expr:e RSQUARE {:					int i = 0;					Exp e_cov =convPos((Exp)e,eleft);					if (e_cov instanceof LtrInt){						int index = ((LtrInt)e_cov).ltrInt_;						//System.out.println("Index = "+i);						//Vinh The's table lookup here!!!!!!!!!!!					}			  					//int t = parser.curST.lookup_array(idtd, i);					IDDescriptor idd = parser.curST.lookup_array(idtd, i);					//System.out.println("===============>> Perform an array index range check for direct integers");															RESULT = new LocationArray(new Identifier(idtd, idd.getType(),idd.getOffset(), true, false), e_cov); :}				;expr			::=	location:l                                {:                                  // System.out.println("Catched expr -> location: " + ((Location)l).getType());                                                                                                 	if(l instanceof LocationId){							IDDescriptor idd = parser.curST.lookup_var(((LocationId)l).identifier_.identifier_);							if(idd.getType() != sym.ERROR_TYPE){								if(!idd.isInitialized()){									System.out.println(parser.infile+":" + Scanner.lineno + 										": WARNING: local variable '" + ((LocationId)l).identifier_.identifier_ + "' used without initialization");									ClassProgram.numOfWarning++;								}							}						}		                                RESULT = (Location)l;                                                                 :}			|	method_call:mdc                                {:  RESULT = (MdCall)mdc; :}			|	literal:lit                                {:  RESULT = (Literal)lit; :}			|	expr_bin_op_expr:e                                {:  RESULT = (Exp)e; :}		        |     MINUS expr:e {:  RESULT = convNeg((Exp)e, eleft); :}		              %prec UMINUS			|	LPAREN expr:e1 RPAREN                                {:  RESULT = convPos((Exp)e1,e1left); :}				;literal		::=	INTLIT:i {:  RESULT = new LtrInt(i); :}			| 	CHARLIT:c {:  RESULT = new LtrChar((Character)c); :}			| 	bool_literal:bl {: RESULT = bl; :}				;expr_bin_op_expr			::=	expr:e1 SHIFTLEFT expr:e2                                {:  RESULT = new ExpShiftLeft(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 SHIFTRIGHT expr:e2                                {:  RESULT = new ExpShiftRight(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 PLUS expr:e2                                {:  RESULT = new ExpPlus(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 MINUS expr:e2                                {:  RESULT = new ExpMinus(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 MULT expr:e2                                {:  RESULT = new ExpTimes(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 DIVIDE expr:e2                                {:  RESULT = new ExpDivide(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 MOD expr:e2                                {:  RESULT = new ExpMod(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 LESSTHAN expr:e2                                {:  RESULT = new ExpLessThan(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 GREATERTHAN expr:e2                                {:  RESULT = new ExpGreaterThan(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 LTOE expr:e2                                {:  RESULT = new ExpLessThEql(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 GTOE expr:e2                                {:  RESULT = new ExpGreaterThEql(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 EQUAL expr:e2                                {:  RESULT = new ExpEqualTo(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 NOTEQUAL expr:e2                                {:  RESULT = new ExpNotEqualTo(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}			|	expr:e1 AND expr:e2                                {:  RESULT = new ExpAndOp(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :}                        |	expr:e1 OR expr:e2                                {:  RESULT = new ExpOrOp(convPos((Exp)e1,e1left), convPos((Exp)e2,e2left)); :};bool_literal	::=	BOOLTRUE  {:  RESULT = new LtrBoolTrue(); :}                      | BOOLFALSE {:  RESULT = new LtrBoolFalse(); :};method_call	::=	ID:id LPAREN method_call_content:mcl RPAREN                        {:                          	ExpList mcl_rev = mcl==null?null:((ExpList)mcl).reverse();                        	int t = parser.classProgram.methods.lookup_method(id, mcl_rev);                        	RESULT = new MdCallIn(new Identifier(id, sym.NO_TYPE), mcl_rev, t);                         	                        	:}			|	CALLOUT LPAREN STRINGLIT:stlit callout_content:clc RPAREN                        {:  RESULT = new MdCallOut(new LtrString(stlit), clc==null?null:((CallOutArgList)clc).reverse()); :}			;method_call_content			::=	expr_list:el {:  RESULT = el; :}			|	empty				;callout_content::=	COMMA callout_arg_list:cal {:  RESULT = cal; :}			|	empty				;expr_list		::=	expr_list:el COMMA expr:e {:  RESULT = new ExpList(convPos((Exp)e,eleft),(ExpList)el); :}			|	expr:e {:  RESULT = new ExpList(convPos((Exp)e,eleft),null); :}				;callout_arg_list::=	callout_arg_list:calst COMMA callout_arg:cal {:  RESULT = new CallOutArgList((CallOutArg)cal,(CallOutArgList)calst); :}			|	callout_arg:c {:  RESULT = new CallOutArgList((CallOutArg)c,null); :}				;callout_arg	::=	expr:e {:  RESULT = new CallOutArgExp(convPos((Exp)e,eleft)); :}			| STRINGLIT:stlit {:  RESULT = new CallOutArgStr(new LtrString(stlit)); :}				;empty 		::= /* nothing */;