1 write to ContractNamedType
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (1)
254ContractNamedType = WellKnownTypeProvider.GetOrCreateTypeByMetadataName(WellKnownTypeNames.SystemDiagnosticContractsContract);
4 references to ContractNamedType
Microsoft.CodeAnalysis.AnalyzerUtilities (4)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (4)
984if (Equals(method.ContainingType, ContractNamedType) && 990var requiresMethods = ContractNamedType.GetMembers("Requires"); 991var assumeMethods = ContractNamedType.GetMembers("Assume"); 992var assertMethods = ContractNamedType.GetMembers("Assert");