📄 pl.cpp
字号:
if(CurSymbol->type==IDENT)
{
ENTER(VARIABLE);
getASymbol();
}
else
error(14); //应该是标识符
}
if(CurSymbol->type==COLON) //如果是':'，则后面应该是类型标识符，用来声明变量
{
getASymbol();
if(CurSymbol->type!=IDENT)
error(14); //应该是标识符
else
{
x=GETPOSITION(CurSymbol->value.lpValue);
getASymbol();
if(x!=0)
{
if(NAMETAB[x].kind!=TYPEL)
error(15); //应该是类型标识符
else
{
type=NAMETAB[x].type;
ref=NAMETAB[x].ref;
if(valuePar)
size=NAMETAB[x].unite.size;
else
size=1;
}
}
}
}
else
error(0); //应该是':'
while(helper<TX) //将编译识别出来的变量的信息填入符号表
{
helper++;
NAMETAB[helper].type=type;
NAMETAB[helper].ref=ref;
NAMETAB[helper].unite.address=DX;
NAMETAB[helper].level=displayLevel;
NAMETAB[helper].normal=valuePar;
DX+=size; //DX用来记录已经分配的局部空间的大小
}
if(CurSymbol->type!=RPAREN)
{
if(CurSymbol->type==SEMICOLON)
getASymbol();
else
{
error(1); //应该是';'
if(CurSymbol->type==COMMA)
getASymbol();
}
}
}
if(CurSymbol->type==RPAREN)
{
getASymbol();
}
else
error(2); //应该是')'
}
void CONSTDECLARATION(SYMLIST * list) //常量声明
{
CONSTREC constRec;
if(CurSymbol->type==IDENT)
{
ENTER(KONSTANT); //被声明的常量标识符
getASymbol();
if(CurSymbol->type==EQL)
getASymbol();
else
{
error(6); //应该是'='
if(CurSymbol->type==BECOMES)
getASymbol();
}
////////////////////////////////////////////////////////////////
SYMLIST * tempList1=new SYMLIST;
COPYLIST(tempList1,listAddSym(listAddSym(listAddSym(list,SEMICOLON),COMMA),IDENT));
CONSTANT(tempList1,constRec); //获取下一个常量的信息
delete tempList1;
////////////////////////////////////////////////////////////////
NAMETAB[TX].type=constRec.type; //填表
NAMETAB[TX].ref=0;
NAMETAB[TX].unite.value=constRec.value;
if(CurSymbol->type==SEMICOLON)
getASymbol();
else
error(1);//应该是';'
}
else
error(14);//应该是标识符
}
void TYPEDECLARATION(SYMLIST * list) //类型声明
{
TYPES type;
int ref,size,helper;
if(CurSymbol->type==IDENT)
{
ENTER(TYPEL); //被声明的类型标识符
helper=TX;
getASymbol();
if(CurSymbol->type==EQL)
getASymbol();
else
{
error(6);//应该是'='
if(CurSymbol->type==SEMICOLON)
getASymbol();
}
//////////////////////////////////////////////////////////////
SYMLIST * tempList=new SYMLIST;
COPYLIST(tempList,listAddSym(listAddSym(listAddSym(list,SEMICOLON),COMMA),IDENT));
TYP(tempList,type,ref,size); //获取类型信息
delete tempList;
//////////////////////////////////////////////////////////////
NAMETAB[TX].type=type; //填表
NAMETAB[TX].ref=ref;
NAMETAB[TX].unite.size=size;
if(CurSymbol->type==SEMICOLON)
getASymbol();
else
error(1);//应该是';'
}
else
error(14);//应该是标识符
}
void VARDECLARATION(SYMLIST * list) //变量声明
{
TYPES type;
int ref,size,helper1,helper2;
if(CurSymbol->type==IDENT)
{
helper1=TX;
ENTER(VARIABLE); //被声明的变量
getASymbol();
while(CurSymbol->type==COMMA) //如果是逗号，则面临的是同类型的一串变量列表
{
getASymbol();
if(CurSymbol->type==IDENT)
{
ENTER(VARIABLE); //被声明的变量
getASymbol();
}
else
error(14);//应该是标识符
}
if(CurSymbol->type==COLON)
getASymbol();
else
error(0);//应该是':'
helper2=TX;
//////////////////////////////////////////////////////////
SYMLIST * tempList=new SYMLIST;
COPYLIST(tempList,listAddSym(listAddSym(listAddSym(list,SEMICOLON),COMMA),IDENT));
TYP(tempList,type,ref,size); //获取变量的类型信息
delete tempList;
//////////////////////////////////////////////////////////
while(helper1<helper2) //将一串变量的信息填表
{
helper1++;
NAMETAB[helper1].type=type;
NAMETAB[helper1].ref=ref;
NAMETAB[helper1].level=displayLevel;
NAMETAB[helper1].unite.address=DX;
NAMETAB[helper1].normal=1;
DX+=size;
}
if(CurSymbol->type==SEMICOLON)
getASymbol();
else
error(1);//应该是';'
}
else
error(14);//应该是标识符
}
void PROCDECLARATION(SYMLIST * list) //过程声明
{
getASymbol();
if(CurSymbol->type!=IDENT)
{
error(14); //应该是标识符
strcpy(CurSymbol->value.lpValue,"");
}
ENTER(PROCEDURE); //被声明的过程名
NAMETAB[TX].normal=1;
getASymbol();
///////////////////////////////////////////////////////////
SYMLIST * tempList1=new SYMLIST;
COPYLIST(tempList1,listAddSym(list,SEMICOLON));
BLOCK(tempList1,displayLevel); //编译过程体
delete tempList1;
///////////////////////////////////////////////////////////
if(CurSymbol->type==SEMICOLON)
getASymbol();
else
error(1);//应该是';'
}
void error(int errCode) //负责显示出错信息的函数
{
char errorScript[][100]=
{
"应该是\':\'",//0
"应该是\';\'",//1
"应该是\')\'",//2
"应该是\'(\'",//3
"应该是\'[\'",//4
"应该是\']\'",//5
"应该是\'=\'",//6
"应该是\':=\'",//7
"应该是\'.\'",//8
"应该是\'do\'",//9
"应该是\'of\'",//10
"应该是\'then\'",//11
"应该是\'end\'",//12
"应该是\'program\'",//13
"应该是标识符",//14
"应该是类型标识符",//15
"应该是变量",//16
"应该是常量或常量标识符",//17
"应该是过程名",//18
"数组上下界大小关系错误",//19
"数组定义时，下标元素类型错误",//20
"数组定义时，上下界类型不一致",//21
"引用时，数组元素下标元素类型出错",//22
"下标个数不正确",//23
"数组表溢出",//24
"名字表溢出",//25
"程序体表溢出",//26
"系统为本编译程序分配的堆不够用",//27
"实参与形参个数不等",//28
"实参与形参类型不一致",//29
"实参个数不够",//30
"程序体内符号重定义",//31
"if或while后面表达式必须为布尔类型",//32
"标识符没有定义",//33
"过程名或类型名不能出现在表达式中",//34
"操作数类型错误",//35
"类型定义出错",//36
"类型不一致",//37
"不认识的字符出现在源程序",//38
"不能打开.lst文件",//39
"不能打开.pld文件",//40
"不能打开.lab文件",//41
"应该是\'..\'",//42
"分析时缺少标识符",//43
"应该是\'to\'",//44
"应该是\'until\'",//45
"case应该是整形",//46
"应该是\':\'",//47
};
if(CurSymbol && CurSymbol->lineNumber>0)
printf("\n<<<<<< Line number %d ",CurSymbol->lineNumber);
printf("found error %d : %s ! >>>>>>\n\n",errCode,errorScript[errCode]);
nError++;
}
void FACTOR(SYMLIST * list,TYPEITEM & typeItem) //获取下一个“因子”的信息，传引用参数typeItem用来保存信息
{
int i;
typeItem.typ=NOTYP;
typeItem.ref=0;
////////////////////////////////////////////////////////
SYMLIST * tempList2=new SYMLIST;
COPYLIST(tempList2,listAddSym(list,RPAREN));
////////////////////////////////////////////////////////
while(SYMINLIST(CurSymbol->type,&FACBEGSYS))
{
switch(CurSymbol->type)
{
case IDENT:
i=GETPOSITION(CurSymbol->value.lpValue); //如果是标识符，则查表
getASymbol();
if(i!=0)
{
switch(NAMETAB[i].kind)
{
case KONSTANT:
typeItem.typ=NAMETAB[i].type;
typeItem.ref=0;
GEN(LIT,0,NAMETAB[i].unite.value);
break;
case VARIABLE:
typeItem.typ=NAMETAB[i].type;
typeItem.ref=NAMETAB[i].ref;
if(NAMETAB[i].type==INTS || NAMETAB[i].type==BOOLS || NAMETAB[i].type==CHARS)
{
if(NAMETAB[i].normal)
GEN(LOD,NAMETAB[i].level,NAMETAB[i].unite.address);
else
GEN(ILOD,NAMETAB[i].level,NAMETAB[i].unite.address);
}
else
{
if(NAMETAB[i].type==ARRAYS)
{
if(NAMETAB[i].normal)
GEN(LODA,NAMETAB[i].level,NAMETAB[i].unite.address);
else
GEN(LOD,NAMETAB[i].level,NAMETAB[i].unite.address);
if(CurSymbol->type==LBRACK)
ARRAYELEMENT(list,typeItem);
if(typeItem.typ!=ARRAYS)
GEN(LODT,0,0);
}
}
break;
case PROCEDURE:
case TYPEL:
error(34); //过程名或类型名不能出现在表达始中
break;
}
}
break;
case INTCON:
case CHARCON:
if(CurSymbol->type==INTCON)
typeItem.typ=INTS;
else
typeItem.typ=CHARS;
typeItem.ref=0;
GEN(LIT,0,CurSymbol->value.iValue);
getASymbol();
break;
case LPAREN: //如果是左括号
getASymbol();
EXPRESSION(tempList2,typeItem); //获取一个“表达式”的信息
if(CurSymbol->type==RPAREN)
getASymbol();
else
error(2); //应该是')'
break;
case NOTSYM: //如果是“非”
getASymbol();
FACTOR(list,typeItem); //获取一个“因子”的信息
if(typeItem.typ==BOOLS)
GEN(NOTS,0,0);
else
error(35); //操作数类型错误
break;
}
}
delete tempList2;
}
void TERM(SYMLIST * list,TYPEITEM & typeItem) //获取一个“项”的信息
{
SYMBOL mulop;
TYPEITEM helpTypeItem;
///////////////////////////////////////////////////////////
SYMLIST * tempList=new SYMLIST;
SYMLIST * tempList1=new SYMLIST;
tempList1->AddHead(TIMES); tempList1->AddHead(DIVSYM); tempList1->AddHead(MODSYM); tempList1->AddHead(ANDSYM);
COPYLIST(tempList,listsAdd(tempList1,list));
FACTOR(tempList,typeItem); //获取一个“因子”的信息
///////////////////////////////////////////////////////////
while(SYMINLIST(CurSymbol->type,tempList1))
{
mulop=CurSymbol->type;
getASymbol();
FACTOR(tempList,helpTypeItem); //获取一个“因子”的信息
if(typeItem.typ!=helpTypeItem.typ)
{
error(37);//类型不一致
typeItem.typ=NOTYP;
typeItem.ref=0;
}
else
{
switch(mulop)
{
case TIMES:
if(typeItem.typ==INTS)
GEN(MULT,0,0);
else
error(35);//操作数类型错误
break;
case DIVSYM:
if(typeItem.typ==INTS)
GEN(IDIV,0,0);
else
error(35);//操作数类型错误
break;
case MODSYM:
if(typeItem.typ==INTS)
GEN(IMOD,0,0);
else
error(35);//操作数类型错误
break;
case ANDSYM:
if(typeItem.typ==INTS)
GEN(ANDS,0,0);
else
error(35);//操作数类型错误
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -