private void AnalyzeGenericNode(SyntaxNodeAnalysisContext context, OperatorTypesMatcher types)
{
var semanticModel = context.SemanticModel;
if (context.Node is not GenericNameSyntax genericNode)
{
return;
}
if (genericNode.TypeArgumentList.Arguments.Any(sy => sy.IsKind(SyntaxKind.OmittedTypeArgument)))
{
return;
}
var concurrentBuild = context.Compilation.Options.ConcurrentBuild;
ImmutableArray <ITypeParameterSymbol> originalTypes;
ImmutableArray <ITypeSymbol> writtenTypes;
switch (semanticModel.GetSymbolInfo(genericNode, context.CancellationToken).Symbol)
{
case INamedTypeSymbol symbol:
originalTypes = symbol.TypeParameters;
writtenTypes = symbol.TypeArguments;
break;
case IMethodSymbol symbol:
originalTypes = symbol.TypeParameters;
writtenTypes = symbol.TypeArguments;
break;
default:
return;
}
if (originalTypes.Length == 0 || originalTypes.Length != writtenTypes.Length)
{
return;
}
var notDefinedTypes = new List <string>();
for (int i = 0; i < originalTypes.Length; i++)
{
var originalType = originalTypes[i];
var writtenType = writtenTypes[i];
if (concurrentBuild)
{
if (originalType.ConstraintTypes.OfType <INamedTypeSymbol>()
.AsParallel(context.CancellationToken)
.Any(s => types.IsMatch(s.ConstructedFrom)))
{
goto TypeMatch;
}
}
else
{
if (originalType.ConstraintTypes.OfType <INamedTypeSymbol>()
.Do(_ => context.CancellationToken.ThrowIfCancellationRequested())
.Any(s => types.IsMatch(s.ConstructedFrom)))
{
goto TypeMatch;
}
}
continue;
TypeMatch:
if (writtenType.TypeKind == TypeKind.Error)
{
notDefinedTypes.Add(writtenType.Name.ToString());
}
}
if (notDefinedTypes.Count == 0)
{
return;
}
var diagnostic = DiagnosticDescriptors.AC0008_DefineOperatorType(
genericNode.GetLocation(), notDefinedTypes);
context.ReportDiagnostic(diagnostic);
}