public override void VisitConstructorBodyOperation(IConstructorBodyOperation operation)
{
Assert.Equal(OperationKind.ConstructorBodyOperation, operation.Kind);
VisitLocals(operation.Locals);
var builder = ArrayBuilder <IOperation> .GetInstance();
if (operation.Initializer != null)
{
builder.Add(operation.Initializer);
}
if (operation.BlockBody != null)
{
builder.Add(operation.BlockBody);
}
if (operation.ExpressionBody != null)
{
builder.Add(operation.ExpressionBody);
}
AssertEx.Equal(builder, operation.Children);
builder.Free();
}
override public void VisitConstructorBodyOperation(IConstructorBodyOperation operation)
{
Graph = ControlFlowGraph.Create(operation);
}
public override IOperation VisitConstructorBodyOperation(IConstructorBodyOperation operation, object argument)
{
return(new ConstructorBodyOperation(operation.Locals, ((Operation)operation).SemanticModel, operation.Syntax, Visit(operation.Initializer), Visit(operation.BlockBody), Visit(operation.ExpressionBody)));
}
public virtual void VisitConstructorBodyOperation(IConstructorBodyOperation operation)
{
DefaultVisit(operation);
}
private static void AnalyzeConstructorBody(OperationAnalysisContext context)
{
IConstructorBodyOperation operation = ((IConstructorBodyOperation)context.Operation);
Compilation compilation = context.Compilation;
TypeSet exceptions = GetIgnoredExceptionSet(compilation);
IMethodSymbol symbol = operation.GetSymbol();
if (symbol.IsStatic)
{
foreach (CrefSyntax cref in operation.GetDeclarationSyntax().GetDocumentedExceptions())
{
Diagnostic diagnostic = Diagnostic.Create(
descriptor: Descriptors.StaticConstructorsShouldNotThrowExceptions,
location: cref.Ancestors().OfType <XmlNodeSyntax>().FirstOrDefault()?.GetLocation()
);
context.ReportDiagnostic(diagnostic);
}
context.ReportUndocumentedExceptions(
descriptorForThrow: Descriptors.StaticConstructorsShouldNotThrowExceptions,
descriptorForInvocation: Descriptors.StaticConstructorsShouldCatchCalleeExceptions,
documented: exceptions,
exceptions: operation.GetExceptionalOperations(compilation)
);
}
else
{
exceptions = exceptions.Add(operation.GetDocumentedExceptions());
context.ReportUndocumentedExceptions(
descriptorForThrow: Descriptors.DocumentThrownExceptions,
descriptorForInvocation: Descriptors.DocumentCalleeExceptions,
documented: exceptions,
exceptions: operation.GetExceptionalOperations(compilation)
);
if (operation.Initializer is null)
{
//
// HACK: Implicit/compiler-generated calls to parameterless base-class constructors are
// not included in the operation hierarchy and need to be handled explicitly.
//
if (
(symbol is IMethodSymbol constructor) && !constructor.IsStatic &&
(constructor.ContainingType is INamedTypeSymbol type) && (type.TypeKind == TypeKind.Class) &&
(type.BaseType is INamedTypeSymbol baseType) &&
(baseType.GetParameterlessInstanceConstructor() is IMethodSymbol baseParameterlessConstructor)
)
{
Location location = operation.GetDeclarationSyntax().GetIdentifierLocations().First();
//
// TODO: better diagnostic message which refers to the implicit parameterless constructor call
//
context.ReportUndocumentedExceptions(
descriptorForThrow: Descriptors.DocumentThrownExceptions,
descriptorForInvocation: Descriptors.DocumentCalleeExceptions,
documented: exceptions,
exceptions: baseParameterlessConstructor
.GetDocumentedExceptions(compilation)
.Select(exception => new ExceptionalOperation(location, baseParameterlessConstructor, exception))
);
}
}
}
}
