fincyacc.c

FinC is Fava in C! A C-like syntax language. It s designed to apply to embededd system.

#endif

  int yystacksize = YYINITDEPTH;
  int yyfree_stacks = 0;

#ifdef YYPURE
  int yychar;
  YYSTYPE yylval;
  int yynerrs;
#ifdef YYLSP_NEEDED
  YYLTYPE yylloc;
#endif
#endif

  YYSTYPE yyval;		/*  the variable used to return		*/
				/*  semantic values from the action	*/
				/*  routines				*/

  int yylen;

#if YYDEBUG != 0
  if (yydebug)
    fprintf(stderr, "Starting parse\n");
#endif

  yystate = 0;
  yyerrstatus = 0;
  yynerrs = 0;
  yychar = YYEMPTY;		/* Cause a token to be read.  */

  /* Initialize stack pointers.
     Waste one element of value and location stack
     so that they stay on the same level as the state stack.
     The wasted elements are never initialized.  */

  yyssp = yyss - 1;
  yyvsp = yyvs;
#ifdef YYLSP_NEEDED
  yylsp = yyls;
#endif

/* Push a new state, which is found in  yystate  .  */
/* In all cases, when you get here, the value and location stacks
   have just been pushed. so pushing a state here evens the stacks.  */
yynewstate:

  *++yyssp = yystate;

  if (yyssp >= yyss + yystacksize - 1)
    {
      /* Give user a chance to reallocate the stack */
      /* Use copies of these so that the &'s don't force the real ones into memory. */
      YYSTYPE *yyvs1 = yyvs;
      short *yyss1 = yyss;
#ifdef YYLSP_NEEDED
      YYLTYPE *yyls1 = yyls;
#endif

      /* Get the current used size of the three stacks, in elements.  */
      int size = yyssp - yyss + 1;

#ifdef yyoverflow
      /* Each stack pointer address is followed by the size of
	 the data in use in that stack, in bytes.  */
#ifdef YYLSP_NEEDED
      /* This used to be a conditional around just the two extra args,
	 but that might be undefined if yyoverflow is a macro.  */
      yyoverflow("parser stack overflow",
		 &yyss1, size * sizeof (*yyssp),
		 &yyvs1, size * sizeof (*yyvsp),
		 &yyls1, size * sizeof (*yylsp),
		 &yystacksize);
#else
      yyoverflow("parser stack overflow",
		 &yyss1, size * sizeof (*yyssp),
		 &yyvs1, size * sizeof (*yyvsp),
		 &yystacksize);
#endif

      yyss = yyss1; yyvs = yyvs1;
#ifdef YYLSP_NEEDED
      yyls = yyls1;
#endif
#else /* no yyoverflow */
      /* Extend the stack our own way.  */
      if (yystacksize >= YYMAXDEPTH)
	{
	  yyerror("parser stack overflow");
	  if (yyfree_stacks)
	    {
	      free (yyss);
	      free (yyvs);
#ifdef YYLSP_NEEDED
	      free (yyls);
#endif
	    }
	  return 2;
	}
      yystacksize *= 2;
      if (yystacksize > YYMAXDEPTH)
	yystacksize = YYMAXDEPTH;
#ifndef YYSTACK_USE_ALLOCA
      yyfree_stacks = 1;
#endif
      yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp));
      __yy_memcpy ((char *)yyss, (char *)yyss1,
		   size * (unsigned int) sizeof (*yyssp));
      yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp));
      __yy_memcpy ((char *)yyvs, (char *)yyvs1,
		   size * (unsigned int) sizeof (*yyvsp));
#ifdef YYLSP_NEEDED
      yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp));
      __yy_memcpy ((char *)yyls, (char *)yyls1,
		   size * (unsigned int) sizeof (*yylsp));
#endif
#endif /* no yyoverflow */

      yyssp = yyss + size - 1;
      yyvsp = yyvs + size - 1;
#ifdef YYLSP_NEEDED
      yylsp = yyls + size - 1;
#endif

