- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
int expr_type=Expression();
if (param->Left != NULL)
{
param = param->Left;
if (param->node.NodeType == DATA_VAR)
{
SemantTree *type = (SemantTree *)param->node.Val.varible.VarType;
if (type->node.type != expr_type)
{
sc->PrintError("тип фактического параметра не приводится к типу соответствующего ему формального параметра", l);
return;
}
}
else//если не переменная
{
sc->PrintError("количество формальных и фактических параметров не совпадает", l);
return;
}
}
else//если вдруг левое поддерево==NULL
{
sc->PrintError("количество формальных и фактических параметров не совпадает", l);
return;
}
param_counter++;
if (param_counter>idr->node.Val.func.paramCount)//если счетчик фактических превысил кол-во формальных
{
sc->PrintError("количество формальных и фактических параметров не совпадает", l);
return;
}
теория формальных языков. моя лаба по семантическому анализу))