stage3/lvalue_check.cc
changeset 526 6e610449861a
parent 525 77bff42a025e
child 527 1d83209aabfe
equal deleted inserted replaced
525:77bff42a025e 526:6e610449861a
   383 	/* We call visit r_exp to check function_call */
   383 	/* We call visit r_exp to check function_call */
   384 	symbol->r_exp->accept(*this);
   384 	symbol->r_exp->accept(*this);
   385 	return NULL;
   385 	return NULL;
   386 }
   386 }
   387 
   387 
       
   388 /*****************************************/
       
   389 /* B 3.2.2 Subprogram Control Statements */
       
   390 /*****************************************/
       
   391 void *lvalue_check_c::visit(fb_invocation_c *symbol) {
       
   392 	if (NULL != symbol->formal_param_list   )  check_formal_call   (symbol, symbol->called_fb_declaration);
       
   393 	if (NULL != symbol->nonformal_param_list)  check_nonformal_call(symbol, symbol->called_fb_declaration);
       
   394 	return NULL;
       
   395 }
       
   396 
   388 /********************************/
   397 /********************************/
   389 /* B 3.2.4 Iteration Statements */
   398 /* B 3.2.4 Iteration Statements */
   390 /********************************/
   399 /********************************/
   391 void *lvalue_check_c::visit(for_statement_c *symbol) {
   400 void *lvalue_check_c::visit(for_statement_c *symbol) {
   392 	control_variables.push_back(get_var_name_c::get_name(symbol->control_variable));
   401 	control_variables.push_back(get_var_name_c::get_name(symbol->control_variable));