#if YYDEBUG != 0
      if (yydebug)
	fprintf(stderr, "Stack size increased to %d\n", yystacksize);
#endif

      if (yyssp >= yyss + yystacksize - 1)
	YYABORT;
    }

#if YYDEBUG != 0
  if (yydebug)
    fprintf(stderr, "Entering state %d\n", yystate);
#endif

  goto yybackup;
 yybackup:

/* Do appropriate processing given the current state.  */
/* Read a lookahead token if we need one and don't already have one.  */
/* yyresume: */

  /* First try to decide what to do without reference to lookahead token.  */

  yyn = yypact[yystate];
  if (yyn == YYFLAG)
    goto yydefault;

  /* Not known => get a lookahead token if don't already have one.  */

  /* yychar is either YYEMPTY or YYEOF
     or a valid token in external form.  */

  if (yychar == YYEMPTY)
    {
#if YYDEBUG != 0
      if (yydebug)
	fprintf(stderr, "Reading a token: ");
#endif
      yychar = YYLEX;
    }

  /* Convert token to internal form (in yychar1) for indexing tables with */

  if (yychar <= 0)		/* This means end of input. */
    {
      yychar1 = 0;
      yychar = YYEOF;		/* Don't call YYLEX any more */

#if YYDEBUG != 0
      if (yydebug)
	fprintf(stderr, "Now at end of input.\n");
#endif
    }
  else
    {
      yychar1 = YYTRANSLATE(yychar);

#if YYDEBUG != 0
      if (yydebug)
	{
	  fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]);
	  /* Give the individual parser a way to print the precise meaning
	     of a token, for further debugging info.  */
#ifdef YYPRINT
	  YYPRINT (stderr, yychar, yylval);
#endif
	  fprintf (stderr, ")\n");
	}
#endif
    }

  yyn += yychar1;
  if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1)
    goto yydefault;

  yyn = yytable[yyn];

  /* yyn is what to do for this token type in this state.
     Negative => reduce, -yyn is rule number.
     Positive => shift, yyn is new state.
       New state is final state => don't bother to shift,
       just return success.
     0, or most negative number => error.  */

  if (yyn < 0)
    {
      if (yyn == YYFLAG)
	goto yyerrlab;
      yyn = -yyn;
      goto yyreduce;
    }
  else if (yyn == 0)
    goto yyerrlab;

  if (yyn == YYFINAL)
    YYACCEPT;

  /* Shift the lookahead token.  */

#if YYDEBUG != 0
  if (yydebug)
    fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]);
#endif

  /* Discard the token being shifted unless it is eof.  */
  if (yychar != YYEOF)
    yychar = YYEMPTY;

  *++yyvsp = yylval;
#ifdef YYLSP_NEEDED
  *++yylsp = yylloc;
#endif

  /* count tokens shifted since error; after three, turn off error status.  */
  if (yyerrstatus) yyerrstatus--;

  yystate = yyn;
  goto yynewstate;

/* Do the default action for the current state.  */
yydefault:

  yyn = yydefact[yystate];
  if (yyn == 0)
    goto yyerrlab;

/* Do a reduction.  yyn is the number of a rule to reduce with.  */
yyreduce:
  yylen = yyr2[yyn];
  if (yylen > 0)
    yyval = yyvsp[1-yylen]; /* implement default value of the action */

#if YYDEBUG != 0
  if (yydebug)
    {
      int i;

      fprintf (stderr, "Reducing via rule %d (line %d), ",
	       yyn, yyrline[yyn]);

      /* Print the symbols being reduced, and their result.  */
      for (i = yyprhs[yyn]; yyrhs[i] > 0; i++)
	fprintf (stderr, "%s ", yytname[yyrhs[i]]);
      fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]);
    }
