📄 yacc.tab.c
字号:
#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];
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 1:
#line 43 "yacc"
{for(i=0;i<80;i++)printf("-");;
break;}
case 3:
#line 45 "yacc"
{return yyvsp[0].ext;;
break;}
case 5:
#line 49 "yacc"
{if(atof(yyvsp[-1].tptr->name)==yyvsp[-1].tptr->val.var&&yyvsp[-1].tptr->val.var!=0)printf("A const!\n");
else if(yyvsp[-1].tptr->val.var==-1)printf("The var %s is not defined!\n",yyvsp[-1].tptr->name);
for(i=0;i<80;i++)printf("-");
;
break;}
case 6:
#line 53 "yacc"
{yyerrok;;
break;}
case 7:
#line 56 "yacc"
{yyvsp[0].tptr->diff=VAR_TYPE;yyval.tptr=yyvsp[0].tptr;;
break;}
case 8:
#line 57 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->val.var=yyvsp[0].val;yyval.tptr->name=(char *)malloc(10);sprintf(yyval.tptr->name,"%.2f",yyvsp[0].val);;
break;}
case 9:
#line 58 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->val.var=yyvsp[-1].tptr->val.var;yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%c%d",'t',ii++);printf("%.2f\t\t%s=(%s)\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-1].tptr->name);/*fprintf(fout,"%s=(%s)\n",$$->name,$2->name);fflush(fout);*/;
break;}
case 10:
#line 62 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 11:
#line 63 "yacc"
{if(yyvsp[-3].tptr->a_val[(int)(yyvsp[-1].tptr->val.var)]==NULL){yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%s%d%s",yyvsp[-3].tptr->name,"[",(int)yyvsp[-1].tptr->val.var,"]");yyvsp[-3].tptr->diff=ARRAY_TYPE;yyvsp[-3].tptr->a_val[(int)(yyvsp[-1].tptr->val.var)]=yyval.tptr;yyval.tptr->val.var=-1;}
else yyval.tptr=yyvsp[-3].tptr->a_val[(int)(yyvsp[-1].tptr->val.var)];
/*printf("\t\t%s=%s%s%s%s\n",$$->name,$1->name,"[",$3->name,"]");*/
yyvsp[-3].tptr->val.var=-1;
;
break;}
case 12:
#line 68 "yacc"
{if(yyvsp[-2].tptr->diff==FUNCTION_OTHER)
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->val.var=(yyvsp[-2].tptr->val.fnctptr0)();yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%c%d",'t',ii++);/*fprintf(fout,"%s=%s(%s)\n",$$->name,$1->name,$1->name);*/printf("%.2f\t\t%s=%s()\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name);/*fprintf(fout,"%s=%s()",$$->name,$1->name);fflush(fout);*/}
else if(yyvsp[-2].tptr->diff==FUNCTION_TIME)
{time_t now=(yyvsp[-2].tptr->val.fnctptr_time)(NULL);printf("%s\n",ctime(&now));YYERROR;}
;
break;}
case 13:
#line 73 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));
if(yyvsp[-1].vall->count==0)yyval.tptr->val.var=(yyvsp[-3].tptr->val.fnctptr)(yyvsp[-1].vall->val[0]);
else if(yyvsp[-1].vall->count==1)yyval.tptr->val.var=(yyvsp[-3].tptr->val.fnctptr2)(yyvsp[-1].vall->val[0],yyvsp[-1].vall->val[1]);yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%c%d",'t',ii++);printf("%.2f\t\t%s=%s(%s)\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-3].tptr->name,yyvsp[-1].vall->name);/*fprintf(fout,"%s=%s(%s)\n",$$->name,$1->name,$3->name);fflush(fout);*/
;
break;}
case 14:
#line 77 "yacc"
{yyvsp[-1].tptr->val.var++;yyval.tptr=yyvsp[-1].tptr;printf("%.2f\t\t%s%s\n",yyval.tptr->val.var,yyval.tptr->name,"++");fprintf(fout,"%s,%s,1,%s\n","+",yyval.tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 15:
#line 78 "yacc"
{yyvsp[-1].tptr->val.var--;yyval.tptr=yyvsp[-1].tptr;printf("%.2f\t\t%s%s\n",yyval.tptr->val.var,yyval.tptr->name,"--");fprintf(fout,"%s,%s,1,%s\n","-",yyval.tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 16:
#line 81 "yacc"
{yyval.vall=(listc *)malloc(sizeof(listc));strcpy(yyval.vall->name,yyvsp[0].tptr->name);yyval.vall->count=0;yyval.vall->val[yyval.vall->count]=yyvsp[0].tptr->val.var;;
break;}
case 17:
#line 82 "yacc"
{strcat(yyvsp[-2].vall->name,",");strcat(yyvsp[-2].vall->name,yyvsp[0].tptr->name);yyvsp[-2].vall->count++;yyval.vall=yyvsp[-2].vall;yyval.vall->val[yyval.vall->count]=yyvsp[0].tptr->val.var;;
break;}
case 18:
#line 87 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 19:
#line 88 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyvsp[0].tptr->val.var++;yyval.tptr->val.var=yyvsp[0].tptr->val.var;printf("%s%s\n",yyvsp[-1].valc,yyvsp[0].tptr->name);printf("%.2f\t\t%s=%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","+",yyvsp[0].tptr->name,"1",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s","=",yyvsp[0].tptr->name," ",yyval.tptr->name);fflush(fout);;
break;}
case 20:
#line 89 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyvsp[0].tptr->val.var--;yyval.tptr->val.var=yyvsp[0].tptr->val.var;printf("%s%s\n",yyvsp[-1].valc,yyvsp[0].tptr->name);printf("%.2f\t\t%s=%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","-",yyvsp[0].tptr->name,"1",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s","=",yyvsp[0].tptr->name," ",yyval.tptr->name);fflush(fout);;
break;}
case 21:
#line 90 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=unary_in(yyvsp[0].tptr->val.var,yyvsp[-1].valc);printf("%.2f\t\t%s=%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-1].valc,yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n",yyvsp[-1].valc,yyvsp[0].tptr->name," ",yyval.tptr->name);fflush(fout);;
break;}
case 22:
#line 91 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(5);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=sizeof(yyvsp[0].tptr->val.var);printf("%.2f\t\t%s=%s(%s)\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-1].valc,yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n",yyvsp[-1].valc,yyvsp[0].tptr->name," ",yyval.tptr->name);fflush(fout);;
break;}
case 23:
#line 95 "yacc"
{yyval.valc=(char *)malloc(255);yyval.valc[0]='+';yyval.valc[1]='\0';;
break;}
case 24:
#line 96 "yacc"
{yyval.valc=(char *)malloc(255);yyval.valc[0]='-';yyval.valc[1]='\0';;
break;}
case 25:
#line 97 "yacc"
{yyval.valc=(char *)malloc(255);yyval.valc[0]='~';yyval.valc[1]='\0';;
break;}
case 26:
#line 98 "yacc"
{yyval.valc=(char *)malloc(255);yyval.valc[0]='!';yyval.valc[1]='\0';;
break;}
case 27:
#line 102 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 28:
#line 106 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 29:
#line 107 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var*yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"*",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","*",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 30:
#line 108 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var/yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"/",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","/",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 31:
#line 109 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=(int)(yyvsp[-2].tptr->val.var)%(int)(yyvsp[0].tptr->val.var);printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"%",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%,s,%s\n","%",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 32:
#line 113 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 33:
#line 114 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var+yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"+",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","+",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 34:
#line 115 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var-yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"-",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","-",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 35:
#line 119 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 36:
#line 120 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=(int)yyvsp[-2].tptr->val.var<<(int)yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"<<",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","<<",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 37:
#line 121 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=(int)yyvsp[-2].tptr->val.var>>(int)yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,">>",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n",">>",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 38:
#line 125 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 39:
#line 126 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var<yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"<",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","<",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 40:
#line 127 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var>yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,">",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n",">",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 41:
#line 128 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var<=yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"<=",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","<=",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 42:
#line 129 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var>=yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,">=",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n",">=",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 43:
#line 133 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 44:
#line 134 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var==yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"==",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","==",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 45:
#line 135 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=yyvsp[-2].tptr->val.var!=yyvsp[0].tptr->val.var;printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"!=",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","!=",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 46:
#line 139 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 47:
#line 140 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=(int)(yyvsp[-2].tptr->val.var)&(int)(yyvsp[0].tptr->val.var);printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"&",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","&",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 48:
#line 144 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 49:
#line 145 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=(int)(yyvsp[-2].tptr->val.var)^(int)(yyvsp[0].tptr->val.var);printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"^",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","^",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 50:
#line 149 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
case 51:
#line 150 "yacc"
{yyval.tptr=(symrec *)malloc(sizeof(symrec));yyval.tptr->name=(char *)malloc(255);sprintf(yyval.tptr->name,"%s%d","t",ii++);yyval.tptr->val.var=(int)(yyvsp[-2].tptr->val.var)|(int)(yyvsp[0].tptr->val.var);printf("%.2f\t\t%s=%s%s%s\n",yyval.tptr->val.var,yyval.tptr->name,yyvsp[-2].tptr->name,"|",yyvsp[0].tptr->name);fprintf(fout,"%s,%s,%s,%s\n","|",yyvsp[-2].tptr->name,yyvsp[0].tptr->name,yyval.tptr->name);fflush(fout);;
break;}
case 52:
#line 154 "yacc"
{yyval.tptr=yyvsp[0].tptr;;
break;}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -