private static void AnalyzeNode(
SyntaxNodeAnalysisContext context
)
{
var syntaxNode = context.Node as GenericNameSyntax;
// Attributes are not allowed on local function parameters so we
// have to ignore this node, otherwise we'll tell people to
// annotate a declaration that is forbidden.
if (syntaxNode.Ancestors().Any(a => a is LocalFunctionStatementSyntax))
{
return;
}
SymbolInfo hostTypeSymbolInfo = context.SemanticModel.GetSymbolInfo(syntaxNode);
var hostTypeSymbol = hostTypeSymbolInfo.Symbol as INamedTypeSymbol;
if (hostTypeSymbol == default)
{
return;
}
TypeArgumentListSyntax typeArgumentNode = syntaxNode.TypeArgumentList;
for (int index = 0; index < typeArgumentNode.Arguments.Count; index++)
{
ITypeParameterSymbol hostParameterSymbol = hostTypeSymbol.TypeParameters[index];
ImmutabilityScope declarationScope = hostParameterSymbol.GetImmutabilityScope();
if (declarationScope != ImmutabilityScope.SelfAndChildren)
{
continue;
}
SymbolInfo argumentSymbolInfo = context.SemanticModel.GetSymbolInfo(typeArgumentNode.Arguments[index]);
var typeSymbol = argumentSymbolInfo.Symbol as ITypeSymbol;
if (typeSymbol == default)
{
continue;
}
ValidateImmutability(
context,
typeSymbol
);
}
}