hys.tab.c

由matlab开发的hybrid系统的描述语言

{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(STATE_KIND, REAL_TYPE, * yyvsp[-1].string_v);
			s->set_minmaxeps(yyvsp[0].minmaxeps_v);
			s->set_declared(yylsp[-1].first_line);
		;
    break;}
case 56:
#line 462 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(STATE_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_minmaxeps(new Min_max_eps(new Number_expr(0.0, ((t_parser_input*)p_in)->globals), new Number_expr(1.0, ((t_parser_input*)p_in)->globals), NULL, ((t_parser_input*)p_in)->globals) );
		;
    break;}
case 57:
#line 469 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(STATE_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_minmaxeps(new Min_max_eps(new Number_expr(0.0, ((t_parser_input*)p_in)->globals), new Number_expr(1.0, ((t_parser_input*)p_in)->globals), NULL, ((t_parser_input*)p_in)->globals) );
		;
    break;}
case 58:
#line 478 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(INPUT_KIND, REAL_TYPE, * yyvsp[-1].string_v);
			s->set_minmaxeps(yyvsp[0].minmaxeps_v);
			s->set_declared(yylsp[-1].first_line);
		;
    break;}
case 59:
#line 485 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(INPUT_KIND, REAL_TYPE, * yyvsp[-1].string_v);
			s->set_minmaxeps(yyvsp[0].minmaxeps_v);
			s->set_declared(yylsp[-1].first_line);
		;
    break;}
case 60:
#line 494 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(INPUT_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_minmaxeps(new Min_max_eps(new Number_expr(0.0, ((t_parser_input*)p_in)->globals), new Number_expr(1.0, ((t_parser_input*)p_in)->globals), NULL, ((t_parser_input*)p_in)->globals) );			
		;
    break;}
case 61:
#line 501 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(INPUT_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_minmaxeps(new Min_max_eps(new Number_expr(0.0, ((t_parser_input*)p_in)->globals), new Number_expr(1.0, ((t_parser_input*)p_in)->globals), NULL, ((t_parser_input*)p_in)->globals) );
		;
    break;}
case 62:
#line 510 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(OUTPUT_KIND, REAL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
		;
    break;}
