private void CheckForUnexpectedArguments(Alias alias, AliasDefinition aliasDef, string fileName)
{
foreach (var argument in alias.Arguments)
{
if (aliasDef.Parameters.All(p => p.Name != argument.Name))
{
Context.AddError(CompilerErrorFactory.UnexpectedArgument((Argument)argument,
fileName));
}
}
if (!aliasDef.HasDefaultBlockParameter)
{
if (alias.Entities.Any(e => !(e is Comment) && e is IMappedPair mp &&
(mp.BlockType == BlockType.Default || mp.BlockType == BlockType.JsonArray)))
{
Context.AddError(
CompilerErrorFactory.UnexpectedDefaultBlockArgument((IMappedPair)alias.Entities[0], fileName));
}
}
if (!aliasDef.HasDefaultValueParameter && alias.HasValue())
{
Context.AddError(CompilerErrorFactory.UnexpectedDefaultValueArgument(alias,
fileName));
}
}
private void CheckCompatibilityWithParameters(Alias alias, AliasDefinition aliasDef, string fileName)
{
foreach (var parameter in aliasDef.Parameters)
{
if (parameter.Name == "_") //Default parameter
{
if (!parameter.IsValueNode)
{
if (alias.Entities.All(e => e is Comment) && alias.ValueType != ValueType.Object)
{
ReportErrorInsideChoice(() => CompilerErrorFactory.DefaultBlockArgumentIsMissing(alias,
fileName));
}
}
else
{
if (parameter.HasValue())
{
continue; //if parameter has default value then skip check
}
if (!alias.HasValue())
{
ReportErrorInsideChoice(() => CompilerErrorFactory.DefaultValueArgumentIsMissing(alias,
fileName));
}
}
continue;
}
//Non default parameter
var argument = alias.Arguments.FirstOrDefault(a => a.Name == parameter.Name);
if (argument == null)
{
//Report Error if argument is missing and there is no default value for the parameter
if (parameter.Value == null && parameter.Entities.Count == 0 && parameter.ValueType != ValueType.Object)
{
ReportErrorInsideChoice(() => CompilerErrorFactory.ArgumentIsMissing(alias, parameter.Name,
fileName));
}
continue;
}
//Report error if type of argument (value/block) mismatch the type of parameter
if (((Argument)argument).IsValueNode != parameter.IsValueNode)
{
ReportErrorInsideChoice(() => parameter.IsValueNode
? CompilerErrorFactory.ValueArgumentIsExpected((Argument)argument,
fileName)
: CompilerErrorFactory.BlockArgumentIsExpected((Argument)argument,
fileName));
}
}
}
private void ValidateParameter(Parameter parameter, Alias alias, string moduleFileName)
{
if (parameter.Name == "_") //Default parameter
{
if (!parameter.IsValueNode)
{
if (alias.Entities.All(e => e is Comment) && !alias.Assignment.IsObjectAssignment())
{
ReportErrorInsideChoice(() => CompilerErrorFactory.DefaultBlockArgumentIsMissing(alias,
moduleFileName));
}
}
else
{
if (parameter.HasValue())
{
return; //if parameter has default value then skip check
}
if (!alias.HasValue())
{
ReportErrorInsideChoice(() => CompilerErrorFactory.DefaultValueArgumentIsMissing(alias,
moduleFileName));
}
}
return;
}
//Non default parameter
var argument = alias.Arguments.FirstOrDefault(a => a.Name == parameter.Name);
if (argument == null)
{
//Report Error if argument is missing and there is no default value for the parameter
if (parameter.Value == null && parameter.Entities.Count == 0 && !parameter.Assignment.IsObjectAssignment())
{
ReportErrorInsideChoice(() => CompilerErrorFactory.ArgumentIsMissing(alias, parameter.Name,
moduleFileName));
}
return;
}
//Report error if type of argument (value/block) mismatch the type of parameter
if (((Argument)argument).IsValueNode != parameter.IsValueNode)
{
ReportErrorInsideChoice(() => parameter.IsValueNode
? CompilerErrorFactory.ValueArgumentIsExpected((Argument)argument,
moduleFileName)
: CompilerErrorFactory.BlockArgumentIsExpected((Argument)argument,
moduleFileName));
}
}