#endif


  switch (yyn) {

case 3:
#line 60 "fincyacc.y"
{ finc_lang_decl_add (yyvsp[0].expr); ;
    break;}
case 4:
#line 61 "fincyacc.y"
{ finc_lang_decl_add (yyvsp[0].expr); ;
    break;}
case 5:
#line 62 "fincyacc.y"
{ finc_lang_decl_add (yyvsp[0].expr); ;
    break;}
case 6:
#line 63 "fincyacc.y"
{ finc_lang_decl_add (yyvsp[0].expr); ;
    break;}
case 7:
#line 64 "fincyacc.y"
{ finc_lang_decl_add (yyvsp[0].expr); ;
    break;}
case 8:
#line 65 "fincyacc.y"
{ finc_lang_error ("Expecting a declaration"); ;
    break;}
case 9:
#line 73 "fincyacc.y"
{ yyval.expr = finc_lang_efunc_create1("global", yyvsp[0].expr); ;
    break;}
case 10:
#line 77 "fincyacc.y"
{ yyval.expr = finc_lang_efunc_create1("local", yyvsp[0].expr); ;
    break;}
case 11:
#line 82 "fincyacc.y"
{ yyval.expr = finc_lang_var_create (yyvsp[-2].expr); ;
    break;}
case 12:
#line 84 "fincyacc.y"
{
      yyvsp[-4].expr->type->array_type = FinCArrayType_Fixed;
      yyvsp[-4].expr->type->array_size = yyvsp[-1].val_int;
      yyval.expr = finc_lang_array_create(yyvsp[-4].expr, yyvsp[-3].expr);
    ;
    break;}
case 13:
#line 90 "fincyacc.y"
{
      yyvsp[-3].expr->type->array_type = FinCArrayType_Dynamic;
      yyvsp[-3].expr->type->array_size = 0;
      yyval.expr = finc_lang_array_create(yyvsp[-3].expr, yyvsp[-2].expr);
    ;
    break;}
case 14:
#line 96 "fincyacc.y"
{ yyval.expr = NULL;
      finc_lang_error ("Missing identifier in variable declaration.");
    ;
    break;}
case 15:
#line 100 "fincyacc.y"
{ yyval.expr = NULL;
      finc_lang_error ("Missing a ';' in variable declaration.");
    ;
    break;}
case 18:
#line 111 "fincyacc.y"
{ finc_lang_var_list_add(yyvsp[0].expr); ;
    break;}
case 19:
#line 112 "fincyacc.y"
{ finc_lang_var_list_add_init(yyvsp[-2].expr, yyvsp[0].expr); ;
    break;}
case 20:
#line 117 "fincyacc.y"
{ finc_lang_struct_begin(yyvsp[0].expr); ;
    break;}
case 21:
#line 119 "fincyacc.y"
{ yyval.expr = finc_lang_struct_end(); ;
    break;}
case 22:
#line 121 "fincyacc.y"
{ yyval.expr = NULL;
      finc_lang_error ("Missing identifier in struct declaration.");
    ;
    break;}
case 25:
#line 133 "fincyacc.y"
{ finc_lang_struct_field_create(yyvsp[-2].expr); ;
    break;}
case 26:
#line 135 "fincyacc.y"
{
      yyvsp[-4].expr->type->array_type = FinCArrayType_Fixed;
      yyvsp[-4].expr->type->array_size = yyvsp[-1].val_int;
      finc_lang_struct_field_create( finc_lang_array_create(yyvsp[-4].expr, yyvsp[-3].expr) );
    ;
    break;}
case 27:
#line 141 "fincyacc.y"
{
      yyvsp[-3].expr->type->array_type = FinCArrayType_Dynamic;
      yyvsp[-3].expr->type->array_size = 0;
      finc_lang_struct_field_create( finc_lang_array_create(yyvsp[-3].expr, yyvsp[-2].expr) );
    ;
    break;}
case 30:
#line 154 "fincyacc.y"
{ finc_lang_struct_field_add(yyvsp[0].expr); ;
    break;}
case 31:
#line 159 "fincyacc.y"
{ finc_lang_func_create (yyvsp[-1].expr, yyvsp[0].expr);  ;
    break;}
case 32:
#line 162 "fincyacc.y"
{ yyval.expr = finc_lang_func_finish (yyvsp[0].expr); ;
    break;}
case 34:
#line 166 "fincyacc.y"