dvparse.c

DataDraw is an ultra-fast persistent database for high performance programs written in C. It s so fa

{
  
  int yystate;
  int yyn;
  int yyresult;
  /* Number of tokens to shift before error messages enabled.  */
  int yyerrstatus;
  /* Look-ahead token as an internal (translated) token number.  */
  int yytoken = 0;
#if YYERROR_VERBOSE
  /* Buffer for error messages, and its allocated size.  */
  char yymsgbuf[128];
  char *yymsg = yymsgbuf;
  YYSIZE_T yymsg_alloc = sizeof yymsgbuf;
#endif

  /* Three stacks and their tools:
     `yyss': related to states,
     `yyvs': related to semantic values,
     `yyls': related to locations.

     Refer to the stacks thru separate pointers, to allow yyoverflow
     to reallocate them elsewhere.  */

  /* The state stack.  */
  yytype_int16 yyssa[YYINITDEPTH];
  yytype_int16 *yyss = yyssa;
  yytype_int16 *yyssp;

  /* The semantic value stack.  */
  YYSTYPE yyvsa[YYINITDEPTH];
  YYSTYPE *yyvs = yyvsa;
  YYSTYPE *yyvsp;



#define YYPOPSTACK(N)   (yyvsp -= (N), yyssp -= (N))

  YYSIZE_T yystacksize = YYINITDEPTH;

  /* The variables used to return semantic value and location from the
     action routines.  */
  YYSTYPE yyval;


  /* The number of symbols on the RHS of the reduced rule.
     Keep to zero when no symbol should be popped.  */
  int yylen = 0;

  YYDPRINTF ((stderr, "Starting parse\n"));

  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;
  yyvsp = yyvs;

  goto yysetstate;

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

 yysetstate:
  *yyssp = yystate;

  if (yyss + yystacksize - 1 <= yyssp)
    {
      /* Get the current used size of the three stacks, in elements.  */
      YYSIZE_T yysize = yyssp - yyss + 1;

#ifdef yyoverflow
      {
	/* 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;
	yytype_int16 *yyss1 = yyss;


	/* Each stack pointer address is followed by the size of the
	   data in use in that stack, in bytes.  This used to be a
	   conditional around just the two extra args, but that might
	   be undefined if yyoverflow is a macro.  */
	yyoverflow (YY_("memory exhausted"),
		    &yyss1, yysize * sizeof (*yyssp),
		    &yyvs1, yysize * sizeof (*yyvsp),

		    &yystacksize);

	yyss = yyss1;
	yyvs = yyvs1;
      }
#else /* no yyoverflow */
# ifndef YYSTACK_RELOCATE
      goto yyexhaustedlab;
# else
      /* Extend the stack our own way.  */
      if (YYMAXDEPTH <= yystacksize)
	goto yyexhaustedlab;
      yystacksize *= 2;
      if (YYMAXDEPTH < yystacksize)
	yystacksize = YYMAXDEPTH;

      {
	yytype_int16 *yyss1 = yyss;
	union yyalloc *yyptr =
	  (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
	if (! yyptr)
	  goto yyexhaustedlab;
	YYSTACK_RELOCATE (yyss);
	YYSTACK_RELOCATE (yyvs);

#  undef YYSTACK_RELOCATE
	if (yyss1 != yyssa)
	  YYSTACK_FREE (yyss1);
      }
# endif
#endif /* no yyoverflow */

      yyssp = yyss + yysize - 1;
      yyvsp = yyvs + yysize - 1;


      YYDPRINTF ((stderr, "Stack size increased to %lu\n",
		  (unsigned long int) yystacksize));

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

  YYDPRINTF ((stderr, "Entering state %d\n", yystate));

  goto yybackup;

/*-----------.
| yybackup.  |
`-----------*/
yybackup:

  /* Do appropriate processing given the current state.  Read a
     look-ahead token if we need one and don't already have one.  */

  /* First try to decide what to do without reference to look-ahead token.  */
  yyn = yypact[yystate];
  if (yyn == YYPACT_NINF)
    goto yydefault;

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

  /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol.  */
  if (yychar == YYEMPTY)
    {
      YYDPRINTF ((stderr, "Reading a token: "));
      yychar = YYLEX;
    }

  if (yychar <= YYEOF)
    {
      yychar = yytoken = YYEOF;
      YYDPRINTF ((stderr, "Now at end of input.\n"));
    }
  else
    {
      yytoken = YYTRANSLATE (yychar);
      YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
    }

  /* If the proper action on seeing token YYTOKEN is to reduce or to
     detect an error, take that action.  */
  yyn += yytoken;
  if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
    goto yydefault;
  yyn = yytable[yyn];
  if (yyn <= 0)
    {
      if (yyn == 0 || yyn == YYTABLE_NINF)
	goto yyerrlab;
      yyn = -yyn;
      goto yyreduce;
    }

  if (yyn == YYFINAL)
    YYACCEPT;

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

  /* Shift the look-ahead token.  */
  YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);

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

  yystate = yyn;
  *++yyvsp = yylval;

  goto yynewstate;


/*-----------------------------------------------------------.
| yydefault -- do the default action for the current state.  |
`-----------------------------------------------------------*/
yydefault:
  yyn = yydefact[yystate];
  if (yyn == 0)
    goto yyerrlab;
  goto yyreduce;


/*-----------------------------.
| yyreduce -- Do a reduction.  |
`-----------------------------*/
yyreduce:
  /* yyn is the number of a rule to reduce with.  */
  yylen = yyr2[yyn];

  /* If YYLEN is nonzero, implement the default value of the action:
     `$$ = $1'.

     Otherwise, the following line sets YYVAL to garbage.
     This behavior is undocumented and Bison
     users should not rely upon it.  Assigning to YYVAL
     unconditionally makes the parser a bit smaller, and it avoids a
     GCC warning that YYVAL may be used uninitialized.  */
  yyval = yyvsp[1-yylen];


  YY_REDUCE_PRINT (yyn);
  switch (yyn)
    {
        case 3:
#line 127 "src/dvparse.y"
    {
    dvCurrentUnion = dvUnionNull;
;}
    break;

  case 8:
#line 140 "src/dvparse.y"
    {
    dvModuleSetPersistent(dvCurrentModule, true);
;}
    break;

  case 9:
#line 144 "src/dvparse.y"
    {
    dvModuleSetUndoRedo(dvCurrentModule, true);
;}
    break;

  case 10:
#line 150 "src/dvparse.y"
    {
    dvCurrentModule = dvModuleCreate((yyvsp[(2) - (3)].symVal), (yyvsp[(3) - (3)].symVal));
    dvCurrentSchema = dvSchemaNull;
;}
    break;

  case 11:
#line 157 "src/dvparse.y"
    {
    (yyval.symVal) = utSymNull;
;}
    break;

  case 12:
#line 161 "src/dvparse.y"
    {
    (yyval.symVal) = (yyvsp[(1) - (1)].symVal);
;}
    break;

  case 21:
#line 179 "src/dvparse.y"
    {
    dvModule importModule = dvRootFindModule(dvTheRoot, (yyvsp[(2) - (3)].symVal));
    dvLinkCreate(dvCurrentModule, importModule);
;}
    break;

  case 23:
#line 189 "src/dvparse.y"
    {
    dvCurrentEnum = dvEnumCreate(dvCurrentModule, (yyvsp[(2) - (4)].symVal), (yyvsp[(3) - (4)].symVal));
    dvCurrentEnumValue = 0;
;}
    break;

  case 26:
#line 200 "src/dvparse.y"
    {
    dvEntryCreate(dvCurrentEnum, (yyvsp[(1) - (2)].symVal), dvCurrentEnumValue);
    dvCurrentEnumValue++;
;}
    break;

  case 27:
#line 205 "src/dvparse.y"
    {
    dvCurrentEnumValue = (yyvsp[(3) - (4)].intVal);
    dvEntryCreate(dvCurrentEnum, (yyvsp[(1) - (4)].symVal), dvCurrentEnumValue);
    dvCurrentEnumValue++;
;}
    break;

  case 29:
#line 216 "src/dvparse.y"
    {
    dvTypedefCreate(dvCurrentModule, (yyvsp[(1) - (1)].symVal));
;}
    break;

  case 30:
#line 220 "src/dvparse.y"
    {
    dvTypedefCreate(dvCurrentModule, (yyvsp[(2) - (2)].symVal));
;}
    break;

  case 31:
#line 226 "src/dvparse.y"
    {
    dvCurrentSchema = dvSchemaCreate(dvCurrentModule, (yyvsp[(2) - (3)].symVal));
;}
    break;

  case 34:
#line 236 "src/dvparse.y"
    {
    dvClass baseClass = dvClassNull;
    dvModule baseModule = dvModuleNull;
    if((yyvsp[(3) - (3)].symVal) != utSymNull) {
        baseModule = dvRootFindModule(dvTheRoot, (yyvsp[(3) - (3)].symVal));
        if(baseModule == dvModuleNull) {
            dverror("Undefined module %s", utSymGetName((yyvsp[(3) - (3)].symVal)));
        }
        baseClass = dvModuleFindClass(baseModule, (yyvsp[(2) - (3)].symVal));
        if(baseClass == dvClassNull) {
            dverror("Base class %s not defined in module %s", utSymGetName((yyvsp[(2) - (3)].symVal)), utSymGetName((yyvsp[(3) - (3)].symVal)));
        }
    }
    dvCurrentClass = dvClassCreate(dvCurrentModule, dvCurrentSchema, (yyvsp[(2) - (3)].symVal), baseClass);
    dvUnionNumber = 1;
;}
    break;

  case 37:
#line 259 "src/dvparse.y"
    {
    if((yyvsp[(2) - (2)].intVal) & 7) {
        dverror("Reference sizes may only be 8, 16, 32, or 64");
    }
    dvClassSetReferenceSize(dvCurrentClass, (yyvsp[(2) - (2)].intVal));
;}
    break;

  case 38:
#line 266 "src/dvparse.y"
    {
    dvClassSetMemoryStyle(dvCurrentClass, MEM_FREE_LIST);
;}
    break;

  case 39:
#line 270 "src/dvparse.y"
    {
    dvClassSetMemoryStyle(dvCurrentClass, MEM_CREATE_ONLY);
;}
    break;

  case 40:
#line 274 "src/dvparse.y"
    {
    dvClassSetGenerateArrayClass(dvCurrentClass, true);
;}
    break;

  case 46:
#line 287 "src/dvparse.y"
    {
    dvPropertySetCascade(dvCurrentProperty, true);
;}
    break;

  case 47:
#line 291 "src/dvparse.y"
    {
    if(dvCurrentUnion != dvUnionNull) {
        dverror("Arrays are not allowed in unions");
    }
    dvPropertySetArray(dvCurrentProperty, true);
;}
    break;

  case 48:
#line 298 "src/dvparse.y"
    {
    if(dvCurrentUnion != dvUnionNull) {
        dverror("Arrays are not allowed in unions");
    }
    dvPropertySetArray(dvCurrentProperty, true);
    dvPropertySetCascade(dvCurrentProperty, true);
;}
    break;

  case 49:
#line 308 "src/dvparse.y"
    {
    dvCurrentProperty = buildUserTypeProperty(dvCurrentModule, (yyvsp[(1) - (2)].symVal), (yyvsp[(2) - (2)].symVal));
;}
    break;

  case 50:
#line 312 "src/dvparse.y"
    {
    dvCurrentProperty = buildUserTypeProperty((yyvsp[(1) - (3)].moduleVal), (yyvsp[(2) - (3)].symVal), (yyvsp[(3) - (3)].symVal));
;}
    break;

  case 51:
#line 316 "src/dvparse.y"
    {
    dvCurrentProperty = dvPropertyCreate(dvCurrentClass, dvCurrentUnion, (yyvsp[(1) - (2)].propTypeVal), (yyvsp[(2) - (2)].symVal));
    if((yyvsp[(1) - (2)].propTypeVal) == PROP_INT || (yyvsp[(1) - (2)].propTypeVal) == PROP_UINT) {
	if(dvIntWidth != 8 && dvIntWidth != 16 && dvIntWidth != 32 && dvIntWidth != 64) {
	    dverror("Valid integer widths are 8, 16, 32, and 64");
	}
        dvPropertySetWidth(dvCurrentProperty, dvIntWidth);
    }
;}