case 63:
#line 516 "hys.y"
{                                                  
			const Var_symbol *s;                             
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(OUTPUT_KIND, REAL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
		;
    break;}
case 64:
#line 524 "hys.y"
{                                                  
			const Var_symbol *s;                             
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(OUTPUT_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
		;
    break;}
case 65:
#line 530 "hys.y"
{                                                  
			const Var_symbol *s;                             
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(OUTPUT_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
		;
    break;}
case 70:
#line 546 "hys.y"
{ 
			const Param_symbol *s;
			s=(const Param_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(PARAM_KIND, REAL_TYPE, * yyvsp[-2].string_v);
			s->set_declared(yylsp[-2].first_line);
			s->set_value(yyvsp[0].real_expr_v);
		;
    break;}
case 71:
#line 553 "hys.y"
{ 
			const Param_symbol *s;
			s=(const Param_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(PARAM_KIND, REAL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_value(NULL);
		;
    break;}
case 72:
#line 562 "hys.y"
{ 
			const Param_symbol *s;
			s=(const Param_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(PARAM_KIND, BOOL_TYPE, * yyvsp[-2].string_v);
			s->set_value(new Number_expr(true, ((t_parser_input*)p_in)->globals));
			s->set_declared(yylsp[-2].first_line);
		;
    break;}
case 73:
#line 569 "hys.y"
{ 
			const Param_symbol *s;
			s=(const Param_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(PARAM_KIND, BOOL_TYPE, * yyvsp[-2].string_v);
			s->set_value(new Number_expr(false, ((t_parser_input*)p_in)->globals));
			s->set_declared(yylsp[-2].first_line);
		;
    break;}
case 74:
#line 581 "hys.y"
{ 
			const Var_symbol *s;
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(AUX_KIND, REAL_TYPE, * yyvsp[-1].string_v);
			s->set_minmaxeps(yyvsp[0].minmaxeps_v);
			s->set_declared(yylsp[-1].first_line);
		;
    break;}
case 75:
#line 588 "hys.y"
{                                                  
			const Var_symbol *s;                             
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(AUX_KIND, REAL_TYPE, * yyvsp[-1].string_v);
			s->set_minmaxeps(yyvsp[0].minmaxeps_v);
			s->set_declared(yylsp[-1].first_line);
		;
    break;}
case 76:
#line 597 "hys.y"
{                                                  
			const Var_symbol *s;                             
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(AUX_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_minmaxeps(new Min_max_eps(new Number_expr(0.0, ((t_parser_input*)p_in)->globals), new Number_expr(1.0, ((t_parser_input*)p_in)->globals), NULL, ((t_parser_input*)p_in)->globals) );
		;
    break;}
case 77:
#line 604 "hys.y"
{                                                  
			const Var_symbol *s;                             
			s=(const Var_symbol*)((t_parser_input*)p_in)->globals->symbol_table->create_symbol(AUX_KIND, BOOL_TYPE, * yyvsp[0].string_v);
			s->set_declared(yylsp[0].first_line);
			s->set_minmaxeps(new Min_max_eps(new Number_expr(0.0, ((t_parser_input*)p_in)->globals), new Number_expr(1.0, ((t_parser_input*)p_in)->globals), NULL, ((t_parser_input*)p_in)->globals) );
		;
    break;}
case 78:
#line 618 "hys.y"
{
			yyval.real_expr_v = new Number_expr(yyvsp[0].val, ((t_parser_input*)p_in)->globals);
			yyval.real_expr_v->set_source_line(yylsp[0].first_line);
			yyval.real_expr_v->set_source(yyval.real_expr_v->to_matlab());
		;
    break;}
case 79:
#line 624 "hys.y"
{
			yyvsp[0].param_symbol_v->set_used(yylsp[0].first_line);
			yyval.real_expr_v=new Parameter_expr(yyvsp[0].param_symbol_v, ((t_parser_input*)p_in)->globals);
			yyval.real_expr_v->set_source_line(yylsp[0].first_line);
			yyval.real_expr_v->set_source(yyvsp[0].param_symbol_v->get_name());			
		;
    break;}
case 80:
#line 631 "hys.y"
{
			yyvsp[0].var_symbol_v->set_used(yylsp[0].first_line);
			yyval.real_expr_v=new Variable_expr(yyvsp[0].var_symbol_v, ((t_parser_input*)p_in)->globals);
			yyval.real_expr_v->set_source_line(yylsp[0].first_line);
			yyval.real_expr_v->set_source(yyvsp[0].var_symbol_v->get_name());						
		;
    break;}
case 81:
#line 638 "hys.y"
{
                        yyval.real_expr_v = new Cast_log2real_expr(yyvsp[-1].logic_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-3].first_line);
			yyval.real_expr_v->set_source(string("(REAL ") + yyvsp[-1].logic_expr_v->get_source() + string(")"));

		;
    break;}
case 82:
#line 645 "hys.y"
{
			yyval.real_expr_v = new Plus_expr(yyvsp[-2].real_expr_v, yyvsp[0].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.real_expr_v->set_source(yyvsp[-2].real_expr_v->get_source() + string(" + ") + yyvsp[0].real_expr_v->get_source());			
		;
    break;}
case 83:
#line 651 "hys.y"
{
			yyval.real_expr_v = new Minus_expr(yyvsp[-2].real_expr_v, yyvsp[0].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.real_expr_v->set_source(yyvsp[-2].real_expr_v->get_source() + string(" - ") + yyvsp[0].real_expr_v->get_source());
		;
    break;}
case 84:
#line 657 "hys.y"
{
			yyval.real_expr_v = new Mult_expr(yyvsp[-2].real_expr_v, yyvsp[0].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.real_expr_v->set_source(yyvsp[-2].real_expr_v->get_source() + string(" * ") + yyvsp[0].real_expr_v->get_source());			
		;
    break;}
case 85:
#line 663 "hys.y"
{
			yyval.real_expr_v = new Div_expr(yyvsp[-2].real_expr_v, yyvsp[0].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.real_expr_v->set_source(yyvsp[-2].real_expr_v->get_source() + string(" / ") + yyvsp[0].real_expr_v->get_source());			
		;
    break;}
case 86:
#line 669 "hys.y"
{
			yyval.real_expr_v = new Log_expr(new Mult_expr(yyvsp[-2].real_expr_v, new Exp_expr(yyvsp[0].real_expr_v)));
      			yyval.real_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.real_expr_v->set_source(yyvsp[-2].real_expr_v->get_source() + string(" ^ ") + yyvsp[0].real_expr_v->get_source());			
		;
    break;}
case 87:
#line 675 "hys.y"
{
			yyval.real_expr_v = yyvsp[-1].real_expr_v;
      			yyval.real_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.real_expr_v->set_source(string("(") + yyvsp[-1].real_expr_v->get_source() + string(")") );
		;
    break;}
case 88:
#line 681 "hys.y"
{
			yyval.real_expr_v = new Neg_expr(yyvsp[0].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-1].first_line);
			yyval.real_expr_v->set_source(string("-") + yyvsp[0].real_expr_v->get_source());			
		;
    break;}
case 89:
#line 688 "hys.y"
{
			yyval.real_expr_v = new Cos_expr(yyvsp[-1].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-3].first_line);
			yyval.real_expr_v->set_source(string("cos(") + yyvsp[-1].real_expr_v->get_source() + string(")") );			
		;
    break;}
case 90:
#line 695 "hys.y"
{
			yyval.real_expr_v = new Exp_expr(yyvsp[-1].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-3].first_line);
			yyval.real_expr_v->set_source(string("exp(") + yyvsp[-1].real_expr_v->get_source() + string(")") );						
		;
    break;}
case 91:
#line 701 "hys.y"
{
			yyval.real_expr_v = new Sin_expr(yyvsp[-1].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-3].first_line);
			yyval.real_expr_v->set_source(string("sin(") + yyvsp[-1].real_expr_v->get_source() + string(")") );						
		;
    break;}
case 92:
#line 707 "hys.y"
{
			yyval.real_expr_v = new Sqrt_expr(yyvsp[-1].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-3].first_line);
			yyval.real_expr_v->set_source(string("sqrt(") + yyvsp[-1].real_expr_v->get_source() + string(")") );						
		;
    break;}
case 93:
#line 713 "hys.y"
{
			yyval.real_expr_v = new Log_expr(yyvsp[-1].real_expr_v);
      			yyval.real_expr_v->set_source_line(yylsp[-3].first_line);
			yyval.real_expr_v->set_source(string("log(") + yyvsp[-1].real_expr_v->get_source() + string(")") );						
		;
    break;}
case 94:
#line 725 "hys.y"
{
			yyval.logic_expr_v=new Number_expr(new Bool_number(true), ((t_parser_input*)p_in)->globals);
      			yyval.logic_expr_v->set_source_line(yylsp[0].first_line);
			yyval.logic_expr_v->set_source(string("TRUE"));
		;
    break;}
case 95:
#line 731 "hys.y"
{
			yyval.logic_expr_v=new Number_expr(new Bool_number(false), ((t_parser_input*)p_in)->globals);
      			yyval.logic_expr_v->set_source_line(yylsp[0].first_line);
			yyval.logic_expr_v->set_source(string("FALSE"));			
		;
    break;}
case 96:
#line 737 "hys.y"
{
			yyvsp[0].var_symbol_v->set_used(yylsp[0].first_line);
			yyval.logic_expr_v=new Variable_expr(yyvsp[0].var_symbol_v, ((t_parser_input*)p_in)->globals);
      			yyval.logic_expr_v->set_source_line(yylsp[0].first_line);
			yyval.logic_expr_v->set_source(yyvsp[0].var_symbol_v->get_name());			
		;
    break;}
case 97:
#line 744 "hys.y"
{
			yyval.logic_expr_v = new Or_expr(yyvsp[-2].logic_expr_v,yyvsp[0].logic_expr_v);
      			yyval.logic_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.logic_expr_v->set_source(yyvsp[-2].logic_expr_v->get_source() + string(" | ") + yyvsp[0].logic_expr_v->get_source());			
		;
    break;}
case 98:
#line 750 "hys.y"
{
			yyval.logic_expr_v = new Or_expr(yyvsp[-2].logic_expr_v,yyvsp[0].logic_expr_v);
      			yyval.logic_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.logic_expr_v->set_source(yyvsp[-2].logic_expr_v->get_source() + string(" || ") + yyvsp[0].logic_expr_v->get_source());						
		;
    break;}
case 99:
#line 756 "hys.y"
{
			yyval.logic_expr_v = new And_expr(yyvsp[-2].logic_expr_v,yyvsp[0].logic_expr_v);
      			yyval.logic_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.logic_expr_v->set_source(yyvsp[-2].logic_expr_v->get_source() + string(" & ") + yyvsp[0].logic_expr_v->get_source());						
		;
    break;}
case 100:
#line 762 "hys.y"
{
			yyval.logic_expr_v = new And_expr(yyvsp[-2].logic_expr_v,yyvsp[0].logic_expr_v);
      			yyval.logic_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.logic_expr_v->set_source(yyvsp[-2].logic_expr_v->get_source() + string(" && ") + yyvsp[0].logic_expr_v->get_source());					
		;
    break;}
case 101:
#line 768 "hys.y"
{
			yyval.logic_expr_v = new Implication_expr(yyvsp[-2].logic_expr_v,yyvsp[0].logic_expr_v);
      			yyval.logic_expr_v->set_source_line(yylsp[-2].first_line);
			yyval.logic_expr_v->set_source(yyvsp[-2].logic_expr_v->get_source() + string(" -> ") + yyvsp[0].logic_expr_v->get_source());					
		;
    break;