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