override public EvaluateReturn Evaluate(SymbolTable st)
{
Token token = (Token) this.value;
string key = (string) token.value;
if((TokenType) st.GetType(key) == TokenType.INTEGER)
{
return new EvaluateReturn() { value = st.GetValue(key), type = TokenType.INT };
}
return new EvaluateReturn() { value = st.GetValue(key), type = TokenType.BOOL };
}
override public EvaluateReturn Evaluate(SymbolTable st)
{
Token childrenToken = (Token)this.children.ElementAt(0).value;
string stKey = (string)childrenToken.value;
EvaluateReturn evalReturn = this.children.ElementAt(1).Evaluate(st);
TokenType varType = (TokenType)st.GetType(stKey);
if (varType == TokenType.INTEGER)
{
if ((TokenType)evalReturn.type == TokenType.INT)
{
int assignmentValue = (int)evalReturn.value;
st.SetValue(stKey, assignmentValue);
}
else
{
throw new Exception("Variable is INT but boolean was given");
}
}
else
{
if ((TokenType)evalReturn.type == TokenType.BOOL)
{
bool assignmentValue = (bool)evalReturn.value;
st.SetValue(stKey, assignmentValue);
}
else
{
throw new Exception("Variable is Bool but Integer was given");
}
}
return(new EvaluateReturn()
{
value = null, type = null
});
}
override public EvaluateReturn Evaluate(SymbolTable st)
{
//criando nova symbol table para escopo
SymbolTable newScope = new SymbolTable();
newScope.Daddy = st;
//resgatando função da st
Token token = (Token)value;
string key = (string)token.value;
Node function;
function = (Node)st.GetValue(key, true);
//checking if arguments passed has the same length
int n_args = function.children.Count() - 1;
if (children.Count() != (n_args))
{
throw new Exception($"Func {key} receives {n_args} but {children.Count()} were given");
}
int counter = 0;
//reserva uma variavel para retorno da função na st
TokenType functionType = (TokenType)function.type.Evaluate(st).type;
if (functionType == TokenType.INTEGER)
{
newScope.SetType(key, TokenType.INTEGER);
}
else if (functionType == TokenType.BOOLEAN)
{
newScope.SetType(key, TokenType.BOOLEAN);
}
//inicializacao das variaveis no novo scopo
while (counter < n_args)
{
//inicializa vardecs
function.children.ElementAt(counter).Evaluate(newScope);
//seta valor das variaveis com base nos argumentos passados
EvaluateReturn arg = children.ElementAt(counter).Evaluate(st);
Token declarationVariableNameToken = (Token)function.children.ElementAt(counter).children.ElementAt(0).value;
string declarationVariableName = (string)declarationVariableNameToken.value;
TokenType stType = (TokenType)newScope.GetType(declarationVariableName);
if (stType == TokenType.INTEGER)
{
if ((TokenType)arg.type != TokenType.INT)
{
throw new Exception("Cant convert to int");
}
newScope.SetValue(declarationVariableName, (int)arg.value);
}
else if (stType == TokenType.BOOLEAN)
{
if ((TokenType)arg.type != TokenType.BOOL)
{
throw new Exception("Cant convert to bool");
}
newScope.SetValue(declarationVariableName, (bool)arg.value);
}
counter += 1;
}
//running function code
int statementsIndex = n_args;
function.children.ElementAt(statementsIndex).Evaluate(newScope);
//return
if (functionType != TokenType.BOOLEAN)
{
return(new EvaluateReturn()
{
value = newScope.GetValue(key), type = TokenType.INT
});
}
else
{
return(new EvaluateReturn()
{
value = newScope.GetValue(key), type = TokenType.BOOL
});
}
}