public void RaiseError(Token token, MessageTemplate message, params object[] parameters)
{
Error = true;
Messenger.AtToken(token, message, parameters);
}
private void UpdateBlock(Block block,
Messenger messenger, Dictionary <FunctionSignature, FunctionInfo> functions)
{
if (block.ScopeHint == null)
{
block.ScopeHint = new Scope();
}
if (block.Header is IfHeader ifHeader)
{
ApplyCombinedScope(ifHeader);
}
Scope scope = block.ScopeHint;
// Three steps
// First: check if the header declares any variables - function arguments, for example
switch (block.Header)
{
case FunctionHeader function:
for (int i = 0; i < function.ParameterCount; i++)
{
string name = function.ParameterNames[i];
SprakType type = function.ParameterTypes[i];
scope.VariableDeclarations
.Add(name, new VariableInfo(type, -1, block));
}
break;
case LoopHeader loop:
string loopVarName = null;
if (loop.HasName)
{
loopVarName = loop.Name;
}
else if (loop.IsForeach)
{
loopVarName = "@";
}
if (loopVarName != null)
{
SprakType loopVarType;
if (loop.IsRange)
{
loopVarType = SprakType.Number;
}
else
{
loopVarType = SprakType.Any;
}
// we need an "undetermined" type here
scope.VariableDeclarations
.Add(loopVarName, new VariableInfo(loopVarType, -1, block));
}
break;
}
// Second: check if variables or functions have been declared in the statements of the block.
// If there is a subblock, apply this update to that block as well.
// Note that a subblock can a function declaration, but any other declarations in that subblock belong to its hints,
// not the the ones for the current block.
foreach (Expression expression in block.Statements)
{
switch (expression)
{
case VariableAssignment assignment:
if (assignment.IsDeclaration)
{
if (scope.VariableDeclarations.ContainsKey(assignment.Name))
{
messenger.AtToken(assignment.NameToken,
Messages.DuplicateVariable, assignment.Name);
}
else
{
scope.VariableDeclarations.Add(assignment.Name,
new VariableInfo(assignment.DeclarationType,
assignment.EndToken.End, block));
}
}
break;
case Block subBlock:
if (subBlock.Header is FunctionHeader function)
{
if (functions.ContainsKey(function.Signature))
{
messenger.AtToken(function.NameToken,
Messages.DuplicateFunction, function.Name);
}
else
{
functions.Add(function.Signature,
new FunctionInfo(function));
}
}
UpdateBlock(subBlock, messenger, functions);
break;
}
}
block.ScopeHint = scope;
}
