Как построить парсер рекурсивного спуска

Я работал над парсером рекурсивного спуска для простого калькулятора. Когда что-то объявляется, оно объявляется как int или как float. В настоящее время я сохраняю строки в два разных вектора, один для int и один для float. На данный момент мне все равно, какие числа связаны, я просто забочусь о том, что строка объявляется перед ее использованием.

Моя проблема заключается в том, что я должен иметь возможность выводить предупреждающее сообщение, если int и float используются в такой операции, как float + int.

Так что, если выражение это термин + выражение или термин-выражение или термин. В рекурсивном спуске, как я могу проверить, используется ли int в операции с плавающей точкой? Извините, если объяснение не ясно. Мне сложно это объяснить. Я добавил код, если это необходимо, я просто не хотел наводнить вопрос кодом.

редактировать:
все еще отсутствует куча кода, я решил просто взять важную часть, но я могу загрузить все это, если потребуется. Я вижу, что некоторые люди не поняли, что было главным вопросом. Одно из требований: «Когда целочисленные значения и значения с плавающей точкой смешаны в +, -, * и /, целое число преобразуется в число с плавающей точкой. Распечатайте сообщение с указанием номера строки и того, что преобразование будет необходимо». На данный момент программа читает из файла. если вы говорите «Int X;» в настоящий момент программа будет сохранять x в векторе int, а затем, когда вы говорите что-то вроде x = 5; он подтвердит, что x был объявлен, и назначение пройдет. моя проблема в том, где, если вы говорите, INT X; плавать у; int z; х = 5; у = 7,5; г = х + у; как бы я мог проверить это, так как в данный момент моя программа сохраняет только тип переменных, а не их значение. По сути, мне интересно, можно ли было бы сделать что-то вроде сканирования завершенного разбора, как если бы это была строка, или какой-то другой метод обнаружения операции с использованием int и float выполняется.

сканер lex создан с помощью flex

class Token {
Tokentype   type;
string      value;
int     linenum;

public:
Token(Tokentype t, string v="") {
type = t;
value = v;
}
Tokentype getType() { return type; }
string getValue() { return value; }
int getLinenum() { return linenum; }
};

vector<string> int_list;
vector<string> float_list;

class PTree {
PTreeNodetype   type;
PTree *left;
PTree *right;
public:
PTree(PTreeNodetype t, PTree *l=0, PTree *r=0) {
type = t;
left = l;
right = r;
}
PTreeNodetype getType(){ return type;}
};

// expr ::= term PLUS expr | term MINUS expr | term
PTree *
Expr() {

PTree *term = Term();
Token *t;

if (!term)
return 0;

t = getToken();

if (t == NULL){
delete t;
return 0;
}
if(t->getType() != T_SC)
{
if (t->getType() == T_RPAREN){
pushbacktoken(t);
return new PTree(EXPR, term);
}

if (t->getType() != T_PLUS && t->getType() != T_MINUS)
{
cout << t->getLinenum() <<  ":" << "Error:    expected + or -" << endl;
pushbacktoken(t);
delete t;
return 0;
}delete t;
PTree *expr = Expr();

if (!expr)
return 0;

return new PTree(EXPR, term, expr);
}

pushbacktoken(t);
return new PTree(EXPR, term);
}