Binder\Binder.cs (19)
240internal virtual Symbol? ContainingMemberOrLambda
426var member = this.ContainingMemberOrLambda;
444var containingMember = this.ContainingMemberOrLambda;
592internal void ReportDiagnosticsIfObsolete(DiagnosticBag diagnostics, Symbol symbol, SyntaxNode node, bool hasBaseReceiver)
602internal void ReportDiagnosticsIfObsolete(DiagnosticBag diagnostics, Symbol symbol, SyntaxNodeOrToken node, bool hasBaseReceiver)
616internal void ReportDiagnosticsIfObsolete(BindingDiagnosticBag diagnostics, Symbol symbol, SyntaxNodeOrToken node, bool hasBaseReceiver)
634Symbol symbol,
637Symbol? containingMember,
661Symbol leastOverriddenSymbol = symbol.GetLeastOverriddenMember(containingType);
700Symbol symbol,
703Symbol? containingMember,
713internal static ObsoleteDiagnosticKind ReportDiagnosticsIfObsoleteInternal(DiagnosticBag diagnostics, Symbol symbol, SyntaxNodeOrToken node, Symbol? containingMember, BinderFlags location)
744internal static void ReportDiagnosticsIfObsoleteInternal(BindingDiagnosticBag diagnostics, Symbol symbol, SyntaxNodeOrToken node, Symbol containingMember, BinderFlags location)
772Symbol symbol,
780Symbol symbol,
789Symbol symbol,
917var currentContainer = scope.ContainingMemberOrLambda;
Binder\Binder.ValueChecks.cs (23)
32internal Symbol Symbol { get; }
56private MethodInfo(Symbol symbol, MethodSymbol? method, MethodSymbol? setMethod)
92Symbol symbol = ReferenceEquals(Symbol, Method) && method is not null ? method : Symbol;
625Symbol otherSymbol = null;
660(object)otherSymbol == null ? ImmutableArray<Symbol>.Empty : ImmutableArray.Create(otherSymbol),
1445Symbol containing = this.ContainingMemberOrLambda;
1654private static bool RequiresVariableReceiver(BoundExpression receiver, Symbol symbol)
1758var containing = this.ContainingMemberOrLambda;
1913var containingMember = ContainingMemberOrLambda;
1929private bool IsBadBaseAccess(SyntaxNode node, BoundExpression receiverOpt, Symbol member, BindingDiagnosticBag diagnostics,
1930Symbol propertyOrEventSymbolOpt = null)
2143Symbol? symbol = methodInfo.Symbol;
2224BindingDiagnosticBag diagnostics, bool isRefEscape, Symbol symbolForReporting)
2232var symbol = methodInfo.Symbol;
2309Symbol symbolForReporting)
2593static bool hasRefLikeReturn(Symbol symbol)
2821Symbol symbol,
2833var symbol = argument switch
2884SafeContext localScopeDepth, BindingDiagnosticBag diagnostics, Symbol symbolForReporting)
2891var symbol = methodInfo.Symbol;
2981Symbol symbolForReporting)
3130public override Symbol ContainingSymbol
3362private static void ReportReadOnlyError(Symbol symbol, SyntaxNode node, BindValueKind kind, bool checkingReceiver, BindingDiagnosticBag diagnostics)
Binder\Binder_Attributes.cs (7)
30ImmutableArray<Binder> binders, ImmutableArray<AttributeSyntax> attributesToBind, Symbol ownerSymbol, NamedTypeSymbol[] boundAttributeTypes,
138internal BoundAttribute BindAttribute(AttributeSyntax node, NamedTypeSymbol attributeType, Symbol? attributedMember, BindingDiagnosticBag diagnostics)
155private static BoundAttribute BindAttributeCore(Binder binder, AttributeSyntax node, NamedTypeSymbol attributeType, Symbol? attributedMember, BindingDiagnosticBag diagnostics)
528Symbol namedArgumentNameSymbol = BindNamedAttributeArgumentName(namedArgument, attributeType, diagnostics, out wasError, out resultKind);
592private Symbol BindNamedAttributeArgumentName(AttributeArgumentSyntax namedArgument, NamedTypeSymbol attributeType, BindingDiagnosticBag diagnostics, out bool wasError, out LookupResultKind resultKind)
601Symbol resultSymbol = this.ResultSymbol(result, name, 0, identifierName, diagnostics, false, out wasError, qualifierOpt: null);
607private TypeSymbol BindNamedAttributeArgumentType(AttributeArgumentSyntax namedArgument, Symbol namedArgumentNameSymbol, NamedTypeSymbol attributeType, BindingDiagnosticBag diagnostics)
Binder\Binder_Crefs.cs (71)
18internal ImmutableArray<Symbol> BindCref(CrefSyntax syntax, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
20ImmutableArray<Symbol> symbols = BindCrefInternal(syntax, out ambiguityWinner, diagnostics);
26private ImmutableArray<Symbol> BindCrefInternal(CrefSyntax syntax, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
44private ImmutableArray<Symbol> BindTypeCref(TypeCrefSyntax syntax, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
60return ImmutableArray.Create<Symbol>(result);
63private ImmutableArray<Symbol> BindQualifiedCref(QualifiedCrefSyntax syntax, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
99private ImmutableArray<Symbol> BindMemberCref(MemberCrefSyntax syntax, NamespaceOrTypeSymbol? containerOpt, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
110return ImmutableArray<Symbol>.Empty;
113ImmutableArray<Symbol> result;
142private ImmutableArray<Symbol> BindNameMemberCref(NameMemberCrefSyntax syntax, NamespaceOrTypeSymbol? containerOpt, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
172return ImmutableArray<Symbol>.Empty;
175ImmutableArray<Symbol> sortedSymbols = ComputeSortedCrefMembers(syntax, containerOpt, memberName, memberNameText, arity, syntax.Parameters != null, diagnostics);
180return ImmutableArray<Symbol>.Empty;
193private ImmutableArray<Symbol> BindIndexerMemberCref(IndexerMemberCrefSyntax syntax, NamespaceOrTypeSymbol? containerOpt, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
197ImmutableArray<Symbol> sortedSymbols = ComputeSortedCrefMembers(syntax, containerOpt, WellKnownMemberNames.Indexer, memberNameText: WellKnownMemberNames.Indexer, arity, syntax.Parameters != null, diagnostics);
202return ImmutableArray<Symbol>.Empty;
221private ImmutableArray<Symbol> BindOperatorMemberCref(OperatorMemberCrefSyntax syntax, NamespaceOrTypeSymbol? containerOpt, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
242return ImmutableArray<Symbol>.Empty;
245ImmutableArray<Symbol> sortedSymbols = ComputeSortedCrefMembers(syntax, containerOpt, memberName, memberNameText: memberName, arity, syntax.Parameters != null, diagnostics);
250return ImmutableArray<Symbol>.Empty;
264private ImmutableArray<Symbol> BindConversionOperatorMemberCref(ConversionOperatorMemberCrefSyntax syntax, NamespaceOrTypeSymbol? containerOpt, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
277return ImmutableArray<Symbol>.Empty;
291ImmutableArray<Symbol> sortedSymbols = ComputeSortedCrefMembers(syntax, containerOpt, memberName, memberNameText: memberName, arity, syntax.Parameters != null, diagnostics);
296return ImmutableArray<Symbol>.Empty;
308return ImmutableArray<Symbol>.Empty;
329private ImmutableArray<Symbol> ComputeSortedCrefMembers(CSharpSyntaxNode syntax, NamespaceOrTypeSymbol? containerOpt, string memberName, string memberNameText, int arity, bool hasParameterList, BindingDiagnosticBag diagnostics)
337private ImmutableArray<Symbol> ComputeSortedCrefMembers(NamespaceOrTypeSymbol? containerOpt, string memberName, string memberNameText, int arity, bool hasParameterList, CSharpSyntaxNode syntax,
342ArrayBuilder<Symbol> builder;
360builder = ArrayBuilder<Symbol>.GetInstance();
372builder = ArrayBuilder<Symbol>.GetInstance();
447return ImmutableArray<Symbol>.Empty;
450builder = ArrayBuilder<Symbol>.GetInstance(numInstanceConstructors);
455return ImmutableArray<Symbol>.Empty;
476private ImmutableArray<Symbol> ProcessCrefMemberLookupResults(
477ImmutableArray<Symbol> symbols,
482out Symbol? ambiguityWinner,
492ArrayBuilder<Symbol> candidates = ArrayBuilder<Symbol>.GetInstance();
496ImmutableArray<Symbol> results = PerformCrefOverloadResolution(candidates, parameterSymbols, arity, memberSyntax, out ambiguityWinner, diagnostics);
627private ImmutableArray<Symbol> ProcessParameterlessCrefMemberLookupResults(
628ImmutableArray<Symbol> symbols,
632out Symbol? ambiguityWinner,
642foreach (Symbol s in symbols)
673Symbol symbol = symbols[0];
680ArrayBuilder<Symbol> unwrappedSymbols = ArrayBuilder<Symbol>.GetInstance(symbols.Length);
682foreach (Symbol wrapped in symbols)
725return ImmutableArray.Create<Symbol>(ConstructWithCrefTypeParameters(arity, typeArgumentListSyntax, symbol));
732private void GetCrefOverloadResolutionCandidates(ImmutableArray<Symbol> symbols, int arity, TypeArgumentListSyntax? typeArgumentListSyntax, ArrayBuilder<Symbol> candidates)
734foreach (Symbol candidate in symbols)
736Symbol constructedCandidate = ConstructWithCrefTypeParameters(arity, typeArgumentListSyntax, candidate);
758private static ImmutableArray<Symbol> PerformCrefOverloadResolution(ArrayBuilder<Symbol> candidates, ImmutableArray<ParameterSymbol> parameterSymbols, int arity, MemberCrefSyntax memberSyntax, out Symbol? ambiguityWinner, BindingDiagnosticBag diagnostics)
760ArrayBuilder<Symbol>? viable = null;
762foreach (Symbol candidate in candidates)
770Symbol signatureMember;
834viable = ArrayBuilder<Symbol>.GetInstance();
861return ImmutableArray<Symbol>.Empty;
881private Symbol ConstructWithCrefTypeParameters(int arity, TypeArgumentListSyntax? typeArgumentListSyntax, Symbol symbol)
Binder\Binder_Expressions.cs (81)
37var memberOpt = this.ContainingMemberOrLambda?.ContainingNonLambdaMember();
113return BadExpression(syntax, LookupResultKind.Empty, ImmutableArray<Symbol>.Empty);
121return BadExpression(syntax, LookupResultKind.Empty, ImmutableArray<Symbol>.Empty, childNode);
129return BadExpression(syntax, LookupResultKind.Empty, ImmutableArray<Symbol>.Empty, childNodes);
137return BadExpression(syntax, lookupResultKind, ImmutableArray<Symbol>.Empty);
145return BadExpression(syntax, lookupResultKind, ImmutableArray<Symbol>.Empty, childNode);
151private BoundBadExpression BadExpression(SyntaxNode syntax, LookupResultKind resultKind, ImmutableArray<Symbol> symbols)
164private BoundBadExpression BadExpression(SyntaxNode syntax, LookupResultKind resultKind, ImmutableArray<Symbol> symbols, BoundExpression childNode)
177private BoundBadExpression BadExpression(SyntaxNode syntax, LookupResultKind resultKind, ImmutableArray<Symbol> symbols, ImmutableArray<BoundExpression> childNodes, bool wasCompilerGenerated = false)
219ArrayBuilder<Symbol> symbols = ArrayBuilder<Symbol>.GetInstance();
320if (op.NoCommonTypeError == ErrorCode.ERR_InvalidQM && trueArg is Symbol trueSymbol && falseArg is Symbol falseSymbol)
861node, LookupResultKind.Empty, ImmutableArray<Symbol>.Empty, ImmutableArray.Create<BoundExpression>(BindToTypeForErrorRecovery(BindValue(node.Expression, BindingDiagnosticBag.Discarded, BindValueKind.RefersToLocation))),
1048argumentSyntax, LookupResultKind.Empty, ImmutableArray<Symbol>.Empty,
1332Symbol container = this.ContainingMemberOrLambda;
1507internal void ReportFieldContextualKeywordConflictIfAny(Symbol? symbol, SyntaxNode syntax, SyntaxToken identifier, BindingDiagnosticBag diagnostics)
1641var members = ArrayBuilder<Symbol>.GetInstance();
1642Symbol symbol = GetSymbolOrMethodOrPropertyGroup(lookupResult, node, name, node.Arity, members, diagnostics, out isError, qualifierOpt: null); // reports diagnostics in result.
1765void reportPrimaryConstructorParameterShadowing(SimpleNameSyntax node, Symbol symbol, string name, bool invoked, LookupResult lookupResult, ArrayBuilder<Symbol> members, BindingDiagnosticBag diagnostics)
1877private BoundExpression SynthesizeMethodGroupReceiver(CSharpSyntaxNode syntax, ArrayBuilder<Symbol> members)
1970private bool IsBadLocalOrParameterCapture(Symbol symbol, TypeSymbol type, RefKind refKind)
1987private BoundExpression BindNonMethod(SimpleNameSyntax node, Symbol symbol, BindingDiagnosticBag diagnostics, LookupResultKind resultKind, bool indexed, bool isError)
2273private bool ReportSimpleProgramLocalReferencedOutsideOfTopLevelStatement(SimpleNameSyntax node, Symbol symbol, BindingDiagnosticBag diagnostics)
2290private BoundExpression SynthesizeReceiver(SyntaxNode node, Symbol member, BindingDiagnosticBag diagnostics)
2326var containingMember = ContainingMember();
2361internal Symbol ContainingMember()
2391var containingMember = this.ContainingMemberOrLambda;
2470var symbol = this.BindNamespaceAliasSymbol(node, diagnostics);
2474private static BoundExpression CreateBoundNamespaceOrTypeExpression(ExpressionSyntax node, Symbol symbol)
3292internal static void CheckRestrictedTypeInAsyncMethod(Symbol containingSymbol, TypeSymbol type, BindingDiagnosticBag diagnostics, SyntaxNode syntax)
3309foreach (Symbol member in ContainingType?.GetMembers(identifier) ?? ImmutableArray<Symbol>.Empty)
3430where TMember : Symbol
4505ImmutableArray<Symbol>.Empty,
4544ImmutableArray<Symbol>.Empty,
4876symbols: ImmutableArray<Symbol>.Empty,
4887symbols: ImmutableArray<Symbol>.Empty, //CONSIDER: we could look for a matching constructor on System.ValueType
4930symbols: ImmutableArray<Symbol>.Empty, //CONSIDER: we could look for a matching constructor on System.ValueType
5251return new BoundBadExpression(syntax, LookupResultKind.Empty, ImmutableArray<Symbol?>.Empty, ImmutableArray<BoundExpression>.Empty, CreateErrorType());
5460return new BoundBadExpression(node, LookupResultKind.NotInvocable, StaticCast<Symbol>.From(type.InstanceConstructors), ImmutableArray.Create(argument), type);
5507return new BoundBadExpression(node, LookupResultKind.OverloadResolutionFailure, StaticCast<Symbol>.From(type.InstanceConstructors), childNodes, type);
5604return new BoundBadExpression(node, LookupResultKind.NotCreatable, ImmutableArray.Create<Symbol?>(type), children.ToImmutableAndFree(), type) { WasCompilerGenerated = wasCompilerGenerated };
6133private static ImmutableSegmentedDictionary<string, Symbol> GetMembersRequiringInitialization(MethodSymbol constructor)
6138return ImmutableSegmentedDictionary<string, Symbol>.Empty;
6150ImmutableSegmentedDictionary<string, Symbol> requiredMembers = GetMembersRequiringInitialization(constructor);
6172var memberSymbol = assignmentOperator.Left switch
6210private static void ReportMembersRequiringInitialization(SyntaxNode creationSyntax, ImmutableSegmentedDictionary<string, Symbol>.Builder requiredMembersBuilder, BindingDiagnosticBag diagnostics)
6440return BadExpression(elementInitializer, LookupResultKind.NotInvocable, ImmutableArray<Symbol>.Empty, boundElementInitializerExpressions);
6891ArrayBuilder<Symbol> symbols = ArrayBuilder<Symbol>.GetInstance();
7071return new BoundBadExpression(node, LookupResultKind.OverloadResolutionFailure, ImmutableArray<Symbol>.Empty, children, interfaceType);
7499Symbol leftSymbol;
7820ArrayBuilder<Symbol> symbols = lookupResult.Symbols;
7825Symbol sym = ResultSymbol(lookupResult, rightName, rightArity, node, diagnostics, false, out wasError, ns, options);
8014if (resolution.IsNonMethodExtensionMember(out Symbol? extensionMember))
8031private BoundExpression GetExtensionMemberAccess(SyntaxNode syntax, BoundExpression? receiver, Symbol extensionMember, BindingDiagnosticBag diagnostics)
8205ReportQueryLookupFailed(node, boundLeft, plainName, ImmutableArray<Symbol>.Empty, diagnostics);
8267return this.BindMemberAccessBadResult(syntax, node.Name, node.ReceiverOpt, node.LookupError, StaticCast<Symbol>.From(node.Methods), node.ResultKind);
8278ImmutableArray<Symbol> symbols,
8284foreach (var s in symbols)
8310var symbolOpt = symbols.Length == 1 ? symbols[0] : null;
8314(object)symbolOpt == null ? ImmutableArray<Symbol>.Empty : ImmutableArray.Create(symbolOpt),
8319private TypeSymbol GetNonMethodMemberType(Symbol symbolOpt)
8401var members = ArrayBuilder<Symbol>.GetInstance();
8404Symbol symbol = GetSymbolOrMethodOrPropertyGroup(lookupResult, right, plainName, arity, members, diagnostics, out wasError,
8862var members = ArrayBuilder<Symbol>.GetInstance();
8864Symbol symbol = GetSymbolOrMethodOrPropertyGroup(lookupResult, node, rightName, arity, members, diagnostics, out wasError, qualifierOpt: null);
9070private void CheckReceiverAndRuntimeSupportForSymbolAccess(SyntaxNode node, BoundExpression receiverOpt, Symbol symbol, BindingDiagnosticBag diagnostics)
9122static bool isNotImplementableInstanceMember(Symbol symbol)
9178Symbol symbol,
9226private Symbol GetSymbolOrMethodOrPropertyGroup(LookupResult result, SyntaxNode node, string plainName, int arity, ArrayBuilder<Symbol> methodOrPropertyGroup, BindingDiagnosticBag diagnostics, out bool wasError, NamespaceOrTypeSymbol qualifierOpt)
9236Symbol other = null; // different member type from 'methodOrPropertyGroup'
9308private static bool IsMethodOrPropertyGroup(ArrayBuilder<Symbol> members)
9646return new BoundBadExpression(node, LookupResultKind.Empty, ImmutableArray<Symbol>.Empty, childBoundNodes, CreateErrorType(), hasErrors: true);
9992foreach (Symbol symbol in lookupResult.Symbols)
11073Symbol extensionMember = singleLookupResult.Symbol;
11315return Symbol.ReportUseSiteDiagnostic(diagnosticInfo, diagnostics, getErrorLocation());
11417internal static bool MethodOrLambdaRequiresValue(Symbol symbol, CSharpCompilation compilation)
Binder\Binder_Lookup.cs (47)
214foreach (var candidate in candidates)
374Symbol existingDefinition = submissionSymbols.Symbols.First();
408Symbol firstSymbol = submissionSymbols.Symbols.First();
519foreach (Symbol member in members)
594Symbol symbolWithoutSuffix;
600Symbol symbolWithSuffix = null;
660private bool IsAmbiguousResult(LookupResult result, out Symbol resultSymbol)
686private Symbol ResolveMultipleSymbolsInAttributeTypeLookup(ArrayBuilder<Symbol> symbols)
718private static bool NameAndArityMatchRecursively(Symbol x, Symbol y)
738static bool isRoot(Symbol symbol) => symbol is null || symbol is NamespaceSymbol { IsGlobalNamespace: true };
741private bool IsSingleViableAttributeType(LookupResult result, out Symbol symbol, ref CompoundUseSiteInfo<AssemblySymbol> attributeTypeViabilityUseSiteInfo)
757private SingleLookupResult GenerateNonViableAttributeTypeResult(Symbol symbol, DiagnosticInfo diagInfo, bool diagnose)
767private bool CheckAttributeTypeViability(Symbol symbol, bool diagnose, ref DiagnosticInfo diagInfo, ref CompoundUseSiteInfo<AssemblySymbol> attributeTypeViabilityUseSiteInfo)
854foreach (Symbol member in members)
924var other = GetNearestOtherSymbol(basesBeingResolved, type);
979var allMembers = new HashSet<Symbol>(comparer);
980var conflictingMembers = new HashSet<Symbol>(comparer);
1033foreach (var sym in allMembers)
1074private static Symbol GetNearestOtherSymbol(ConsList<TypeSymbol> list, TypeSymbol type)
1374private static bool IsMethodOrIndexer(Symbol symbol)
1379internal static ImmutableArray<Symbol> GetCandidateMembers(NamespaceOrTypeSymbol nsOrType, string name, LookupOptions options, Binder originalBinder)
1383return nsOrType.GetTypeMembers(name).Cast<NamedTypeSymbol, Symbol>();
1391return ImmutableArray<Symbol>.Empty;
1403internal static ImmutableArray<Symbol> GetCandidateMembers(NamespaceOrTypeSymbol nsOrType, LookupOptions options, Binder originalBinder)
1407return StaticCast<Symbol>.From(nsOrType.GetTypeMembersUnordered());
1415return ImmutableArray<Symbol>.Empty;
1423private bool IsInScopeOfAssociatedSyntaxTree(Symbol symbol)
1471internal SingleLookupResult CheckViability(Symbol symbol, int arity, LookupOptions options, TypeSymbol accessThroughType, bool diagnose, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, ConsList<TypeSymbol> basesBeingResolved = null)
1527var unwrappedSymbols = ImmutableArray.Create<Symbol>(unwrappedSymbol);
1552diagInfo = new CSDiagnosticInfo(ErrorCode.ERR_BadAccess, new[] { unwrappedSymbol }, ImmutableArray.Create<Symbol>(unwrappedSymbol), additionalLocations: ImmutableArray<Location>.Empty);
1626private CSDiagnosticInfo MakeCallMethodsDirectlyDiagnostic(Symbol symbol)
1663/// Does not consider <see cref="Symbol.CanBeReferencedByName"/> - that is left to the caller.
1665internal bool CanAddLookupSymbolInfo(Symbol symbol, LookupOptions options, LookupSymbolsInfo info, TypeSymbol accessThroughType, AliasSymbol aliasSymbol = null)
1731private bool IsCrefAccessible(Symbol symbol)
1736private static bool IsEffectivelyPrivate(Symbol symbol)
1738for (Symbol s = symbol; (object)s != null; s = s.ContainingSymbol)
1753internal bool IsAccessible(Symbol symbol, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, TypeSymbol accessThroughType = null, ConsList<TypeSymbol> basesBeingResolved = null)
1759internal bool IsAccessible(Symbol symbol, SyntaxNode syntax, BindingDiagnosticBag diagnostics)
1772internal bool IsAccessible(Symbol symbol, TypeSymbol accessThroughType, out bool failedThroughTypeCheck, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, ConsList<TypeSymbol> basesBeingResolved = null)
1784/// Should only be called by <see cref="IsAccessible(Symbol, TypeSymbol, out bool, ref CompoundUseSiteInfo{AssemblySymbol}, ConsList{TypeSymbol})"/>,
1787internal virtual bool IsAccessibleHelper(Symbol symbol, TypeSymbol accessThroughType, out bool failedThroughTypeCheck, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, ConsList<TypeSymbol> basesBeingResolved)
1793internal bool IsNonInvocableMember(Symbol symbol)
1809private bool IsInvocableMember(Symbol symbol)
1834private static bool IsInstance(Symbol symbol)
1851private static bool WrongArity(Symbol symbol, int arity, bool diagnose, LookupOptions options, out DiagnosticInfo diagInfo)
Binder\Binder_Patterns.cs (10)
334out Symbol? variableSymbol, out BoundExpression? variableAccess);
370lengthAccess = new BoundBadExpression(node, LookupResultKind.Empty, ImmutableArray<Symbol?>.Empty, ImmutableArray<BoundExpression>.Empty, CreateErrorType(), hasErrors: true) { WasCompilerGenerated = true };
847hasErrors: ref hasErrors, variableSymbol: out Symbol? variableSymbol, variableAccess: out BoundExpression? variableAccess);
872out Symbol? variableSymbol,
1034ref hasErrors, out Symbol? variableSymbol, out BoundExpression? variableAccess);
1299foreach (var symbol in tupleType.GetMembers(name))
1331Symbol foundSymbol = BindTypeOrAliasOrKeyword(node.VarKeyword, node, diagnostics, out bool isVar).Symbol;
1361variableSymbol: out Symbol? variableSymbol, variableAccess: out BoundExpression? variableAccess);
1513Symbol? symbol = null;
1539private Symbol? BindPropertyPatternMember(
Binder\Binder_Query.cs (6)
302state.selectOrGroup, LookupResultKind.OverloadResolutionFailure, ImmutableArray<Symbol?>.Empty,
736yExpression = new BoundBadExpression(yExpression.Syntax, LookupResultKind.Empty, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create(yExpression), CreateErrorType());
742yExpression = new BoundBadExpression(yExpression.Syntax, LookupResultKind.Empty, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create(yExpression), yExpression.Type);
803field2Value = new BoundBadExpression(field2Value.Syntax, LookupResultKind.Empty, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create(field2Value), field2Value.Type, true);
959receiver = new BoundBadExpression(receiver.Syntax, LookupResultKind.NotAValue, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create(receiver), CreateErrorType());
981receiver = new BoundBadExpression(receiver.Syntax, LookupResultKind.NotAValue, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create(receiver), CreateErrorType());
Binder\Binder_QueryErrors.cs (3)
29ImmutableArray<Symbol> symbols,
164internal static void ReportQueryInferenceFailed(CSharpSyntaxNode queryClause, string methodName, BoundExpression receiver, AnalyzedArguments arguments, ImmutableArray<Symbol> symbols, BindingDiagnosticBag diagnostics)
213private static bool ReportQueryInferenceFailedSelectMany(FromClauseSyntax fromClause, string methodName, BoundExpression receiver, AnalyzedArguments arguments, ImmutableArray<Symbol> symbols, BindingDiagnosticBag diagnostics)
Binder\Binder_Symbols.cs (46)
196Symbol symbol = null;
350private NamespaceOrTypeSymbol GetContainingNamespaceOrNonExtensionType(Symbol symbol)
361internal Symbol BindNamespaceAliasSymbol(IdentifierNameSyntax node, BindingDiagnosticBag diagnostics)
376Symbol bindingResult = ResultSymbol(result, plainName, 0, node, diagnostics, false, out wasError, qualifierOpt: null, options: LookupOptions.NamespaceAliasesOnly);
587var bindingResult = BindNamespaceAliasSymbol(node.Alias, diagnostics);
886Symbol bindingResult = null;
1059Symbol.ReportUseSiteDiagnostic(info, diagnostics, node.Location);
1092private static Symbol UnwrapAliasNoDiagnostics(Symbol symbol, ConsList<TypeSymbol> basesBeingResolved = null)
1124private Symbol UnwrapAlias(Symbol symbol, BindingDiagnosticBag diagnostics, SyntaxNode syntax, ConsList<TypeSymbol> basesBeingResolved = null)
1130private Symbol UnwrapAlias(Symbol symbol, out AliasSymbol alias, BindingDiagnosticBag diagnostics, SyntaxNode syntax, ConsList<TypeSymbol> basesBeingResolved = null)
1288Symbol lookupResultSymbol = ResultSymbol(lookupResult, plainName, arity, node, diagnostics, (basesBeingResolved != null), out wasError, qualifierOpt, options);
1317ImmutableArray.Create<Symbol>(lookupResultSymbol),
1429ArrayBuilder<Symbol> members,
1477receiver = new BoundBadExpression(receiver.Syntax, LookupResultKind.Ambiguous, ImmutableArray<Symbol>.Empty, ImmutableArray.Create(receiver), receiver.Type, hasErrors: true).MakeCompilerGenerated();
1531ArrayBuilder<Symbol> members, TypeSymbol receiverType,
1573private static readonly Func<Symbol, MethodSymbol> s_toMethodSymbolFunc = s => (MethodSymbol)s;
1574private static readonly Func<Symbol, PropertySymbol> s_toPropertySymbolFunc = s => (PropertySymbol)s;
1682internal Symbol GetSpecialTypeMember(SpecialMember member, BindingDiagnosticBag diagnostics, SyntaxNode syntax)
1687internal static Symbol GetSpecialTypeMember(CSharpCompilation compilation, SpecialMember member, BindingDiagnosticBag diagnostics, SyntaxNode syntax)
1689Symbol memberSymbol;
1696where TSymbol : Symbol
1736private static UseSiteInfo<AssemblySymbol> GetUseSiteInfoForWellKnownMemberOrContainingType(Symbol symbol)
1751internal static bool ReportUseSite(Symbol symbol, BindingDiagnosticBag diagnostics, SyntaxNode node)
1756internal static bool ReportUseSite(Symbol symbol, BindingDiagnosticBag diagnostics, SyntaxToken token)
1767internal static bool ReportUseSite(Symbol symbol, BindingDiagnosticBag diagnostics, Location location)
1819internal Symbol GetWellKnownTypeMember(WellKnownMember member, BindingDiagnosticBag diagnostics, Location location = null, SyntaxNode syntax = null, bool isOptional = false)
1828internal static Symbol GetWellKnownTypeMember(CSharpCompilation compilation, WellKnownMember member, BindingDiagnosticBag diagnostics, Location location = null, SyntaxNode syntax = null, bool isOptional = false)
1833Symbol memberSymbol = GetWellKnownTypeMember(compilation, member, out useSiteInfo, isOptional);
1842internal static Symbol GetWellKnownTypeMember(CSharpCompilation compilation, WellKnownMember member, out UseSiteInfo<AssemblySymbol> useSiteInfo, bool isOptional = false)
1844Symbol memberSymbol = compilation.GetWellKnownTypeMember(member);
1885private class ConsistentSymbolOrder : IComparer<Symbol>
1888public int Compare(Symbol fst, Symbol snd)
1910internal Symbol ResultSymbol(
1921Symbol symbol = resultSymbol(result, simpleName, arity, where, diagnostics, suppressUseSiteDiagnostics, out wasError, qualifierOpt, options);
1939Symbol resultSymbol(
2040Debug.Assert(!Symbol.Equals(originalSymbols[best.Index], originalSymbols[secondBest.Index], TypeCompareKind.ConsiderEverything) || options.IsAttributeTypeLookup(),
2043Debug.Assert(!Symbol.Equals(first, second, TypeCompareKind.ConsiderEverything) || !Symbol.Equals(originalSymbols[best.Index], originalSymbols[secondBest.Index], TypeCompareKind.ConsiderEverything),
2199!Symbol.Equals(originalSymbols[best.Index], originalSymbols[secondBest.Index], TypeCompareKind.ConsiderEverything),
2362private static AssemblySymbol GetContainingAssembly(Symbol symbol)
2482private BestSymbolInfo GetBestSymbolInfo(ArrayBuilder<Symbol> symbols, out BestSymbolInfo secondBest)
2528private static BestSymbolLocation GetLocation(CSharpCompilation compilation, Symbol symbol)
Binder\BinderFactory.BinderFactoryVisitor.cs (10)
24private Symbol _memberOpt;
27internal void Initialize(BinderFactory factory, int position, CSharpSyntaxNode memberDeclarationOpt, Symbol memberOpt)
436Symbol containingSymbol = binder.ContainingMemberOrLambda;
560private Symbol GetMemberSymbol(string memberName, TextSpan memberSpan, NamedTypeSymbol container, SymbolKind kind)
566foreach (Symbol sym in sourceMemberContainerTypeSymbol.GetMembersToMatchAgainstDeclarationSpan())
573if (sym.Name == memberName && checkSymbol(sym, memberSpan, kind, out Symbol result))
581foreach (Symbol sym in container.GetMembers(memberName))
583if (checkSymbol(sym, memberSpan, kind, out Symbol result))
592bool checkSymbol(Symbol sym, TextSpan memberSpan, SymbolKind kind, out Symbol result)
Binder\BindingDiagnosticBag.cs (7)
87internal void AddDependencies(Symbol? symbol)
95internal bool ReportUseSite(Symbol? symbol, SyntaxNode node)
100internal bool ReportUseSite(Symbol? symbol, SyntaxToken token)
105internal bool ReportUseSite(Symbol? symbol, Location location)
108internal bool ReportUseSite<TData>(Symbol? symbol, Func<TData, Location> getLocation, TData data)
151return Symbol.ReportUseSiteDiagnostic(diagnosticInfo, diagnosticBag, location);
174internal CSDiagnosticInfo Add(ErrorCode code, Location location, ImmutableArray<Symbol> symbols, params object[] args)
Binder\InMethodBinder.cs (10)
26private SmallDictionary<string, Symbol> _lazyDefinitionMap;
48private static void RecordDefinition<T>(SmallDictionary<string, Symbol> declarationMap, ImmutableArray<T> definitions) where T : Symbol
50foreach (Symbol s in definitions)
71internal override Symbol ContainingMemberOrLambda
242private static bool ReportConflictWithParameter(Symbol parameter, Symbol newSymbol, string name, Location newLocation, BindingDiagnosticBag diagnostics)
330internal override bool EnsureSingleDefinition(Symbol symbol, string name, Location location, BindingDiagnosticBag diagnostics)
354map = new SmallDictionary<string, Symbol>();
361Symbol existingDeclaration;
Binder\LookupResult.cs (17)
17internal delegate SingleLookupResult LookupFilter(Symbol sym);
68private readonly ArrayBuilder<Symbol> _symbolList;
79_symbolList = new ArrayBuilder<Symbol>();
109internal Symbol SingleSymbolOrDefault
117internal ArrayBuilder<Symbol> Symbols
155internal static SingleLookupResult Good(Symbol symbol)
160internal static SingleLookupResult WrongArity(Symbol symbol, DiagnosticInfo error)
170internal static SingleLookupResult NotReferencable(Symbol symbol, DiagnosticInfo error)
175internal static SingleLookupResult StaticInstanceMismatch(Symbol symbol, DiagnosticInfo error)
180internal static SingleLookupResult Inaccessible(Symbol symbol, DiagnosticInfo error)
185internal static SingleLookupResult NotInvocable(Symbol unwrappedSymbol, Symbol symbol, bool diagnose)
191internal static SingleLookupResult NotLabel(Symbol symbol, DiagnosticInfo error)
196internal static SingleLookupResult NotTypeOrNamespace(Symbol symbol, DiagnosticInfo error)
201internal static SingleLookupResult NotTypeOrNamespace(Symbol unwrappedSymbol, Symbol symbol, bool diagnose)
208internal static SingleLookupResult NotAnAttributeType(Symbol symbol, DiagnosticInfo error)
Binder\Semantics\AccessCheck.cs (11)
25Symbol symbol,
38Symbol symbol,
53Symbol symbol,
67internal static bool IsEffectivelyPublicOrInternal(Symbol symbol, out bool isInternal)
134Symbol symbol,
135Symbol within, // must be assembly or named type symbol
223private static bool IsNamedTypeAccessible(NamedTypeSymbol type, Symbol within, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, ConsList<TypeSymbol> basesBeingResolved = null)
259Symbol within)
300Symbol within,
345Symbol within,
494Symbol within,
Binder\Semantics\OverloadResolution\OverloadResolution.cs (60)
66where TMember : Symbol
80where TMember : Symbol
195where TMember : Symbol
320where TMember : Symbol
359where TMember : Symbol
439where TMember : Symbol
491private static readonly ObjectPool<PooledHashSet<Symbol>> s_HiddenSymbolsSetPool = PooledHashSet<Symbol>.CreatePool(Microsoft.CodeAnalysis.CSharp.Symbols.SymbolEqualityComparer.AllIgnoreOptions);
494where TMember : Symbol
496PooledHashSet<Symbol> hiddenSymbols = null;
507foreach (Symbol hidden in getHiddenMembers(result.LeastOverriddenMember.ConstructedFrom()))
539static ImmutableArray<Symbol> getHiddenMembers(Symbol member)
550return ImmutableArray<Symbol>.Empty;
581BoundExpression receiverOpt) where TMember : Symbol
607private static void RemoveStaticInstanceMismatches<TMember>(ArrayBuilder<MemberResolutionResult<TMember>> results, bool requireStatic) where TMember : Symbol
625private static void RemoveMethodsNotDeclaredStatic<TMember>(ArrayBuilder<MemberResolutionResult<TMember>> results) where TMember : Symbol
641private void RemoveConstraintViolations<TMember>(ArrayBuilder<MemberResolutionResult<TMember>> results, CompoundUseSiteInfo<AssemblySymbol> template) where TMember : Symbol
662private void RemoveCallingConventionMismatches<TMember>(ArrayBuilder<MemberResolutionResult<TMember>> results, in CallingConventionInfo expectedConvention) where TMember : Symbol
685var member = (MethodSymbol)(Symbol)result.Member;
791private bool FailsConstraintChecks<TMember>(TMember member, out ArrayBuilder<TypeParameterDiagnosticInfo> constraintFailureDiagnosticsOpt, CompoundUseSiteInfo<AssemblySymbol> template) where TMember : Symbol
852bool isFunctionPointerConversion) where TMember : Symbol
868var method = (MethodSymbol)(Symbol)result.Member;
900private static Dictionary<NamedTypeSymbol, ArrayBuilder<TMember>> PartitionMembersByContainingType<TMember>(ArrayBuilder<TMember> members) where TMember : Symbol
918private static void ClearContainingTypeMap<TMember>(ref Dictionary<NamedTypeSymbol, ArrayBuilder<TMember>> containingTypeMapOpt) where TMember : Symbol
1067where TMember : Symbol
1235where TMember : Symbol
1296public static bool IsValidParams(Binder binder, Symbol member, bool disallowExpandedNonArrayParams, out TypeWithAnnotations definitionElementType)
1380Symbol member,
1381Symbol moreDerivedOverride,
1413where TMember : Symbol
1437where TMember : Symbol
1457private static bool HidesByName(Symbol member)
1471where TMember : Symbol
1497where TMember : Symbol
1620where TMember : Symbol
1663where TMember : Symbol
1781where TMember : Symbol
1790where TMember : Symbol
1851where TMember : Symbol
1938where TMember : Symbol
2088where TMember : Symbol
2111where TMember : Symbol
2151where TMember : Symbol
2613where TMember : Symbol
2637where TMember : Symbol
2697private static void GetParameterCounts<TMember>(MemberResolutionResult<TMember> m, ArrayBuilder<BoundExpression> arguments, out int declaredParameterCount, out int parametersUsedIncludingExpansionAndOptional) where TMember : Symbol
3875out bool hasAnyRefOmittedArgument) where TMember : Symbol
4023Options options) where TMember : Symbol
4036out bool hasAnyRefOmittedArgument) where TMember : Symbol
4094where TMember : Symbol
4175where TMember : Symbol
4243where TMember : Symbol
4391internal static ImmutableArray<TypeParameterSymbol> GetTypeParametersIncludingExtension<TMember>(TMember member) where TMember : Symbol
4417where TMember : Symbol
4468(MethodSymbol)(Symbol)member,
4519Symbol candidate, // method or property
4718Symbol candidate, // method or property
4794private static TMember GetConstructedFrom<TMember>(TMember member) where TMember : Symbol
4801return (TMember)(Symbol)(member as MethodSymbol).ConstructedFrom;
Binder\Semantics\OverloadResolution\OverloadResolutionResult.cs (25)
26internal class OverloadResolutionResult<TMember> where TMember : Symbol
204bool isParamsModifierValidation = false) where T : Symbol
215var symbols = StaticCast<Symbol>.From(memberGroup);
580private static void ReportUnsupportedMetadata(Location location, BindingDiagnosticBag diagnostics, ImmutableArray<Symbol> symbols, MemberResolutionResult<TMember> firstUnsupported)
592Symbol.ReportUseSiteDiagnostic(diagInfo, diagnostics, location);
595private static void ReportWrongCallingConvention(Location location, BindingDiagnosticBag diagnostics, ImmutableArray<Symbol> symbols, MemberResolutionResult<TMember> firstSupported, MethodSymbol target)
622ImmutableArray<Symbol> symbols,
641ImmutableArray<Symbol> symbols,
656Symbol symbol = staticInstanceMismatch.Member;
710var method = (MethodSymbol)(Symbol)mismatch.Member;
740ImmutableArray<Symbol> symbols,
793ImmutableArray<Symbol> symbols)
813ImmutableArray<Symbol> symbols)
846ImmutableArray<Symbol> symbols)
881ImmutableArray<Symbol> symbols,
926ImmutableArray<Symbol> symbols,
1045MethodSymbol method = (MethodSymbol)(Symbol)result.Member;
1085ImmutableArray<Symbol> symbols,
1154ImmutableArray<Symbol> symbols,
1379static Symbol unwrapIfParamsCollection(MemberResolutionResult<TMember> badArg, ParameterSymbol parameter, bool isLastParameter)
1391private bool HadAmbiguousWorseMethods(BindingDiagnosticBag diagnostics, ImmutableArray<Symbol> symbols, Location location, bool isQuery, BoundExpression receiver, string name)
1455private bool HadAmbiguousBestMethods(BindingDiagnosticBag diagnostics, ImmutableArray<Symbol> symbols, Location location)
1507private static DiagnosticInfoWithSymbols CreateAmbiguousCallDiagnosticInfo(Symbol first, Symbol second, ImmutableArray<Symbol> symbols)
CommandLine\CSharpCompiler.cs (6)
247Symbol? entryPoint = comp.ScriptClass;
386var symbol = diag switch
388{ Code: (int)ErrorCode.ERR_BadAccess, Arguments: [Symbol s] } => s,
389{ Code: (int)ErrorCode.ERR_InaccessibleGetter, Arguments: [Symbol s] } => s,
390{ Code: (int)ErrorCode.ERR_InaccessibleSetter, Arguments: [Symbol s] } => s,
391{ Code: (int)ErrorCode.ERR_ImplicitImplementationOfInaccessibleInterfaceMember, Arguments: [_, Symbol s, _] } => s,
Compilation\AttributeSemanticModel.cs (11)
19private readonly Symbol? _attributeTarget;
24Symbol? attributeTarget,
28ImmutableDictionary<Symbol, Symbol>? parentRemappedSymbolsOpt = null)
39public static AttributeSemanticModel Create(PublicSemanticModel containingSemanticModel, AttributeSyntax syntax, NamedTypeSymbol attributeType, AliasSymbol aliasOpt, Symbol? attributeTarget, Binder rootBinder, ImmutableDictionary<Symbol, Symbol>? parentRemappedSymbolsOpt)
48public static SpeculativeSemanticModelWithMemberModel CreateSpeculative(SyntaxTreeSemanticModel parentSemanticModel, AttributeSyntax syntax, NamedTypeSymbol attributeType, AliasSymbol aliasOpt, Binder rootBinder, ImmutableDictionary<Symbol, Symbol> parentRemappedSymbolsOpt, int position)
108ref ImmutableDictionary<Symbol, Symbol>? remappedSymbols)
Compilation\CSharpCompilation.cs (27)
1188internal new Symbol? GetAssemblyOrModuleSymbol(MetadataReference reference)
1209return (TSymbol?)(object?)symbol.GetSymbol<Symbol>();
1749internal Symbol GetSpecialTypeMember(SpecialMember specialMember)
1778ImmutableArray<Symbol>.Empty,
2059var taskCandidates = taskEntryPoints.SelectAsArray(s => (Symbol)s.Candidate);
2133symbols: viableEntryPoints.OfType<Symbol>().AsImmutable(),
2157ArrayBuilder<MethodSymbol> entryPointCandidates, IEnumerable<Symbol> members)
2159foreach (var member in members)
2401Symbol? symbol0 = symbol.EnsureCSharpSymbolOrNull(nameof(symbol));
2402Symbol? within0 = within.EnsureCSharpSymbolOrNull(nameof(within));
2939private void GetDiagnosticsWithoutSeverityFiltering(CompilationStage stage, bool includeEarlierStages, BindingDiagnosticBag builder, Predicate<Symbol>? symbolFilter, CancellationToken cancellationToken)
3071private static bool IsDefinedOrImplementedInSourceTree(Symbol symbol, SyntaxTree tree, TextSpan? span)
3177filterOpt: filterTree is object ? (Predicate<Symbol>?)(s => IsDefinedOrImplementedInSourceTree(s, filterTree, filterSpan)) : (Predicate<Symbol>?)null,
3219private ReadOnlyBindingDiagnostic<AssemblySymbol> GetSourceDeclarationDiagnostics(SyntaxTree? syntaxTree = null, TextSpan? filterSpanWithinTree = null, Func<IEnumerable<Diagnostic>, SyntaxTree, TextSpan?, IEnumerable<Diagnostic>>? locationFilterOpt = null, Predicate<Symbol>? symbolFilter = null, CancellationToken cancellationToken = default)
3616foreach (var childSymbol in symbol.GetMembers())
4668internal IEnumerable<Symbol> GetSymbolsWithNameCore(string name, SymbolFilter filter = SymbolFilter.TypeAndMember, CancellationToken cancellationToken = default)
4731internal bool ShouldEmitNullableAttributes(Symbol symbol)
4757static Symbol getExplicitAccessibilitySymbol(Symbol symbol)
4783internal void SymbolDeclaredEvent(Symbol symbol)
4849var sustainedLowLatency = GetWellKnownTypeMember(WellKnownMember.System_Runtime_GCLatencyMode__SustainedLowLatency);
4883public IEnumerable<Symbol> GetSymbolsWithName()
4885var result = new HashSet<Symbol>();
4897HashSet<Symbol> set)
4951ArrayBuilder<MergedNamespaceOrTypeDeclaration> spine, MergedTypeDeclaration current, HashSet<Symbol> set)
4959foreach (var member in container.GetMembers())
Compilation\CSharpSemanticModel.cs (139)
167internal abstract BoundExpression GetSpeculativelyBoundExpression(int position, ExpressionSyntax expression, SpeculativeBindingOption bindingOption, out Binder binder, out ImmutableArray<Symbol> crefSymbols);
177internal abstract ImmutableArray<Symbol> GetMemberGroupWorker(CSharpSyntaxNode node, SymbolInfoOptions options, CancellationToken cancellationToken = default(CancellationToken));
279protected BoundExpression GetSpeculativelyBoundExpressionWithoutNullability(int position, ExpressionSyntax expression, SpeculativeBindingOption bindingOption, out Binder binder, out ImmutableArray<Symbol> crefSymbols)
286crefSymbols = default(ImmutableArray<Symbol>);
298crefSymbols = ImmutableArray.Create<Symbol>(binder.BindType(expression, BindingDiagnosticBag.Discarded).Type);
324internal static ImmutableArray<Symbol> BindCref(CrefSyntax crefSyntax, Binder binder)
326Symbol unusedAmbiguityWinner;
336ImmutableArray<Symbol> symbols = BindCref(crefSyntax, binder);
365private static SymbolInfo GetCrefSymbolInfo(OneOrMany<Symbol> symbols, SymbolInfoOptions options, bool hasParameterList)
721ImmutableArray<Symbol> crefSymbols;
1051ImmutableArray<Symbol> crefSymbols;
1198ImmutableArray<Symbol> crefSymbols;
1666foreach (Symbol symbol in lookupResult.Symbols)
1698Symbol uniqueSymbol;
1760Symbol singleSymbol = binder.ResultSymbol(lookupResult, name, arity, this.Root, BindingDiagnosticBag.Discarded, true, out wasError, container, options);
1786private Symbol RemapSymbolIfNecessary(Symbol symbol)
1804internal abstract Symbol RemapSymbolIfNecessaryCore(Symbol symbol);
1821public bool IsAccessible(int position, Symbol symbol)
1873Constraint = "Provide " + nameof(ArrayBuilder<Symbol>) + " capacity to reduce number of allocations.")]
1910OneOrMany<Symbol> symbols = GetSemanticSymbols(
1911boundExpr, boundNodeForSyntacticParent, binderOpt, options, out bool isDynamic, out LookupResultKind resultKind, out ImmutableArray<Symbol> unusedMemberGroup);
1917ImmutableArray<Symbol> unusedHighestMemberGroup;
1918OneOrMany<Symbol> highestSymbols = GetSemanticSymbols(
1957return SymbolInfoFactory.Create(ImmutableArray<Symbol>.Empty, LookupResultKind.Empty, isDynamic);
1963var builder = ArrayBuilder<Symbol>.GetInstance(symbols.Count);
1964foreach (Symbol symbol in symbols)
1985private static SymbolInfo GetSymbolInfoForSubpattern(Symbol subpatternSymbol)
2000private static void AddUnwrappingErrorTypes(ArrayBuilder<Symbol> builder, Symbol s)
2280internal ImmutableArray<Symbol> GetMemberGroupForNode(
2289ImmutableArray<Symbol> memberGroup;
2296return ImmutableArray<Symbol>.Empty;
2318internal static SymbolInfo GetSymbolInfoForSymbol(Symbol symbol, SymbolInfoOptions options)
2323Symbol unwrapped = UnwrapAlias(symbol);
2332var symbols = OneOrMany<Symbol>.Empty;
2350var symbolToReturn = ((options & SymbolInfoOptions.ResolveAliases) != 0) ? unwrapped : symbol;
2356internal static CSharpTypeInfo GetTypeInfoForSymbol(Symbol symbol)
2366protected static Symbol UnwrapAlias(Symbol symbol)
2371protected static OneOrMany<Symbol> UnwrapAliases(OneOrMany<Symbol> symbols)
2375foreach (Symbol symbol in symbols)
2384ArrayBuilder<Symbol> builder = ArrayBuilder<Symbol>.GetInstance();
2385foreach (Symbol symbol in symbols)
3349private OneOrMany<Symbol> GetSemanticSymbols(
3356out ImmutableArray<Symbol> memberGroup)
3358memberGroup = ImmutableArray<Symbol>.Empty;
3359OneOrMany<Symbol> symbols = OneOrMany<Symbol>.Empty;
3415var typeSymbol = boundType.AliasOpt ?? (Symbol)boundType.Type;
3467symbols = OneOrMany.Create<Symbol>(invocation.FunctionPointer);
3496symbols = originalIndexersOpt.IsDefault ? OneOrMany.Create<Symbol>(indexerAccess.Indexer) : StaticCast<Symbol>.From(OneOrMany.Create(originalIndexersOpt));
3511symbols = OneOrMany<Symbol>.Empty;
3516symbols = OneOrMany.Create<Symbol>(methodSymbol);
3522boundNode.ExpressionSymbol is Symbol accessSymbol &&
3528symbols = OneOrMany.Create<Symbol>(parentOperator.Event);
3541symbols = OneOrMany.Create<Symbol>(ReducedExtensionMethodSymbol.Create(symbol));
3626var builder = ArrayBuilder<Symbol>.GetInstance();
3637memberGroup = dynamicInvocation.ApplicableMethods.Cast<MethodSymbol, Symbol>();
3645memberGroup = collectionInit.ApplicableMethods.Cast<MethodSymbol, Symbol>();
3653memberGroup = dynamicIndexer.ApplicableIndexers.Cast<PropertySymbol, Symbol>();
3665memberGroup = objectCreation.ApplicableMethods.Cast<MethodSymbol, Symbol>();
3676symbols = OneOrMany.Create<Symbol>(boundObjectCreation.Constructor);
3680symbols = StaticCast<Symbol>.From(OneOrMany.Create(boundObjectCreation.ConstructorsGroup));
3684memberGroup = boundObjectCreation.ConstructorsGroup.Cast<MethodSymbol, Symbol>();
3692var containingMember = binder.ContainingMember();
3695symbols = thisParam != null ? OneOrMany.Create<Symbol>(thisParam) : OneOrMany<Symbol>.Empty;
3704symbols = OneOrMany.Create<Symbol>(fromEndIndexExpression.MethodOpt);
3714symbols = OneOrMany.Create<Symbol>(rangeExpression.MethodOpt);
3721if (boundNode.ExpressionSymbol is Symbol symbol)
3739private static ParameterSymbol GetThisParameter(TypeSymbol typeOfThis, NamedTypeSymbol containingType, Symbol containingMember, out LookupResultKind resultKind)
3802private static void GetSymbolsAndResultKind(BoundUnaryOperator unaryOperator, out bool isDynamic, ref LookupResultKind resultKind, ref OneOrMany<Symbol> symbols)
3818symbols = OneOrMany.Create<Symbol>(new SynthesizedIntrinsicOperatorSymbol(unaryOperator.Operand.Type.StrippedType(),
3825private static void GetSymbolsAndResultKind(BoundIncrementOperator increment, out bool isDynamic, ref LookupResultKind resultKind, ref OneOrMany<Symbol> symbols)
3842symbols = OneOrMany.Create<Symbol>(new SynthesizedIntrinsicOperatorSymbol(opType,
3849private static void GetSymbolsAndResultKind(BoundBinaryOperator binaryOperator, out bool isDynamic, ref LookupResultKind resultKind, ref OneOrMany<Symbol> symbols)
3875symbols = OneOrMany.Create<Symbol>(new SynthesizedIntrinsicOperatorSymbol(objectType,
3893private static Symbol GetIntrinsicOperatorSymbol(BinaryOperatorKind op, bool isDynamic, TypeSymbol leftType, TypeSymbol rightType, TypeSymbol returnType, bool isChecked)
3922private static void GetSymbolsAndResultKind(BoundCompoundAssignmentOperator compoundAssignment, out bool isDynamic, ref LookupResultKind resultKind, ref OneOrMany<Symbol> symbols)
3948private static void GetSymbolsAndResultKind(BoundExpression node, Symbol symbolOpt, ImmutableArray<MethodSymbol> originalCandidates, out OneOrMany<Symbol> symbols, out LookupResultKind resultKind)
3957symbols = StaticCast<Symbol>.From(OneOrMany.Create(originalCandidates));
3962symbols = OneOrMany<Symbol>.Empty;
3975ref OneOrMany<Symbol> symbols,
3976ref ImmutableArray<Symbol> memberGroup)
4028ref OneOrMany<Symbol> symbols,
4029ref ImmutableArray<Symbol> memberGroup)
4069symbols = OneOrMany.Create<Symbol>(constructorOpt);
4073symbols = StaticCast<Symbol>.From(OneOrMany.Create(candidateConstructors));
4078memberGroup = candidateConstructors.Cast<MethodSymbol, Symbol>();
4119PooledHashSet<Symbol> hiddenSymbols = null;
4122Symbol symbol = iSymbol.GetSymbol();
4128foreach (Symbol overridden in overriddenOrHiddenMembers.OverriddenMembers)
4132hiddenSymbols = PooledHashSet<Symbol>.GetInstance();
4140foreach (Symbol hidden in overriddenOrHiddenMembers.HiddenMembers)
4144hiddenSymbols = PooledHashSet<Symbol>.GetInstance();
4212HashSet<Symbol> hiddenSymbols = new HashSet<Symbol>();
4217foreach (Symbol overridden in overriddenOrHiddenMembers.OverriddenMembers)
4225foreach (Symbol hidden in overriddenOrHiddenMembers.HiddenMembers)
4241private OneOrMany<Symbol> GetMethodGroupSemanticSymbols(
4247out ImmutableArray<Symbol> memberGroup)
4251OneOrMany<Symbol> symbols = OneOrMany<Symbol>.Empty;
4323symbols = OneOrMany.Create((Symbol)method);
4335symbols = OneOrMany.Create(dynamicInvocation.ApplicableMethods.Cast<MethodSymbol, Symbol>());
4341ImmutableArray<Symbol> myMethodGroup = memberGroup;
4394private OneOrMany<Symbol> GetPropertyGroupSemanticSymbols(
4399out ImmutableArray<Symbol> propertyGroup)
4403OneOrMany<Symbol> symbols = OneOrMany<Symbol>.Empty;
4412propertyGroup = boundNode.Properties.Cast<PropertySymbol, Symbol>();
4429symbols = OneOrMany.Create<Symbol>(indexer.Indexer);
4435symbols = StaticCast<Symbol>.From(OneOrMany.Create(indexer.OriginalIndexersOpt));
4442ImmutableArray<Symbol> myPropertyGroup = propertyGroup;
4570internal static ImmutableArray<Symbol> GetReducedAndFilteredMethodGroupSymbols(Binder binder, BoundMethodGroup node)
4572var members = ArrayBuilder<Symbol>.GetInstance();
4573var filteredMembers = ArrayBuilder<Symbol>.GetInstance();
4600var otherSymbol = node.LookupSymbolOpt;
4679ArrayBuilder<Symbol> members,
4680ArrayBuilder<Symbol> filteredMembers,
4681Symbol member,
4686Symbol? substitutedMember = member.GetReducedAndFilteredSymbol(typeArguments, receiverType, compilation, checkFullyInferred: false);
4705ArrayBuilder<Symbol> members,
4706ArrayBuilder<Symbol> filteredMembers,
4718Symbol member = singleResult.Symbol;
4749private static OneOrMany<Symbol> CreateReducedAndFilteredSymbolsFromOriginals(BoundCall call, CSharpCompilation compilation)
4770var methodBuilder = ArrayBuilder<Symbol>.GetInstance();
4771var filteredMethodBuilder = ArrayBuilder<Symbol>.GetInstance();
4785private OneOrMany<Symbol> CreateReducedExtensionMethodIfPossible(BoundCall call)
4799return OneOrMany.Create<Symbol>(method);
4802private OneOrMany<Symbol> CreateReducedExtensionMethodIfPossible(BoundDelegateCreationExpression delegateCreation, BoundExpression receiverOpt)
4812return OneOrMany.Create<Symbol>(method);
Compilation\InitializerSemanticModel.cs (10)
27Symbol symbol,
30ImmutableDictionary<Symbol, Symbol> parentRemappedSymbolsOpt = null) :
59internal static InitializerSemanticModel Create(PublicSemanticModel containingSemanticModel, ParameterSyntax syntax, ParameterSymbol parameterSymbol, Binder rootBinder, ImmutableDictionary<Symbol, Symbol> parentRemappedSymbolsOpt)
69internal static SpeculativeSemanticModelWithMemberModel CreateSpeculative(SyntaxTreeSemanticModel parentSemanticModel, Symbol owner, EqualsValueClauseSyntax syntax, Binder rootBinder, ImmutableDictionary<Symbol, Symbol> parentRemappedSymbolsOpt, int position)
259ref ImmutableDictionary<Symbol, Symbol> remappedSymbols)
Compilation\MemberSemanticModel.cs (26)
28private readonly Symbol _memberSymbol;
36private ImmutableDictionary<Symbol, Symbol> _lazyRemappedSymbols;
37private readonly ImmutableDictionary<Symbol, Symbol> _parentRemappedSymbolsOpt;
47Symbol memberSymbol,
50ImmutableDictionary<Symbol, Symbol> parentRemappedSymbolsOpt)
84internal Symbol MemberSymbol
162internal ImmutableDictionary<Symbol, Symbol> GetRemappedSymbols()
191internal override BoundExpression GetSpeculativelyBoundExpression(int position, ExpressionSyntax expression, SpeculativeBindingOption bindingOption, out Binder binder, out ImmutableArray<Symbol> crefSymbols)
205ImmutableDictionary<Symbol, Symbol> ignored = null;
720private T GetRemappedSymbol<T>(T originalSymbol) where T : Symbol
725if (_lazyRemappedSymbols.TryGetValue(originalSymbol, out Symbol? remappedSymbol))
1232internal override ImmutableArray<Symbol> GetMemberGroupWorker(CSharpSyntaxNode node, SymbolInfoOptions options, CancellationToken cancellationToken = default(CancellationToken))
1473protected void UnguardedAddBoundTreeForStandaloneSyntax(SyntaxNode syntax, BoundNode bound, NullableWalker.SnapshotManager manager = null, ImmutableDictionary<Symbol, Symbol> remappedSymbols = null)
1481protected void GuardedAddBoundTreeForStandaloneSyntax(SyntaxNode syntax, BoundNode bound, NullableWalker.SnapshotManager manager = null, ImmutableDictionary<Symbol, Symbol> remappedSymbols = null)
2045ref ImmutableDictionary<Symbol, Symbol>? remappedSymbols);
2340internal override Symbol RemapSymbolIfNecessaryCore(Symbol symbol)
2351if (_lazyRemappedSymbols.TryGetValue(symbol, out var remappedSymbol))
Compilation\SpeculativeSemanticModelWithMemberModel.cs (15)
48ImmutableDictionary<Symbol, Symbol>? parentRemappedSymbolsOpt)
57static Symbol? getAttributeTargetFromPosition(int position, SyntaxTreeSemanticModel model)
74Symbol owner,
77ImmutableDictionary<Symbol, Symbol>? parentRemappedSymbolsOpt)
90Symbol owner,
93ImmutableDictionary<Symbol, Symbol>? parentRemappedSymbolsOpt,
106ImmutableDictionary<Symbol, Symbol>? parentRemappedSymbolsOpt,
460internal override ImmutableArray<Symbol> GetMemberGroupWorker(CSharpSyntaxNode node, SymbolInfoOptions options, CancellationToken cancellationToken = default(CancellationToken))
500internal override Symbol RemapSymbolIfNecessaryCore(Symbol symbol)
565internal override BoundExpression GetSpeculativelyBoundExpression(int position, ExpressionSyntax expression, SpeculativeBindingOption bindingOption, out Binder binder, out ImmutableArray<Symbol> crefSymbols)
Compilation\SyntaxTreeSemanticModel.cs (18)
284var symbol = GetSemanticInfoSymbolInNonMemberContext(node, bindVarAsAliasFirst: (options & SymbolInfoOptions.PreserveAliases) != 0);
322var symbol = GetSemanticInfoSymbolInNonMemberContext(node, bindVarAsAliasFirst: false); // Don't care about aliases here.
330private Symbol GetSemanticInfoSymbolInNonMemberContext(CSharpSyntaxNode node, bool bindVarAsAliasFirst)
356Symbol result = bindVarAsAliasFirst
397internal override ImmutableArray<Symbol> GetMemberGroupWorker(CSharpSyntaxNode node, SymbolInfoOptions options, CancellationToken cancellationToken = default(CancellationToken))
403return model == null ? ImmutableArray<Symbol>.Empty : model.GetMemberGroupWorker(node, options, cancellationToken);
738internal override BoundExpression GetSpeculativelyBoundExpression(int position, ExpressionSyntax expression, SpeculativeBindingOption bindingOption, out Binder binder, out ImmutableArray<Symbol> crefSymbols)
1403foreach (var symbol in collection)
1781private Symbol GetDeclaredMember(NamespaceOrTypeSymbol container, TextSpan declarationSpan, bool isKnownToBeANamespace, string name = null)
1809Symbol zeroWidthMatch = null;
1810foreach (var symbol in collection)
1816var result = GetDeclaredMember(namedType, declarationSpan, isKnownToBeANamespace, name);
1833Symbol partial = symbol.GetPartialImplementationPart();
1867var result = this.GetDeclaredMember(container, declarationSyntax.Span, isKnownToBeANamespace: false, declarationSyntax.Identifier.ValueText);
2349private static BoundNode GetBoundRoot(MemberSemanticModel memberModel, out Symbol member)
2401private Symbol GetDeclaredMemberSymbol(CSharpSyntaxNode declarationSyntax)
2440internal override Symbol RemapSymbolIfNecessaryCore(Symbol symbol)
Compiler\ClsComplianceChecker.cs (36)
32private readonly ConcurrentDictionary<Symbol, Compliance> _declaredOrInheritedCompliance;
52_declaredOrInheritedCompliance = new ConcurrentDictionary<Symbol, Compliance>(Symbols.SymbolEqualityComparer.ConsiderEverything);
212foreach (var m in symbol.GetMembersUnordered())
230foreach (var m in symbol.GetMembersUnordered())
267foreach (var m in symbol.GetMembersUnordered())
420private bool VisitTypeOrMember(Symbol symbol, Compliance compliance)
497private void CheckForNonCompliantAbstractMember(Symbol symbol)
541private void CheckForCompliantWithinNonCompliant(Symbol symbol)
585private void CheckForAttributeWithArrayArgument(Symbol symbol)
680Symbol container = parameters[0].ContainingSymbol;
683Symbol associated = ((MethodSymbol)container).AssociatedSymbol;
711private void CheckReturnTypeCompliance(Symbol symbol)
784private bool CheckForDeclarationWithoutAssemblyDeclaration(Symbol symbol, Compliance compliance)
807MultiDictionary<string, Symbol> seenByName = new MultiDictionary<string, Symbol>(CaseInsensitiveComparison.Comparer);
823foreach (Symbol member in @interface.GetMembersUnordered())
838foreach (Symbol member in baseType.GetMembersUnordered())
855foreach (Symbol member in symbol.GetMembers())
884private void CheckSymbolDistinctness(Symbol symbol, string symbolName, MultiDictionary<string, Symbol>.ValueSet sameNameSymbols)
891foreach (Symbol other in sameNameSymbols)
906foreach (Symbol other in sameNameSymbols)
927private void CheckName(Symbol symbol)
960private bool DoNotVisit(Symbol symbol)
973private bool IsSyntacticallyFilteredOut(Symbol symbol)
1114private Compliance GetDeclaredOrInheritedCompliance(Symbol symbol)
1127Symbol associated = method.AssociatedSymbol;
1170private Compliance GetInheritedCompliance(Symbol symbol)
1174Symbol containing = (Symbol)symbol.ContainingType ?? symbol.ContainingAssembly;
1184private bool? GetDeclaredCompliance(Symbol symbol, out Location attributeLocation)
1220private static bool IsAccessibleOutsideAssembly(Symbol symbol)
1233private static bool IsAccessibleIfContainerIsAccessible(Symbol symbol)
1267private static bool IsImplicitClass(Symbol symbol)
1316private static bool TryGetCollisionErrorCode(Symbol x, Symbol y, out ErrorCode code)
Emitter\Model\PEModuleBuilder.cs (21)
29protected readonly ConcurrentDictionary<Symbol, Cci.IModuleReference> AssemblyOrModuleSymbolToModuleRefMap = new ConcurrentDictionary<Symbol, Cci.IModuleReference>();
30private readonly ConcurrentDictionary<Symbol, object> _genericInstanceMap = new ConcurrentDictionary<Symbol, object>(Symbols.SymbolEqualityComparer.ConsiderEverything);
357foreach (var member in symbol.GetMembers())
380foreach (var member in symbol.GetMembers())
441private void AddSymbolLocation(MultiDictionary<Cci.DebugSourceDocument, Cci.DefinitionWithLocation> result, Symbol symbol)
468private Location GetSmallestSourceLocationOrNull(Symbol symbol)
567foreach (var member in ns.GetMembers())
600foreach (var member in symbol.GetMembers())
823Symbol.ReportUseSiteDiagnostic(info,
1072private object GetCciAdapter(Symbol symbol)
1393var container = param.ContainingSymbol;
1429private static bool ContainerIsGeneric(Symbol container)
1492internal SynthesizedAttributeData SynthesizeIsReadOnlyAttribute(Symbol symbol)
1525internal SynthesizedAttributeData SynthesizeIsUnmanagedAttribute(Symbol symbol)
1536internal SynthesizedAttributeData SynthesizeIsByRefLikeAttribute(Symbol symbol)
1552internal SynthesizedAttributeData SynthesizeNullableAttributeIfNecessary(Symbol symbol, byte? nullableContextValue, TypeWithAnnotations type)
1612internal SynthesizedAttributeData SynthesizeNullableContextAttribute(Symbol symbol, byte value)
1637internal SynthesizedAttributeData SynthesizeNativeIntegerAttribute(Symbol symbol, TypeSymbol type)
1967Symbol.ReportUseSiteDiagnostic(info, diagnostics, syntaxNode.Location);
Errors\CSDiagnosticInfo.cs (4)
23: this(code, Array.Empty<object>(), ImmutableArray<Symbol>.Empty, ImmutableArray<Location>.Empty)
28: this(code, args, ImmutableArray<Symbol>.Empty, ImmutableArray<Location>.Empty)
32internal CSDiagnosticInfo(ErrorCode code, ImmutableArray<Symbol> symbols, object[] args)
37internal CSDiagnosticInfo(ErrorCode code, object[] args, ImmutableArray<Symbol> symbols, ImmutableArray<Location> additionalLocations)
FlowAnalysis\DataFlowsInWalker.cs (10)
25private readonly HashSet<Symbol> _dataFlowsIn = new HashSet<Symbol>();
27private DataFlowsInWalker(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion,
28HashSet<Symbol> unassignedVariables, HashSet<PrefixUnaryExpressionSyntax> unassignedVariableAddressOfSyntaxes)
33internal static HashSet<Symbol> Analyze(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion,
34HashSet<Symbol> unassignedVariables, HashSet<PrefixUnaryExpressionSyntax> unassignedVariableAddressOfSyntaxes, out bool? succeeded)
42return badRegion ? new HashSet<Symbol>() : result;
50private HashSet<Symbol> Analyze(ref bool badRegion)
103protected override void ReportUnassigned(Symbol symbol, SyntaxNode node, int slot, bool skipIfUseBeforeDeclaration)
FlowAnalysis\DataFlowsOutWalker.cs (16)
27private DataFlowsOutWalker(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion, HashSet<Symbol> unassignedVariables, ImmutableArray<ISymbol> dataFlowsIn)
33internal static HashSet<Symbol> Analyze(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion, HashSet<Symbol> unassignedVariables, ImmutableArray<ISymbol> dataFlowsIn)
46return badRegion ? new HashSet<Symbol>() : result;
54private readonly HashSet<Symbol> _dataFlowsOut = new HashSet<Symbol>();
58private readonly HashSet<Symbol> _assignedInside = new HashSet<Symbol>();
61private HashSet<Symbol> Analyze(ref bool badRegion)
80Symbol variableSymbol = variable.GetSymbol();
91protected override void NoteWrite(Symbol variable, BoundExpression value, bool read, bool isRef)
114private Symbol GetNodeSymbol(BoundNode node)
207Symbol variable = GetNodeSymbol(node);
252protected override void ReportUnassigned(Symbol symbol, SyntaxNode node, int slot, bool skipIfUseBeforeDeclaration)
FlowAnalysis\DefiniteAssignment.cs (44)
59private readonly HashSet<Symbol>? initiallyAssignedVariables;
81private readonly PooledHashSet<Symbol> _writtenVariables = PooledHashSet<Symbol>.GetInstance();
113private readonly PooledDictionary<Symbol, Location> _unsafeAddressTakenVariables = PooledDictionary<Symbol, Location>.GetInstance();
118private readonly PooledHashSet<Symbol> _capturedVariables = PooledHashSet<Symbol>.GetInstance();
120private readonly PooledHashSet<Symbol> _capturedInside = PooledHashSet<Symbol>.GetInstance();
121private readonly PooledHashSet<Symbol> _capturedOutside = PooledHashSet<Symbol>.GetInstance();
168Symbol member,
193Symbol member,
197HashSet<Symbol>? initiallyAssignedVariables = null)
215Symbol member,
219HashSet<Symbol> initiallyAssignedVariables,
234Symbol member,
283protected Symbol GetNonMemberSymbol(int slot)
343var save = CurrentSymbol;
508Symbol associatedPropertyOrEvent = field.AssociatedSymbol;
700foreach (Symbol captured in _capturedVariables)
722private void CheckCaptured(Symbol variable, ParameterSymbol? rangeVariableUnderlyingParameter = null)
725Symbol.IsCaptured(rangeVariableUnderlyingParameter ?? variable, sourceMethod))
736private void NoteCaptured(Symbol variable)
751protected IEnumerable<Symbol> GetCapturedInside() => _capturedInside.ToArray();
752protected IEnumerable<Symbol> GetCapturedOutside() => _capturedOutside.ToArray();
753protected IEnumerable<Symbol> GetCaptured() => _capturedVariables.ToArray();
754protected IEnumerable<Symbol> GetUnsafeAddressTaken() => _unsafeAddressTakenVariables.Keys.ToArray();
759private void NotePrimaryConstructorParameterReadIfNeeded(Symbol symbol)
768Symbol variable,
864protected virtual void NoteWrite(Symbol variable, BoundExpression value, bool read, bool isRef)
1080protected override bool TryGetReceiverAndMember(BoundExpression expr, out BoundExpression receiver, out Symbol member)
1166protected void CheckAssigned(Symbol symbol, SyntaxNode node)
1185private void ReportUnassignedIfNotCapturedInLocalFunction(Symbol symbol, SyntaxNode node, int slot, bool skipIfUseBeforeDeclaration = true)
1202protected virtual void ReportUnassigned(Symbol symbol, SyntaxNode node, int slot, bool skipIfUseBeforeDeclaration)
1271void addDiagnosticForStructThis(Symbol thisParameter, int thisSlot)
1323var associatedSymbol = fieldSymbol.AssociatedSymbol;
1496private Symbol UseNonFieldSymbolUnsafely(BoundExpression expression)
1820Symbol current = CurrentSymbol;
1864Symbol containing = current.ContainingSymbol;
2451var oldSymbol = this.CurrentSymbol;
2569Symbol variable = UseNonFieldSymbolUnsafely(operand);
2681foreach (var symbol in namedType.GetMembersUnordered())
2729Symbol receiver = UseNonFieldSymbolUnsafely(node.ReceiverOpt);
FlowAnalysis\LocalDataFlowPass.cs (9)
36Symbol? member,
48Symbol member,
75protected int VariableSlot(Symbol symbol, int containingSlot = 0)
100protected virtual int GetOrCreateSlot(Symbol symbol, int containingSlot = 0, bool forceSlotEvenIfEmpty = false, bool createIfMissing = true)
161private int DescendThroughTupleRestFields(ref Symbol symbol, int containingSlot, bool forceContainingSlotsToExist)
204protected abstract bool TryGetReceiverAndMember(BoundExpression expr, out BoundExpression? receiver, [NotNullWhen(true)] out Symbol? member);
227if (TryGetReceiverAndMember(node, out BoundExpression? receiver, out Symbol? member))
239protected int MakeMemberSlot(BoundExpression? receiverOpt, Symbol member)
262protected static bool HasInitializer(Symbol field) => field switch
FlowAnalysis\NullableWalker.cs (114)
455Symbol? symbol,
668var alreadyWarnedMembers = PooledHashSet<Symbol>.GetInstance();
669foreach (var member in method.ContainingType.GetMembersUnordered())
713void checkMemberStateOnConstructorExit(MethodSymbol constructor, Symbol member, LocalState state, int thisSlot, Location? exitLocation, ImmutableArray<string> membersWithStateEnforcedByRequiredMembers, bool forcePropertyAnalysis)
732Symbol symbol;
738symbol = (Symbol?)(f.AssociatedSymbol as PropertySymbol) ?? f;
799var info = new CSDiagnosticInfo(errorCode, new object[] { symbol.Kind.Localize(), symbol.Name }, ImmutableArray<Symbol>.Empty, additionalLocations: symbol.Locations);
810foreach (var member in getMembersNeedingDefaultInitialState())
817var memberToInitialize = member;
871ImmutableArray<Symbol> getMembersNeedingDefaultInitialState()
875return ImmutableArray<Symbol>.Empty;
915static ImmutableArray<Symbol> membersToBeInitialized(NamedTypeSymbol containingType, bool includeAllMembers, bool includeCurrentTypeRequiredMembers, bool includeBaseRequiredMembers)
920=> ImmutableArray<Symbol>.Empty,
934var symbolToInitialize = getFieldSymbolToBeInitialized(symbol);
938return OneOrMany<Symbol>.Empty;
953static ImmutableArray<Symbol> getAllTypeAndRequiredMembers(TypeSymbol containingType)
956var baseRequiredMembers = containingType.BaseTypeNoUseSiteDiagnostics?.AllRequiredMembers ?? ImmutableSegmentedDictionary<string, Symbol>.Empty;
963var builder = ArrayBuilder<Symbol>.GetInstance(members.Length + baseRequiredMembers.Count);
987static OneOrMany<Symbol> getAllMembersToBeDefaulted(Symbol requiredMember, bool filterOverridingProperties)
1001return OneOrMany<Symbol>.Empty;
1009foreach (var member in property.ContainingType.GetMembers(notNullMemberName))
1019static Symbol getFieldSymbolToBeInitialized(Symbol requiredMember)
1052foreach (var member in method.ContainingType.GetMembers(memberName))
1100void enforceMemberNotNullWhenIfAffected(SyntaxNode? syntaxOpt, bool sense, ImmutableArray<Symbol> members, LocalState state, LocalState otherState)
1102foreach (var member in members)
1119foreach (var member in method.ContainingType.GetMembers(memberName))
1128private void ReportFailedMemberNotNullIfNeeded(SyntaxNode? syntaxOpt, bool sense, Symbol member, LocalState state)
1137private bool FailsMemberNotNullExpectation(Symbol member, LocalState state)
1173foreach (var member in type.GetMembers(memberName))
1188private int GetSlotForMemberPostCondition(Symbol member)
1476internal static VariableState? GetAfterInitializersState(CSharpCompilation compilation, Symbol? symbol, BoundNode constructorBody)
1546Symbol? symbol,
1561Symbol? symbol,
1568ref ImmutableDictionary<Symbol, Symbol>? remappedSymbols)
1577Symbol? symbol,
1641ref ImmutableDictionary<Symbol, Symbol>? remappedSymbols)
1646var symbol = variables.Symbol;
1683private static BoundNode Rewrite(ImmutableDictionary<BoundExpression, (NullabilityInfo, TypeSymbol?)> updatedNullabilities, SnapshotManager? snapshotManager, BoundNode node, ref ImmutableDictionary<Symbol, Symbol>? remappedSymbols)
1685var remappedSymbolsBuilder = ImmutableDictionary.CreateBuilder<Symbol, Symbol>(Symbols.SymbolEqualityComparer.ConsiderEverything, Symbols.SymbolEqualityComparer.ConsiderEverything);
1797Symbol? symbol,
1854Symbol? symbol,
1887private void RecordNullableAnalysisData(Symbol? symbol, bool requiredAnalysis)
1914private void SetUpdatedSymbol(BoundNode node, Symbol originalSymbol, Symbol updatedSymbol)
1937if (lambdaIsExactMatch || Symbol.Equals(originalSymbol, updatedSymbol, TypeCompareKind.ConsiderEverything))
1989var symbol = variable.Symbol;
2022protected override bool TryGetReceiverAndMember(BoundExpression expr, out BoundExpression? receiver, [NotNullWhen(true)] out Symbol? member)
2190var container = method.ContainingSymbol;
2201protected override int GetOrCreateSlot(Symbol symbol, int containingSlot = 0, bool forceSlotEvenIfEmpty = false, bool createIfMissing = true)
2325var containingSymbol = parameterOpt?.ContainingSymbol;
2692private bool IsSlotMember(int slot, Symbol possibleMember)
2704private void InheritNullableStateOfMember(int targetContainerSlot, int valueContainerSlot, Symbol member, bool isDefaultValue, int skipSlot)
2833var symbol = AsMemberOfType(targetType, variable.Symbol);
2840private static TypeSymbol GetTypeOrReturnType(Symbol symbol) => symbol.GetTypeOrReturnType().Type;
2843private TypeWithAnnotations GetTypeOrReturnTypeWithAnnotations(Symbol symbol)
2878private NullableFlowState GetDefaultState(Symbol symbol)
3315if (Symbol.IsCaptured(variables[slot].Symbol, localFunc))
3334var symbol = variables[variables.RootSlot(slot)].Symbol;
3335if (Symbol.IsCaptured(symbol, localFunc))
3381var oldSymbol = this._symbol;
3383var oldCurrentSymbol = this.CurrentSymbol;
3734private static bool AreCloseEnough(Symbol original, Symbol updated)
4257Symbol? symbol = getTargetMember(containingType, objectInitializer);
4273Action<int, Symbol>? initializationCompletion = null;
4297Action<int, Symbol>? initializationCompletion,
4319Action<int, Symbol>? initializationCompletion)
4323Symbol? symbol = getTargetMember(containingType, (BoundObjectInitializerMember)node.Left);
4335static Symbol? getTargetMember(TypeSymbol containingType, BoundObjectInitializerMember objectInitializer)
4337var symbol = objectInitializer.MemberSymbol;
4348int getOrCreateSlot(int containingSlot, Symbol symbol)
4353Action<int, Symbol>? visitNestedInitializer(int containingSlot, TypeSymbol containingType, Symbol symbol, BoundObjectInitializerExpressionBase initializer, bool delayCompletionForType)
4363Action<int, Symbol>? completeNestedInitializerAnalysis(
4364Symbol symbol, BoundObjectInitializerExpressionBase initializer, int slot, Action<int, TypeSymbol>? nestedCompletion,
4385Action<int, Symbol>? completeNestedInitializerAnalysisAsContinuation(BoundObjectInitializerExpressionBase initializer, Action<int, TypeSymbol>? nestedCompletion)
4387return (int containingSlot, Symbol symbol) =>
4395Action<int, Symbol>? visitMemberAssignment(BoundAssignmentOperator node, int containingSlot, Symbol symbol, bool delayCompletionForType, Func<TypeWithAnnotations, TypeWithState>? conversionCompletion = null)
4428Action<int, Symbol>? visitMemberAssignmentAsContinuation(BoundAssignmentOperator node, Func<TypeWithAnnotations, TypeWithState> conversionCompletion)
4430return (int containingSlot, Symbol symbol) =>
5622foreach (var member in getMembers(expressionType))
5639static IEnumerable<Symbol> getMembers(TypeSymbol type)
5642foreach (var member in type.GetMembers())
5647foreach (var member in baseType.GetMembers())
5652foreach (var member in interfaceType.GetMembers())
6527var implementationMethod = baseType.FindImplementationForInterfaceMember(constructedMethod);
6724private FlowAnalysisAnnotations GetRValueAnnotations(Symbol? symbol)
7346foreach (Symbol member in type.GetMembers(memberName))
8329private static Symbol AsMemberOfType(TypeSymbol? type, Symbol symbol)
8374if (tryAsMemberOfSingleType(containingType, out var result))
8390if (tryAsMemberOfSingleType(containingType, out var result))
8406bool tryAsMemberOfSingleType(NamedTypeSymbol singleType, [NotNullWhen(true)] out Symbol? result)
8413var symbolDef = symbol.OriginalDefinition;
8676int targetSlot = GetNullableOfTValueSlot(containingType, containingSlot, out Symbol? symbol);
10233private FlowAnalysisAnnotations GetObjectInitializerMemberLValueAnnotations(Symbol memberSymbol)
10838var updatedSymbol = VisitMemberAccess(node, node.ReceiverOpt, node.FieldSymbol);
10848var updatedMember = VisitMemberAccess(node, node.ReceiverOpt, property);
10931var updatedSymbol = VisitMemberAccess(node, node.ReceiverOpt, node.EventSymbol);
10936private Symbol VisitMemberAccess(BoundExpression node, BoundExpression? receiverOpt, Symbol member)
10984private SpecialMember? GetNullableOfTMember(Symbol member)
11004private int GetNullableOfTValueSlot(TypeSymbol containingType, int containingSlot, out Symbol? valueProperty, bool forceSlotEvenIfEmpty = false)
12848private sealed class ExpressionAndSymbolEqualityComparer : IEqualityComparer<(BoundNode? expr, Symbol symbol)>
12854public bool Equals((BoundNode? expr, Symbol symbol) x, (BoundNode? expr, Symbol symbol) y)
12865public int GetHashCode((BoundNode? expr, Symbol symbol) obj)
FlowAnalysis\NullableWalker.SnapshotManager.cs (19)
31private readonly ImmutableDictionary<(BoundNode?, Symbol), Symbol> _updatedSymbolsMap;
35private SnapshotManager(ImmutableArray<SharedWalkerState> walkerSharedStates, ImmutableArray<(int position, Snapshot snapshot)> incrementalSnapshots, ImmutableDictionary<(BoundNode?, Symbol), Symbol> updatedSymbolsMap)
74if (_updatedSymbolsMap.TryGetValue((null, lambda), out var updatedDelegate))
82internal bool TryGetUpdatedSymbol(BoundNode node, Symbol symbol, [NotNullWhen(true)] out Symbol? updatedSymbol)
148private readonly ImmutableDictionary<(BoundNode?, Symbol), Symbol>.Builder _updatedSymbolMap = ImmutableDictionary.CreateBuilder<(BoundNode?, Symbol), Symbol>(ExpressionAndSymbolEqualityComparer.Instance, Symbols.SymbolEqualityComparer.ConsiderEverything);
166private readonly PooledDictionary<Symbol, int> _symbolToSlot = PooledDictionary<Symbol, int>.GetInstance();
181internal int EnterNewWalker(Symbol symbol)
220internal void SetUpdatedSymbol(BoundNode node, Symbol originalSymbol, Symbol updatedSymbol)
228internal void RemoveSymbolIfPresent(BoundNode node, Symbol symbol)
233private static (BoundNode?, Symbol) GetKey(BoundNode node, Symbol symbol)
FlowAnalysis\NullableWalker.Variables.cs (13)
38internal readonly Symbol? Symbol;
48internal readonly ImmutableDictionary<Symbol, TypeWithAnnotations> VariableTypes;
50internal VariablesSnapshot(int id, VariablesSnapshot? container, Symbol? symbol, ImmutableArray<KeyValuePair<VariableIdentifier, int>> variableSlot, ImmutableDictionary<Symbol, TypeWithAnnotations> variableTypes)
59internal bool TryGetType(Symbol symbol, out TypeWithAnnotations type)
118internal readonly Symbol? Symbol;
128private readonly PooledDictionary<Symbol, TypeWithAnnotations> _variableTypes = SpecializedSymbolCollections.GetPooledSymbolDictionaryInstance<Symbol, TypeWithAnnotations>();
140internal static Variables Create(Symbol? symbol)
183private Variables(int id, Variables? container, Symbol? symbol)
297internal bool TryGetType(Symbol symbol, out TypeWithAnnotations type)
303internal void SetType(Symbol symbol, TypeWithAnnotations type)
353private Variables GetVariablesContainingSymbol(Symbol symbol)
FlowAnalysis\ReadWriteWalker.cs (25)
22CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion, HashSet<PrefixUnaryExpressionSyntax> unassignedVariableAddressOfSyntaxes,
23out IEnumerable<Symbol> readInside,
24out IEnumerable<Symbol> writtenInside,
25out IEnumerable<Symbol> readOutside,
26out IEnumerable<Symbol> writtenOutside,
27out IEnumerable<Symbol> captured,
28out IEnumerable<Symbol> unsafeAddressTaken,
29out IEnumerable<Symbol> capturedInside,
30out IEnumerable<Symbol> capturedOutside,
40readInside = writtenInside = readOutside = writtenOutside = captured = unsafeAddressTaken = capturedInside = capturedOutside = Enumerable.Empty<Symbol>();
65private readonly HashSet<Symbol> _readInside = new HashSet<Symbol>();
66private readonly HashSet<Symbol> _writtenInside = new HashSet<Symbol>();
67private readonly HashSet<Symbol> _readOutside = new HashSet<Symbol>();
68private readonly HashSet<Symbol> _writtenOutside = new HashSet<Symbol>();
70private ReadWriteWalker(CSharpCompilation compilation, Symbol member, BoundNode node, BoundNode firstInRegion, BoundNode lastInRegion,
78Symbol current = CurrentSymbol;
107Symbol containing = current.ContainingSymbol;
130protected override void NoteRead(Symbol variable, ParameterSymbol rangeVariableUnderlyingParameter = null)
137protected override void NoteWrite(Symbol variable, BoundExpression value, bool read, bool isRef)
175private void NoteReceiverReadOrWritten(BoundFieldAccess expr, HashSet<Symbol> readOrWritten)
183private void NoteExpressionReadOrWritten(BoundExpression receiver, HashSet<Symbol> readOrWritten)
Generated\BoundNodes.xml.Generated.cs (66)
530public BoundDeconstructValuePlaceholder(SyntaxNode syntax, Symbol? variableSymbol, bool isDiscardExpression, TypeSymbol type, bool hasErrors)
540public BoundDeconstructValuePlaceholder(SyntaxNode syntax, Symbol? variableSymbol, bool isDiscardExpression, TypeSymbol type)
551public Symbol? VariableSymbol { get; }
557public BoundDeconstructValuePlaceholder Update(Symbol? variableSymbol, bool isDiscardExpression, TypeSymbol type)
980public BoundBadExpression(SyntaxNode syntax, LookupResultKind resultKind, ImmutableArray<Symbol?> symbols, ImmutableArray<BoundExpression> childBoundNodes, TypeSymbol? type, bool hasErrors = false)
993public ImmutableArray<Symbol?> Symbols { get; }
999public BoundBadExpression Update(LookupResultKind resultKind, ImmutableArray<Symbol?> symbols, ImmutableArray<BoundExpression> childBoundNodes, TypeSymbol? type)
6073public BoundMethodGroup(SyntaxNode syntax, ImmutableArray<TypeWithAnnotations> typeArgumentsOpt, string name, ImmutableArray<MethodSymbol> methods, Symbol? lookupSymbolOpt, DiagnosticInfo? lookupError, BoundMethodGroupFlags? flags, FunctionTypeSymbol? functionType, BoundExpression? receiverOpt, LookupResultKind resultKind, bool hasErrors = false)
6092public Symbol? LookupSymbolOpt { get; }
6100public BoundMethodGroup Update(ImmutableArray<TypeWithAnnotations> typeArgumentsOpt, string name, ImmutableArray<MethodSymbol> methods, Symbol? lookupSymbolOpt, DiagnosticInfo? lookupError, BoundMethodGroupFlags? flags, FunctionTypeSymbol? functionType, BoundExpression? receiverOpt, LookupResultKind resultKind)
6742public BoundObjectInitializerMember(SyntaxNode syntax, Symbol? memberSymbol, ImmutableArray<BoundExpression> arguments, ImmutableArray<string?> argumentNamesOpt, ImmutableArray<RefKind> argumentRefKindsOpt, bool expanded, ImmutableArray<int> argsToParamsOpt, BitVector defaultArguments, LookupResultKind resultKind, AccessorKind accessorKind, TypeSymbol receiverType, TypeSymbol type, bool hasErrors = false)
6763public Symbol? MemberSymbol { get; }
6777public BoundObjectInitializerMember Update(Symbol? memberSymbol, ImmutableArray<BoundExpression> arguments, ImmutableArray<string?> argumentNamesOpt, ImmutableArray<RefKind> argumentRefKindsOpt, bool expanded, ImmutableArray<int> argsToParamsOpt, BitVector defaultArguments, LookupResultKind resultKind, AccessorKind accessorKind, TypeSymbol receiverType, TypeSymbol type)
8093protected BoundObjectPattern(BoundKind kind, SyntaxNode syntax, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType, bool hasErrors = false)
8104public Symbol? Variable { get; }
8110public BoundDeclarationPattern(SyntaxNode syntax, BoundTypeExpression declaredType, bool isVar, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType, bool hasErrors = false)
8132public BoundDeclarationPattern Update(BoundTypeExpression declaredType, bool isVar, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType)
8146public BoundRecursivePattern(SyntaxNode syntax, BoundTypeExpression? declaredType, MethodSymbol? deconstructMethod, ImmutableArray<BoundPositionalSubpattern> deconstruction, ImmutableArray<BoundPropertySubpattern> properties, bool isExplicitNotNullTest, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType, bool hasErrors = false)
8173public BoundRecursivePattern Update(BoundTypeExpression? declaredType, MethodSymbol? deconstructMethod, ImmutableArray<BoundPositionalSubpattern> deconstruction, ImmutableArray<BoundPropertySubpattern> properties, bool isExplicitNotNullTest, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType)
8187public BoundListPattern(SyntaxNode syntax, ImmutableArray<BoundPattern> subpatterns, bool hasSlice, BoundExpression? lengthAccess, BoundExpression? indexerAccess, BoundListPatternReceiverPlaceholder? receiverPlaceholder, BoundListPatternIndexPlaceholder? argumentPlaceholder, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType, bool hasErrors = false)
8217public BoundListPattern Update(ImmutableArray<BoundPattern> subpatterns, bool hasSlice, BoundExpression? lengthAccess, BoundExpression? indexerAccess, BoundListPatternReceiverPlaceholder? receiverPlaceholder, BoundListPatternIndexPlaceholder? argumentPlaceholder, Symbol? variable, BoundExpression? variableAccess, TypeSymbol inputType, TypeSymbol narrowedType)
8324public BoundPositionalSubpattern(SyntaxNode syntax, Symbol? symbol, BoundPattern pattern, bool hasErrors = false)
8333public Symbol? Symbol { get; }
8338public BoundPositionalSubpattern Update(Symbol? symbol, BoundPattern pattern)
8382public BoundPropertySubpatternMember(SyntaxNode syntax, BoundPropertySubpatternMember? receiver, Symbol? symbol, TypeSymbol type, bool hasErrors = false)
8394public Symbol? Symbol { get; }
8400public BoundPropertySubpatternMember Update(BoundPropertySubpatternMember? receiver, Symbol? symbol, TypeSymbol type)
8625protected VariablePendingInference(BoundKind kind, SyntaxNode syntax, Symbol variableSymbol, BoundExpression? receiverOpt, bool hasErrors = false)
8636public Symbol VariableSymbol { get; }
8642public OutVariablePendingInference(SyntaxNode syntax, Symbol variableSymbol, BoundExpression? receiverOpt, bool hasErrors = false)
8654public OutVariablePendingInference Update(Symbol variableSymbol, BoundExpression? receiverOpt)
8668public DeconstructionVariablePendingInference(SyntaxNode syntax, Symbol variableSymbol, BoundExpression? receiverOpt, bool hasErrors = false)
8680public DeconstructionVariablePendingInference Update(Symbol variableSymbol, BoundExpression? receiverOpt)
8694public OutDeconstructVarPendingInference(SyntaxNode syntax, Symbol? variableSymbol, bool isDiscardExpression, bool hasErrors)
8701public OutDeconstructVarPendingInference(SyntaxNode syntax, Symbol? variableSymbol, bool isDiscardExpression)
8709public Symbol? VariableSymbol { get; }
8715public OutDeconstructVarPendingInference Update(Symbol? variableSymbol, bool isDiscardExpression)
10873Symbol? variableSymbol = this.VisitSymbol(node.VariableSymbol);
10940ImmutableArray<Symbol?> symbols = this.VisitSymbols<Symbol?>(node.Symbols);
11866Symbol? lookupSymbolOpt = this.VisitSymbol(node.LookupSymbolOpt);
11988Symbol? memberSymbol = this.VisitSymbol(node.MemberSymbol);
12236Symbol? variable = this.VisitSymbol(node.Variable);
12246Symbol? variable = this.VisitSymbol(node.Variable);
12257Symbol? variable = this.VisitSymbol(node.Variable);
12289Symbol? symbol = this.VisitSymbol(node.Symbol);
12301Symbol? symbol = this.VisitSymbol(node.Symbol);
12348Symbol variableSymbol = this.VisitSymbol(node.VariableSymbol);
12355Symbol variableSymbol = this.VisitSymbol(node.VariableSymbol);
12362Symbol? variableSymbol = this.VisitSymbol(node.VariableSymbol);
12400private readonly ImmutableDictionary<Symbol, Symbol>.Builder _remappedSymbols;
12402public NullabilityRewriter(ImmutableDictionary<BoundExpression, (NullabilityInfo Info, TypeSymbol? Type)> updatedNullabilities, NullableWalker.SnapshotManager? snapshotManager, ImmutableDictionary<Symbol, Symbol>.Builder remappedSymbols)
12464Symbol? variableSymbol = GetUpdatedSymbol(node, node.VariableSymbol);
12630ImmutableArray<Symbol?> symbols = GetUpdatedArray(node, node.Symbols);
14073Symbol? lookupSymbolOpt = GetUpdatedSymbol(node, node.LookupSymbolOpt);
14346Symbol? memberSymbol = GetUpdatedSymbol(node, node.MemberSymbol);
14907Symbol? variable = GetUpdatedSymbol(node, node.Variable);
14918Symbol? variable = GetUpdatedSymbol(node, node.Variable);
14930Symbol? variable = GetUpdatedSymbol(node, node.Variable);
14965Symbol? symbol = GetUpdatedSymbol(node, node.Symbol);
14972Symbol? symbol = GetUpdatedSymbol(node, node.Symbol);
15041Symbol variableSymbol = GetUpdatedSymbol(node, node.VariableSymbol);
15059Symbol variableSymbol = GetUpdatedSymbol(node, node.VariableSymbol);
15077Symbol? variableSymbol = GetUpdatedSymbol(node, node.VariableSymbol);
Lowering\ClosureConversion\ExpressionLambdaRewriter.cs (8)
351return new BoundBadExpression(node.Syntax, default(LookupResultKind), ImmutableArray<Symbol>.Empty, ImmutableArray.Create<BoundExpression>(node), ExpressionType);
382return new BoundBadExpression(node.Syntax, 0, ImmutableArray<Symbol>.Empty, ImmutableArray.Create<BoundExpression>(node), ExpressionType);
909private BoundExpression InitializerMemberSetter(Symbol symbol)
924private BoundExpression InitializerMemberGetter(Symbol symbol)
951var sym = ((BoundObjectInitializerMember)a.Left).MemberSymbol;
1091return new BoundBadExpression(node.Syntax, default(LookupResultKind), ImmutableArray<Symbol>.Empty, ImmutableArray.Create<BoundExpression>(node), node.Type);
1098return new BoundBadExpression(node.Syntax, default(LookupResultKind), ImmutableArray<Symbol>.Empty, ImmutableArray.Create<BoundExpression>(node), node.Type);
1130return new BoundBadExpression(node.Syntax, default(LookupResultKind), ImmutableArray<Symbol>.Empty, ImmutableArray.Create<BoundExpression>(node), node.Type);
Lowering\ExtensionMethodBodyRewriter.cs (12)
26private ImmutableDictionary<Symbol, Symbol> _symbolMap;
37_symbolMap = ImmutableDictionary<Symbol, Symbol>.Empty.WithComparers(ReferenceEqualityComparer.Instance, ReferenceEqualityComparer.Instance);
50private (RewrittenMethodSymbol, ImmutableDictionary<Symbol, Symbol>) EnterMethod(MethodSymbol symbol, RewrittenMethodSymbol rewritten, ReadOnlySpan<ParameterSymbol> rewrittenParameters)
52ImmutableDictionary<Symbol, Symbol> saveSymbolMap = _symbolMap;
72private (RewrittenMethodSymbol, ImmutableDictionary<Symbol, Symbol>) EnterMethod(MethodSymbol symbol, RewrittenLambdaOrLocalFunctionSymbol rewritten)
118ImmutableDictionary<Symbol, Symbol> saveSymbolMap = _symbolMap;
Lowering\Instrumentation\LocalStateTracingInstrumenter.cs (6)
204private MethodSymbol? GetLocalOrParameterStoreLogger(TypeSymbol variableType, Symbol targetSymbol, bool? refAssignmentSourceIsLocal, SyntaxNode syntax)
388if (!TryGetLocalOrParameterInfo(original.Left, out var targetSymbol, out var targetType, out var targetIndex))
409private bool TryGetLocalOrParameterInfo(BoundNode node, [NotNullWhen(true)] out Symbol? symbol, [NotNullWhen(true)] out TypeSymbol? type, [NotNullWhen(true)] out BoundExpression? indexExpression)
437Symbol targetSymbol,
485private BoundExpression VariableRead(Symbol localOrParameterSymbol)
583if (!TryGetLocalOrParameterInfo(arguments[i], out var targetSymbol, out var targetType, out var targetIndex))
Lowering\LocalRewriter\LocalRewriter_Event.cs (5)
128clearCall = new BoundBadExpression(syntax, LookupResultKind.NotInvocable, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create<BoundExpression>(removeDelegate), ErrorTypeSymbol.UnknownResultType);
170marshalCall = new BoundBadExpression(syntax, LookupResultKind.NotInvocable, ImmutableArray<Symbol?>.Empty, marshalArguments, ErrorTypeSymbol.UnknownResultType);
265getOrCreateCall = new BoundBadExpression(syntax, LookupResultKind.NotInvocable, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create<BoundExpression>(fieldAccess), ErrorTypeSymbol.UnknownResultType);
287return new BoundBadExpression(syntax, LookupResultKind.NotInvocable, ImmutableArray<Symbol?>.Empty, ImmutableArray.Create(getOrCreateCall), ErrorTypeSymbol.UnknownResultType);
333return new BoundBadExpression(node.Syntax, LookupResultKind.NotCreatable, ImmutableArray.Create<Symbol?>(node.Event),
Lowering\LocalRewriter\LocalRewriter_ObjectCreationExpression.cs (4)
217var property = left.MemberSymbol;
389newGuid = new BoundBadExpression(node.Syntax, LookupResultKind.NotCreatable, ImmutableArray<Symbol?>.Empty, ImmutableArray<BoundExpression>.Empty, ErrorTypeSymbol.UnknownResultType);
407callGetTypeFromCLSID = new BoundBadExpression(node.Syntax, LookupResultKind.OverloadResolutionFailure, ImmutableArray<Symbol?>.Empty, ImmutableArray<BoundExpression>.Empty, ErrorTypeSymbol.UnknownResultType);
419rewrittenObjectCreation = new BoundBadExpression(node.Syntax, LookupResultKind.OverloadResolutionFailure, ImmutableArray<Symbol?>.Empty, ImmutableArray<BoundExpression>.Empty, node.Type);
Lowering\StateMachineRewriter\IteratorAndAsyncCaptureWalker.cs (14)
30private readonly OrderedSet<Symbol> _variablesToHoist = new OrderedSet<Symbol>();
34private MultiDictionary<Symbol, SyntaxNode> _lazyDisallowedCaptures;
42private IteratorAndAsyncCaptureWalker(CSharpCompilation compilation, MethodSymbol method, BoundNode node, HashSet<Symbol> initiallyAssignedVariables)
53public static OrderedSet<Symbol> Analyze(CSharpCompilation compilation, MethodSymbol method, BoundNode node, DiagnosticBag diagnostics)
113var variablesToHoist = new OrderedSet<Symbol>();
136private static bool HoistInDebugBuild(Symbol symbol)
209private void CaptureVariable(Symbol variable, SyntaxNode syntax)
215(_lazyDisallowedCaptures ??= new MultiDictionary<Symbol, SyntaxNode>()).Add(variable, syntax);
258protected override void ReportUnassigned(Symbol symbol, SyntaxNode node, int slot, bool skipIfUseBeforeDeclaration)
350private readonly HashSet<Symbol> _localsInScope;
360_localsInScope = new HashSet<Symbol>();
389private void AddVariable(Symbol local)
424private void Capture(Symbol s, SyntaxNode syntax)
Lowering\StateMachineRewriter\StateMachineRewriter.cs (10)
30protected IReadOnlyDictionary<Symbol, CapturedSymbolReplacement>? nonReusableLocalProxies;
33protected IOrderedReadOnlySet<Symbol>? hoistedVariables;
34protected Dictionary<Symbol, CapturedSymbolReplacement>? initialParameters;
86protected abstract BoundStatement GenerateStateMachineCreation(LocalSymbol stateMachineVariable, NamedTypeSymbol frameType, IReadOnlyDictionary<Symbol, CapturedSymbolReplacement> proxies);
114initialParameters = new Dictionary<Symbol, CapturedSymbolReplacement>();
137IEnumerable<Symbol> variablesToHoist,
138out IReadOnlyDictionary<Symbol, CapturedSymbolReplacement> proxies,
142var proxiesBuilder = new Dictionary<Symbol, CapturedSymbolReplacement>();
151foreach (var variable in variablesToHoist)
306protected BoundStatement GenerateParameterStorage(LocalSymbol stateMachineVariable, IReadOnlyDictionary<Symbol, CapturedSymbolReplacement> proxies)
Lowering\SyntheticBoundNodeFactory.cs (9)
241return new BoundBadExpression(Syntax, LookupResultKind.Empty, ImmutableArray<Symbol?>.Empty, ImmutableArray<BoundExpression>.Empty, type, hasErrors: true);
323public Symbol? WellKnownMember(WellKnownMember wm, bool isOptional)
325Symbol? wellKnownMember = Binder.GetWellKnownTypeMember(Compilation, wm, Diagnostics, syntax: Syntax, isOptional: true);
336public Symbol WellKnownMember(WellKnownMember wm)
358public Symbol SpecialMember(SpecialMember sm)
360var result = SpecialMember(sm, isOptional: false);
365public Symbol? SpecialMember(SpecialMember sm, bool isOptional = false)
367Symbol specialMember = Compilation.GetSpecialTypeMember(sm);
802return new BoundBadExpression(Syntax, default(LookupResultKind), ImmutableArray<Symbol?>.Empty, args.AsImmutable(), receiver);
Symbols\AliasSymbol.cs (6)
53private readonly Symbol _containingSymbol;
55protected AliasSymbol(string aliasName, Symbol containingSymbol, ImmutableArray<Location> locations, bool isExtern)
73internal static AliasSymbol CreateCustomDebugInfoAlias(NamespaceOrTypeSymbol targetSymbol, SyntaxToken aliasToken, Symbol containingSymbol, bool isExtern)
206public sealed override Symbol ContainingSymbol
243public override bool Equals(Symbol? obj, TypeCompareKind compareKind)
436internal AliasSymbolFromResolvedTarget(NamespaceOrTypeSymbol target, string aliasName, Symbol containingSymbol, ImmutableArray<Location> locations, bool isExtern)
Symbols\Attributes\AttributeData.cs (6)
215internal void DecodeSecurityAttribute<T>(Symbol targetSymbol, CSharpCompilation compilation, ref DecodeWellKnownAttributeArguments<AttributeSyntax, CSharpAttributeData, AttributeLocation> arguments)
290foreach (Symbol foundMember in type.GetMembers(memberName))
339private DeclarativeSecurityAction DecodeSecurityAttributeAction(Symbol targetSymbol, CSharpCompilation compilation, AttributeSyntax? nodeOpt, out bool hasErrors, BindingDiagnosticBag diagnostics)
382private DeclarativeSecurityAction DecodeSecurityAction(TypedConstant typedValue, Symbol targetSymbol, AttributeSyntax? nodeOpt, BindingDiagnosticBag diagnostics, out bool hasErrors)
653foreach (var member in AttributeClass.GetMembers(memberName))
672internal bool ShouldEmitAttribute(Symbol target, bool isReturnType, bool emittingAssemblyAttributesInNetModule)
Symbols\Compilation_WellKnownMembers.cs (12)
32private Symbol?[]? _lazyWellKnownTypeMembers;
77internal Symbol? GetWellKnownTypeMember(WellKnownMember member)
88var wellKnownTypeMembers = new Symbol[(int)WellKnownMember.Count];
102Symbol? result = null;
245internal static Symbol? GetRuntimeMember(NamedTypeSymbol declaringType, in MemberDescriptor descriptor, SignatureComparer<MethodSymbol, FieldSymbol, PropertySymbol, TypeSymbol, ParameterSymbol> comparer, AssemblySymbol? accessWithinOpt)
251internal static Symbol? GetRuntimeMember(ImmutableArray<Symbol> members, in MemberDescriptor descriptor, SignatureComparer<MethodSymbol, FieldSymbol, PropertySymbol, TypeSymbol, ParameterSymbol> comparer, AssemblySymbol? accessWithinOpt)
257Symbol? result = null;
288foreach (var member in members)
296!(member.DeclaredAccessibility == Accessibility.Public || (accessWithinOpt is object && Symbol.IsSymbolAccessible(member, accessWithinOpt))))
418var wellKnownMember = Binder.GetWellKnownTypeMember(this, arg.Key, useSiteInfo: out _, isOptional: true);
687var member = Binder.GetWellKnownTypeMember(this, attributeCtor,
Symbols\ConstraintsHelper.cs (10)
889this Symbol containingSymbol,
927Symbol containingSymbol,
1029Symbol containingSymbol,
1066if (typeArgument.Type is NamedTypeSymbol { IsInterface: true } iface && SelfOrBaseHasStaticAbstractMember(iface, ref useSiteInfo, out Symbol member))
1093static bool errorIfNotSatisfiesConstructorConstraint(Symbol containingSymbol, TypeParameterSymbol typeParameter, TypeWithAnnotations typeArgument, ArrayBuilder<TypeParameterDiagnosticInfo> diagnosticsBuilder)
1117Symbol containingSymbol,
1140Symbol containingSymbol,
1381private static bool SelfOrBaseHasStaticAbstractMember(NamedTypeSymbol iface, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, out Symbol memberWithoutImplementation)
1385foreach (Symbol m in iface.GetMembers())
1396foreach (Symbol m in baseInterface.GetMembers())
Symbols\ExtendedErrorTypeSymbol.cs (11)
25private readonly ImmutableArray<Symbol> _candidateSymbols; // Best guess at what user meant, but was wrong.
52private ExtendedErrorTypeSymbol(NamespaceOrTypeSymbol? containingSymbol, string name, int arity, DiagnosticInfo? errorInfo, bool unreported, bool variableUsedBeforeDeclaration, ImmutableArray<Symbol> candidateSymbols, LookupResultKind resultKind)
69internal ExtendedErrorTypeSymbol(NamespaceOrTypeSymbol? containingSymbol, Symbol guessSymbol, LookupResultKind resultKind, DiagnosticInfo errorInfo, bool unreported = false)
70: this(containingSymbol, ImmutableArray.Create<Symbol>(guessSymbol), resultKind, errorInfo, GetArity(guessSymbol), unreported)
74internal ExtendedErrorTypeSymbol(NamespaceOrTypeSymbol? containingSymbol, ImmutableArray<Symbol> candidateSymbols, LookupResultKind resultKind, DiagnosticInfo errorInfo, int arity, bool unreported = false)
88private static ImmutableArray<Symbol> UnwrapErrorCandidates(ImmutableArray<Symbol> candidateSymbols)
115public override ImmutableArray<Symbol> CandidateSymbols => _candidateSymbols.NullToEmpty();
151public override Symbol? ContainingSymbol
270foreach (Symbol sym in oldError._candidateSymbols)
312private static int GetArity(Symbol symbol)
Symbols\MemberSymbolExtensions.cs (51)
25internal static bool HasParamsParameter(this Symbol member)
34internal static ImmutableArray<ParameterSymbol> GetParameters(this Symbol member)
52internal static ImmutableArray<TypeWithAnnotations> GetParameterTypes(this Symbol member)
67internal static bool GetIsVararg(this Symbol member)
82internal static bool GetIsNewExtensionMember(this Symbol member)
104internal static int GetMemberArityIncludingExtension(this Symbol member)
114internal static ImmutableArray<ParameterSymbol> GetParametersIncludingExtensionParameter(this Symbol symbol)
129internal static TMember ConstructIncludingExtension<TMember>(this TMember member, ImmutableArray<TypeWithAnnotations> typeArguments) where TMember : Symbol
144return (TMember)(Symbol)method.Construct(typeArguments[extension.Arity..]);
147return (TMember)(Symbol)method;
150return (TMember)(Symbol)method.Construct(typeArguments);
163return (TMember)(Symbol)property;
172internal static Symbol? GetReducedAndFilteredSymbol(this Symbol member, ImmutableArray<TypeWithAnnotations> typeArguments, TypeSymbol receiverType, CSharpCompilation compilation, bool checkFullyInferred)
255internal static ImmutableArray<RefKind> GetParameterRefKinds(this Symbol member)
270internal static int GetParameterCount(this Symbol member)
286internal static bool HasParameterContainingPointerType(this Symbol member)
299public static bool IsEventOrPropertyWithImplementableNonPublicAccessor(this Symbol symbol)
332public static bool IsAccessor(this Symbol symbol)
339var propertyOrEvent = methodSymbol.AssociatedSymbol;
348public static bool IsOperator(this Symbol symbol)
353public static bool IsIndexer(this Symbol symbol)
358public static bool IsIndexedProperty(this Symbol symbol)
363public static bool IsUserDefinedConversion(this Symbol symbol)
390public static int CustomModifierCount(this Symbol m)
439internal static Symbol SymbolAsMember(this Symbol s, NamedTypeSymbol newOwner)
461internal static int GetMemberArity(this Symbol symbol)
494internal static ImmutableArray<TypeParameterSymbol> GetMemberTypeParameters(this Symbol symbol)
512internal static ImmutableArray<TypeSymbol> GetMemberTypeArgumentsNoUseSiteDiagnostics(this Symbol symbol)
705internal static bool IsExplicitInterfaceImplementation(this Symbol member)
720internal static bool IsPartialMember(this Symbol member)
732internal static bool IsPartialImplementation(this Symbol member)
744internal static bool IsPartialDefinition(this Symbol member)
757internal static Symbol? GetPartialImplementationPart(this Symbol member)
769internal static Symbol? GetPartialDefinitionPart(this Symbol member)
782internal static bool ContainsTupleNames(this Symbol member)
799internal static ImmutableArray<Symbol> GetExplicitInterfaceImplementations(this Symbol member)
804return ((MethodSymbol)member).ExplicitInterfaceImplementations.Cast<MethodSymbol, Symbol>();
806return ((PropertySymbol)member).ExplicitInterfaceImplementations.Cast<PropertySymbol, Symbol>();
808return ((EventSymbol)member).ExplicitInterfaceImplementations.Cast<EventSymbol, Symbol>();
810return ImmutableArray<Symbol>.Empty;
814internal static Symbol GetOverriddenMember(this Symbol member)
829internal static Symbol GetLeastOverriddenMember(this Symbol member, NamedTypeSymbol accessingTypeOpt)
850internal static bool IsFieldOrFieldLikeEvent(this Symbol member, out FieldSymbol field)
866internal static string GetMemberCallerName(this Symbol member)
Symbols\Metadata\PE\PENamedTypeSymbol.cs (38)
55private ImmutableArray<Symbol> _lazyMembersInDeclarationOrder;
61private Dictionary<string, ImmutableArray<Symbol>> _lazyMembersByName;
426foreach (var member in @this.GetMembers(WellKnownMemberNames.ExtensionMarkerMethodName))
468foreach (var member in @this.ContainingType.GetMembers(method.Name))
548Symbol s = _container;
802public override Symbol ContainingSymbol
1094public override ImmutableArray<Symbol> GetMembers()
1148ImmutableArray<Symbol> staticFields = GetMembers();
1258ImmutableArray<Symbol> members = GetMembers();
1361internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers()
1366internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers(string name)
1371private class DeclarationOrderTypeSymbolComparer : IComparer<Symbol>
1377public int Compare(Symbol x, Symbol y)
1467ArrayBuilder<Symbol> members = null;
1473members = ArrayBuilder<Symbol>.GetInstance();
1522ArrayBuilder<Symbol> nonFieldMembers = ArrayBuilder<Symbol>.GetInstance();
1598Symbol previous = null;
1608Symbol current = s;
1643members = ArrayBuilder<Symbol>.GetInstance();
1654Dictionary<string, ImmutableArray<Symbol>> membersDict = GroupByName(members);
1687internal override ImmutableArray<Symbol> GetSimpleNonTypeMembers(string name)
1691ImmutableArray<Symbol> m;
1694m = ImmutableArray<Symbol>.Empty;
1700public override ImmutableArray<Symbol> GetMembers(string name)
1704ImmutableArray<Symbol> m;
1707m = ImmutableArray<Symbol>.Empty;
1714m = m.Concat(StaticCast<Symbol>.From(t));
2232private PooledDictionary<MethodDefinitionHandle, PEMethodSymbol> CreateMethods(ArrayBuilder<Symbol> members)
2263private void CreateProperties(Dictionary<MethodDefinitionHandle, PEMethodSymbol> methodHandleToSymbol, ArrayBuilder<Symbol> members)
2295ArrayBuilder<Symbol> members)
2340private static Dictionary<string, ImmutableArray<Symbol>> GroupByName(ArrayBuilder<Symbol> symbols)
2697private static int GetIndexOfFirstMember(ImmutableArray<Symbol> members, SymbolKind kind)
2714private static IEnumerable<TSymbol> GetMembers<TSymbol>(ImmutableArray<Symbol> members, SymbolKind kind, int offset = -1)
2715where TSymbol : Symbol
2724var member = members[i];
Symbols\NamedTypeSymbol.cs (29)
29private static readonly ImmutableSegmentedDictionary<string, Symbol> RequiredMembersErrorSentinel = ImmutableSegmentedDictionary<string, Symbol>.Empty.Add("<error sentinel>", null!);
35private ImmutableSegmentedDictionary<string, Symbol> _lazyRequiredMembers = default;
211ImmutableArray<Symbol> candidates = GetSimpleNonTypeMembers(name);
215foreach (var candidate in candidates)
261ImmutableArray<Symbol> instanceCandidates = includeInstance
263: ImmutableArray<Symbol>.Empty;
264ImmutableArray<Symbol> staticCandidates = includeStatic
266: ImmutableArray<Symbol>.Empty;
274foreach (Symbol candidate in instanceCandidates)
282foreach (Symbol candidate in staticCandidates)
303ImmutableArray<Symbol> candidates = GetSimpleNonTypeMembers(WellKnownMemberNames.Indexer);
313foreach (Symbol candidate in candidates)
348foreach (var member in members)
567internal ImmutableSegmentedDictionary<string, Symbol> AllRequiredMembers
575return ImmutableSegmentedDictionary<string, Symbol>.Empty;
589bool success = tryCalculateRequiredMembers(out ImmutableSegmentedDictionary<string, Symbol>.Builder? builder);
592? builder?.ToImmutable() ?? BaseTypeNoUseSiteDiagnostics?.AllRequiredMembers ?? ImmutableSegmentedDictionary<string, Symbol>.Empty
597bool tryCalculateRequiredMembers(out ImmutableSegmentedDictionary<string, Symbol>.Builder? requiredMembersBuilder)
605var baseAllRequiredMembers = BaseTypeNoUseSiteDiagnostics?.AllRequiredMembers ?? ImmutableSegmentedDictionary<string, Symbol>.Empty;
608foreach (var member in GetMembersUnordered())
660public abstract override ImmutableArray<Symbol> GetMembers();
667public abstract override ImmutableArray<Symbol> GetMembers(string name);
676internal virtual ImmutableArray<Symbol> GetSimpleNonTypeMembers(string name)
703internal virtual IEnumerable<Symbol> GetInstanceFieldsAndEvents()
708protected static Func<Symbol, bool> IsInstanceFieldOrEvent = symbol =>
754internal abstract ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers();
764internal abstract ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers(string name);
1452internal override bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, Symbol owner, ref HashSet<TypeSymbol> checkedTypes)
Symbols\NativeIntegerTypeSymbol.cs (22)
26private ImmutableArray<Symbol> _lazyMembers;
42public override Symbol ContainingSymbol => _underlyingType.ContainingSymbol;
69public override ImmutableArray<Symbol> GetMembers()
77ImmutableArray<Symbol> makeMembers(ImmutableArray<Symbol> underlyingMembers)
79var builder = ArrayBuilder<Symbol>.GetInstance();
80foreach (var underlyingMember in underlyingMembers)
140public override ImmutableArray<Symbol> GetMembers(string name) => GetMembers().WhereAsArray((member, name) => member.Name == name, name);
152internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers() => throw ExceptionUtilities.Unreachable();
154internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers(string name) => throw ExceptionUtilities.Unreachable();
249internal static bool EqualsHelper<TSymbol>(TSymbol symbol, Symbol? other, TypeCompareKind comparison, Func<TSymbol, Symbol> getUnderlyingSymbol)
250where TSymbol : Symbol
269internal static void VerifyEquality(Symbol symbolA, Symbol symbolB)
347public override Symbol ContainingSymbol => _container;
376public override Symbol? AssociatedSymbol => _associatedSymbol;
385public override bool Equals(Symbol? other, TypeCompareKind comparison) => NativeIntegerTypeSymbol.EqualsHelper(this, other, comparison, symbol => symbol.UnderlyingMethod);
421public override Symbol ContainingSymbol => _container;
441public override bool Equals(Symbol? other, TypeCompareKind comparison) => NativeIntegerTypeSymbol.EqualsHelper(this, other, comparison, symbol => symbol._underlyingParameter);
474public override Symbol ContainingSymbol => _container;
490public override bool Equals(Symbol? other, TypeCompareKind comparison) => NativeIntegerTypeSymbol.EqualsHelper(this, other, comparison, symbol => symbol._underlyingProperty);
Symbols\ObsoleteAttributeHelpers.cs (9)
59private static ThreeState GetObsoleteContextState(Symbol symbol, bool forceComplete, Func<Symbol, ThreeState> getStateFromSymbol)
66var associatedSymbol = ((FieldSymbol)symbol).AssociatedSymbol;
98internal static ObsoleteDiagnosticKind GetObsoleteDiagnosticKind(Symbol symbol, Symbol containingMember, bool forceComplete = false)
130static ObsoleteDiagnosticKind getDiagnosticKind(Symbol containingMember, bool forceComplete, Func<Symbol, ThreeState> getStateFromSymbol)
152internal static DiagnosticInfo CreateObsoleteDiagnostic(Symbol symbol, BinderFlags location)
158static DiagnosticInfo createObsoleteDiagnostic(Symbol symbol, BinderFlags location)
Symbols\OverriddenOrHiddenMembersHelpers.cs (68)
84private static OverriddenOrHiddenMembersResult MakeOverriddenOrHiddenMembersWorker(Symbol member)
97Symbol associatedPropertyOrEvent = accessor.AssociatedSymbol;
134ArrayBuilder<Symbol> hiddenBuilder;
135ImmutableArray<Symbol> overriddenMembers;
138ImmutableArray<Symbol> hiddenMembers = hiddenBuilder == null ? ImmutableArray<Symbol>.Empty : hiddenBuilder.ToImmutableAndFree();
142private static void FindOverriddenOrHiddenMembers(Symbol member, NamedTypeSymbol containingType, bool memberIsFromSomeCompilation,
143out ArrayBuilder<Symbol> hiddenBuilder,
144out ImmutableArray<Symbol> overriddenMembers)
146Symbol bestMatch = null;
151Symbol knownOverriddenMember = member switch
180public static Symbol FindFirstHiddenMemberIfAny(Symbol member, bool memberIsFromSomeCompilation)
182ArrayBuilder<Symbol> hiddenBuilder;
186Symbol result = hiddenBuilder?.FirstOrDefault();
249ArrayBuilder<Symbol> hiddenBuilder = null;
253foreach (Symbol hiddenByProperty in hiddenOrOverriddenByProperty.HiddenMembers)
283ImmutableArray<Symbol> overriddenAccessors = ImmutableArray<Symbol>.Empty;
291ImmutableArray<Symbol> hiddenMembers = hiddenBuilder == null ? ImmutableArray<Symbol>.Empty : hiddenBuilder.ToImmutableAndFree();
341ArrayBuilder<Symbol> hiddenBuilder = null;
345foreach (Symbol hiddenByEvent in hiddenOrOverriddenByEvent.HiddenMembers)
373ImmutableArray<Symbol> overriddenAccessors = ImmutableArray<Symbol>.Empty;
383ImmutableArray<Symbol> hiddenMembers = hiddenBuilder == null ? ImmutableArray<Symbol>.Empty : hiddenBuilder.ToImmutableAndFree();
409internal static OverriddenOrHiddenMembersResult MakeInterfaceOverriddenOrHiddenMembers(Symbol member, bool memberIsFromSomeCompilation)
419ArrayBuilder<Symbol> hiddenBuilder = null;
428Symbol currTypeBestMatch;
430ArrayBuilder<Symbol> currTypeHiddenBuilder;
492ImmutableArray<Symbol> overriddenMembers = ImmutableArray<Symbol>.Empty;
496ArrayBuilder<Symbol> hiddenAndRelatedBuilder = null;
497foreach (Symbol hidden in hiddenBuilder)
508ImmutableArray<Symbol> hiddenMembers = hiddenBuilder == null ? ImmutableArray<Symbol>.Empty : hiddenBuilder.ToImmutableAndFree();
533Symbol member,
536Symbol knownOverriddenMember,
538out Symbol currTypeBestMatch,
540out ArrayBuilder<Symbol> hiddenBuilder)
551IEqualityComparer<Symbol> exactMatchComparer = memberIsFromSomeCompilation
555IEqualityComparer<Symbol> fallbackComparer = memberIsFromSomeCompilation
562foreach (Symbol otherMember in currType.GetMembers(member.Name))
674Symbol minCustomModifierMatch = currTypeBestMatch;
676foreach (Symbol otherMember in currType.GetMembers(member.Name))
708Symbol representativeMember,
709out ImmutableArray<Symbol> overriddenMembers,
710ref ArrayBuilder<Symbol> hiddenBuilder)
712overriddenMembers = ImmutableArray<Symbol>.Empty;
723ArrayBuilder<Symbol> overriddenBuilder = ArrayBuilder<Symbol>.GetInstance();
733overriddenMembers = ImmutableArray.Create<Symbol>(representativeMember);
753private static void AddHiddenMemberIfApplicable(ref ArrayBuilder<Symbol> hiddenBuilder, SymbolKind hidingMemberKind, Symbol hiddenMember)
789private static void FindOtherOverriddenMethodsInContainingType(Symbol representativeMember, bool overridingMemberIsFromSomeCompilation, ArrayBuilder<Symbol> overriddenBuilder)
796foreach (Symbol otherMember in representativeMember.ContainingType.GetMembers(representativeMember.Name))
851private static void FindOtherHiddenMembersInContainingType(SymbolKind hidingMemberKind, Symbol representativeMember, ref ArrayBuilder<Symbol> hiddenBuilder)
858IEqualityComparer<Symbol> comparer = MemberSignatureComparer.CSharpCustomModifierOverrideComparer;
859foreach (Symbol otherMember in representativeMember.ContainingType.GetMembers(representativeMember.Name))
871private static bool CanOverrideOrHide(Symbol member)
887private static bool TypeOrReturnTypeHasCustomModifiers(Symbol member)
909private static int CustomModifierCount(Symbol member)
991foreach (Symbol otherMethod in method.ContainingType.GetMembers(method.Name))
1032foreach (Symbol otherMember in currType.GetMembers(method.Name))
1070private static bool IsOverriddenSymbolAccessible(Symbol overridden, NamedTypeSymbol overridingContainingType)
Symbols\Retargeting\RetargetingSymbolTranslator.cs (42)
31private readonly ConcurrentDictionary<Symbol, Symbol> _symbolMap =
32new ConcurrentDictionary<Symbol, Symbol>(concurrencyLevel: 2, capacity: 4);
34private readonly Func<Symbol, RetargetingMethodSymbol> _createRetargetingMethod;
35private readonly Func<Symbol, RetargetingNamespaceSymbol> _createRetargetingNamespace;
36private readonly Func<Symbol, RetargetingTypeParameterSymbol> _createRetargetingTypeParameter;
37private readonly Func<Symbol, RetargetingNamedTypeSymbol> _createRetargetingNamedType;
38private readonly Func<Symbol, FieldSymbol> _createRetargetingField;
39private readonly Func<Symbol, RetargetingPropertySymbol> _createRetargetingProperty;
40private readonly Func<Symbol, RetargetingEventSymbol> _createRetargetingEvent;
42private RetargetingMethodSymbol CreateRetargetingMethod(Symbol symbol)
48private RetargetingNamespaceSymbol CreateRetargetingNamespace(Symbol symbol)
54private RetargetingNamedTypeSymbol CreateRetargetingNamedType(Symbol symbol)
60private FieldSymbol CreateRetargetingField(Symbol symbol)
86private RetargetingPropertySymbol CreateRetargetingProperty(Symbol symbol)
92private RetargetingEventSymbol CreateRetargetingEvent(Symbol symbol)
98private RetargetingTypeParameterSymbol CreateRetargetingTypeParameter(Symbol symbol)
105: CSharpSymbolVisitor<RetargetOptions, Symbol>
118private ConcurrentDictionary<Symbol, Symbol> SymbolMap
162public Symbol Retarget(Symbol symbol)
827public ImmutableArray<Symbol> Retarget(ImmutableArray<Symbol> arr)
1029foreach (var retargetedMember in retargetedType.GetMembers(method.Name))
1095foreach (var retargetedMember in retargetedType.GetMembers(property.Name))
1114foreach (var retargetedMember in retargetedType.GetMembers(@event.Name))
1317public override Symbol VisitModule(ModuleSymbol symbol, RetargetOptions options)
1324public override Symbol VisitNamespace(NamespaceSymbol symbol, RetargetOptions options)
1329public override Symbol VisitNamedType(NamedTypeSymbol symbol, RetargetOptions options)
1334public override Symbol VisitArrayType(ArrayTypeSymbol symbol, RetargetOptions options)
1339public override Symbol VisitPointerType(PointerTypeSymbol symbol, RetargetOptions options)
1344public override Symbol VisitFunctionPointerType(FunctionPointerTypeSymbol symbol, RetargetOptions argument)
1349public override Symbol VisitMethod(MethodSymbol symbol, RetargetOptions options)
1354public override Symbol VisitParameter(ParameterSymbol symbol, RetargetOptions options)
1359public override Symbol VisitField(FieldSymbol symbol, RetargetOptions options)
1364public override Symbol VisitProperty(PropertySymbol symbol, RetargetOptions argument)
1369public override Symbol VisitTypeParameter(TypeParameterSymbol symbol, RetargetOptions options)
1374public override Symbol VisitErrorType(ErrorTypeSymbol symbol, RetargetOptions options)
1379public override Symbol VisitEvent(EventSymbol symbol, RetargetOptions options)
1384public override Symbol VisitDynamicType(DynamicTypeSymbol symbol, RetargetOptions argument)
Symbols\Source\ParameterHelpers.cs (15)
22Symbol owner,
30return MakeParameters<ParameterSyntax, SourceParameterSymbol, Symbol>(
41parameterCreationFunc: static (Binder context, Symbol owner, TypeWithAnnotations parameterType,
66Symbol owner,
70var parameterCreationFunc = static (Binder context, Symbol owner, TypeWithAnnotations parameterType,
181where TOwningSymbol : Symbol
263where TOwningSymbol : Symbol
484internal static void EnsureNullableAttributeExists(PEModuleBuilder moduleBuilder, Symbol container, ImmutableArray<ParameterSymbol> parameters)
489internal static void EnsureNullableAttributeExists(CSharpCompilation? compilation, Symbol container, ImmutableArray<ParameterSymbol> parameters, BindingDiagnosticBag? diagnostics, bool modifyCompilation)
501private static void EnsureNullableAttributeExists(CSharpCompilation compilation, Symbol container, ImmutableArray<ParameterSymbol> parameters, BindingDiagnosticBag? diagnostics, bool modifyCompilation, PEModuleBuilder? moduleBuilder)
760Symbol? owner,
767Symbol? containingSymbol,
832Symbol owner,
1035internal static MethodSymbol FindContainingGenericMethod(Symbol symbol)
1037for (Symbol current = symbol; (object)current != null; current = current.ContainingSymbol)
Symbols\Source\SourceMemberContainerSymbol.cs (66)
183private static readonly ObjectPool<PooledDictionary<Symbol, Symbol>> s_duplicateRecordMemberSignatureDictionary =
184PooledDictionary<Symbol, Symbol>.CreatePool(MemberSignatureComparer.RecordAPISignatureComparer);
206private Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>? _lazyMembersDictionary;
207private Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>? _lazyEarlyAttributeDecodingMembersDictionary;
213private ImmutableArray<Symbol> _lazyMembersFlattened;
291Symbol containingSymbol = this.ContainingSymbol;
547internal override void ForceComplete(SourceLocation? locationOpt, Predicate<Symbol>? filter, CancellationToken cancellationToken)
641ImmutableArray<Symbol> members = this.GetMembersUnordered();
647foreach (var member in members)
655foreach (var member in members)
728foreach (var member in membersAndInitializers.NonTypeMembers)
772public sealed override Symbol ContainingSymbol
904for (Symbol? container = this.ContainingType; !(container is null); container = container.ContainingType)
1057internal readonly ImmutableArray<Symbol> NonTypeMembers;
1066ImmutableArray<Symbol> nonTypeMembers,
1389private void CheckMemberNameDistinctFromType(Symbol member, BindingDiagnosticBag diagnostics)
1433internal static bool HasAsyncMethodBuilderAttribute(Symbol symbol, [NotNullWhen(true)] out TypeSymbol? builderArgument)
1455internal override ImmutableArray<Symbol> GetMembersUnordered()
1469public override ImmutableArray<Symbol> GetMembers()
1491public sealed override ImmutableArray<Symbol> GetMembers(string name)
1493ImmutableArray<Symbol> members;
1499return ImmutableArray<Symbol>.Empty;
1510internal override ImmutableArray<Symbol> GetSimpleNonTypeMembers(string name)
1517return ImmutableArray<Symbol>.Empty;
1530foreach (var m in this.GetMembers())
1560internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers()
1572internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers(string name)
1574ImmutableArray<Symbol> result;
1575return GetEarlyAttributeDecodingMembersDictionary().TryGetValue(name.AsMemory(), out result) ? result : ImmutableArray<Symbol>.Empty;
1578private Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> GetEarlyAttributeDecodingMembersDictionary()
1582if (Volatile.Read(ref _lazyMembersDictionary) is Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> result)
1592Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> membersByName;
1615private static Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> ToNameKeyedDictionary(ImmutableArray<Symbol> symbols)
1619return new Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>(1, ReadOnlyMemoryOfCharComparer.Instance)
1627return new Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>(ReadOnlyMemoryOfCharComparer.Instance);
1637foreach (var item in symbols)
1640var dictionary = new Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>(accumulator.Count, ReadOnlyMemoryOfCharComparer.Instance);
1645dictionary.Add(pair.Key, pair.Value is ArrayBuilder<Symbol> arrayBuilder
1647: ImmutableArray.Create((Symbol)pair.Value));
1691internal void AssertMemberExposure(Symbol member, bool forDiagnostics = false)
1760static bool isMemberInCompleteMemberList(MembersAndInitializers? membersAndInitializers, Symbol member)
1767protected Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> GetMembersByName()
1777private Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> GetMembersByNameSlow()
1795internal override IEnumerable<Symbol> GetInstanceFieldsAndEvents()
1799IEnumerable<Symbol> result = membersAndInitializers.NonTypeMembers.Where(IsInstanceFieldOrEvent);
1947foreach (var member in GetMembersAndInitializers().NonTypeMembers)
1961foreach (var member in GetMembers("Clone"))
1971Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> membersByName,
2020Symbol? lastSym = typesByName?.TryGetValue(name, out var types) == true ? types.FirstOrDefault() : null;
2024foreach (var symbol in pair.Value)
2229BindingDiagnosticBag diagnostics, Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> membersByName)
2242foreach (var symbol in members)
2298Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> membersByName,
2361Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> membersByName,
2363ImmutableArray<Symbol> membersUnordered,
2377Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>? membersByName;
2378ImmutableArray<Symbol> membersUnordered;
2389static (Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>? membersByName, ImmutableArray<Symbol> membersUnordered) mergeMembersInGroup(IGrouping<ExtensionGroupingKey, NamedTypeSymbol> grouping)
2391Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>? membersByName = null;
2392ImmutableArray<Symbol> membersUnordered = [];
2399Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>> membersByNameToMerge = ((SourceMemberContainerTypeSymbol)extension).GetMembersByName();
2420membersByName = new Dictionary<ReadOnlyMemory<char>, ImmutableArray<Symbol>>(membersByName, ReadOnlyMemoryOfCharComparer.Instance);
Symbols\Source\SourceMemberContainerSymbol_ImplementationChecks.cs (32)
100foreach (var abstractMember in this.AbstractMembers)
134foreach (var interfaceMember in @interface.GetMembers())
158MultiDictionary<Symbol, Symbol>.ValueSet explicitImpl = this.GetExplicitImplementationForInterfaceMember(interfaceMember);
178var implementingMember = implementingMemberAndDiagnostics.Symbol;
229var info = new CSDiagnosticInfo(ErrorCode.ERR_MixingWinRTEventWithRegular, args, ImmutableArray<Symbol>.Empty, ImmutableArray.Create<Location>(this.GetFirstLocation()));
237var associatedPropertyOrEvent = interfaceMemberKind == SymbolKind.Method ? ((MethodSymbol)interfaceMember).AssociatedSymbol : null;
385private bool ReportAccessorOfInterfacePropertyOrEvent(Symbol interfacePropertyOrEvent)
395Symbol implementingPropertyOrEvent;
399MultiDictionary<Symbol, Symbol>.ValueSet explicitImpl = this.GetExplicitImplementationForInterfaceMember(interfacePropertyOrEvent);
528foreach (var member in this.GetMembersUnordered())
670private void CheckNewModifier(Symbol symbol, bool isNew, BindingDiagnosticBag diagnostics)
702foreach (var hiddenMember in currType.GetMembers(symbol.Name))
742Symbol overridingMember,
779Symbol associatedPropertyOrEvent = null;
868void checkSingleOverriddenMember(Symbol overridingMember, Symbol overriddenMember, BindingDiagnosticBag diagnostics, ref bool suppressAccessors)
925var leastOverriddenMember = overriddenMember.GetLeastOverriddenMember(overriddenMember.ContainingType);
1199private bool IsValidOverrideReturnType(Symbol overridingSymbol, TypeWithAnnotations overridingReturnType, TypeWithAnnotations overriddenReturnType, BindingDiagnosticBag diagnostics)
1532Symbol overriddenMember,
1533Symbol overridingMember)
1564Symbol hidingMember,
1594foreach (var hiddenMember in hiddenMembers)
1643private static bool IsShadowingSynthesizedRecordMember(Symbol hidingMember)
1652private static bool AddHidingAbstractDiagnostic(Symbol hidingMember, Location hidingMemberLocation, Symbol hiddenMember, BindingDiagnosticBag diagnostics, ref bool suppressAccessors)
1687var associatedPropertyOrEvent = ((MethodSymbol)hidingMember).AssociatedSymbol;
1718private static bool OverrideHasCorrectAccessibility(Symbol overridden, Symbol overriding)
1806SynthesizeInterfaceMemberImplementation(SymbolAndDiagnostics implementingMemberAndDiagnostics, Symbol interfaceMember)
1816Symbol implementingMember = implementingMemberAndDiagnostics.Symbol;
Symbols\SubstitutedNamedTypeSymbol.cs (31)
28private static readonly Func<Symbol, NamedTypeSymbol, Symbol> s_symbolAsMemberFunc = SymbolExtensions.SymbolAsMember;
39private readonly Symbol _newContainer;
54private ConcurrentCache<string, ImmutableArray<Symbol>> _lazyMembersByNameCache;
56private ImmutableArray<Symbol> _lazyMembers;
58protected SubstitutedNamedTypeSymbol(Symbol newContainer, TypeMap map, NamedTypeSymbol originalDefinition, NamedTypeSymbol constructedFrom = null, bool unbound = false, TupleExtraData tupleData = null)
127public sealed override Symbol ContainingSymbol
190internal abstract override bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, Symbol owner, ref HashSet<TypeSymbol> checkedTypes);
237public sealed override ImmutableArray<Symbol> GetMembers()
244var builder = ArrayBuilder<Symbol>.GetInstance();
249foreach (var t in OriginalDefinition.GetMembers())
259foreach (var t in OriginalDefinition.GetMembers())
272private ArrayBuilder<Symbol> AddOrWrapTupleMembersIfNecessary(ArrayBuilder<Symbol> builder)
277var replacedFields = new HashSet<Symbol>(ReferenceEqualityComparer.Instance);
293internal sealed override ImmutableArray<Symbol> GetMembersUnordered()
295var builder = ArrayBuilder<Symbol>.GetInstance();
299foreach (var t in OriginalDefinition.GetMembersUnordered())
309foreach (var t in OriginalDefinition.GetMembersUnordered())
320public sealed override ImmutableArray<Symbol> GetMembers(string name)
322if (_unbound) return StaticCast<Symbol>.From(GetTypeMembers(name));
324ImmutableArray<Symbol> result;
334private ImmutableArray<Symbol> GetMembersWorker(string name)
349var builder = ArrayBuilder<Symbol>.GetInstance(originalMembers.Length);
350foreach (var t in originalMembers)
359void cacheResult(ImmutableArray<Symbol> result)
365(_lazyMembersByNameCache = new ConcurrentCache<string, ImmutableArray<Symbol>>(8));
393internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers()
400internal override ImmutableArray<Symbol> GetEarlyAttributeDecodingMembers(string name)
404var builder = ArrayBuilder<Symbol>.GetInstance();
405foreach (var t in OriginalDefinition.GetEarlyAttributeDecodingMembers(name))
Symbols\Symbol.cs (27)
51internal virtual void ForceComplete(SourceLocation? locationOpt, Predicate<Symbol>? filter, CancellationToken cancellationToken)
108public abstract Symbol ContainingSymbol { get; }
117Symbol container = this.ContainingSymbol;
148for (var container = this.ContainingSymbol; (object)container != null; container = container.ContainingSymbol)
171var container = this.ContainingSymbol;
342var container = this.ContainingSymbol;
362public Symbol OriginalDefinition
370protected virtual Symbol OriginalSymbolDefinition
764public static bool operator ==(Symbol left, Symbol right)
786public static bool operator !=(Symbol left, Symbol right)
809return this.Equals(obj as Symbol, SymbolEqualityComparer.Default.CompareKind);
812public bool Equals(Symbol other)
819return this.Equals(other as Symbol, compareKind);
823public virtual bool Equals(Symbol other, TypeCompareKind compareKind)
834public static bool Equals(Symbol first, Symbol second, TypeCompareKind compareKind)
959internal static void ForceCompleteMemberConditionally(SourceLocation? locationOpt, Predicate<Symbol>? filter, Symbol member, CancellationToken cancellationToken)
1330internal static bool GetUnificationUseSiteDiagnosticRecursive<T>(ref DiagnosticInfo result, ImmutableArray<T> types, Symbol owner, ref HashSet<TypeSymbol> checkedTypes) where T : TypeSymbol
1343internal static bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, ImmutableArray<TypeWithAnnotations> types, Symbol owner, ref HashSet<TypeSymbol> checkedTypes)
1356internal static bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, ImmutableArray<CustomModifier> modifiers, Symbol owner, ref HashSet<TypeSymbol> checkedTypes)
1369internal static bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, ImmutableArray<ParameterSymbol> parameters, Symbol owner, ref HashSet<TypeSymbol> checkedTypes)
1383internal static bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, ImmutableArray<TypeParameterSymbol> typeParameters, Symbol owner, ref HashSet<TypeSymbol> checkedTypes)
1703internal static bool IsCaptured(Symbol variable, SourceMethodSymbol containingSymbol)
1754for (var currentFunction = variable.ContainingSymbol;
Symbols\SymbolExtensions.cs (56)
24public static bool IsCompilationOutputWinMdObj(this Symbol symbol)
39public static bool IsNestedType([NotNullWhen(true)] this Symbol? symbol)
87public static bool IsNoMoreVisibleThan(this Symbol symbol, TypeSymbol type, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
92public static bool IsNoMoreVisibleThan(this Symbol symbol, TypeWithAnnotations type, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
97internal static void AddUseSiteInfo(this Symbol? symbol, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, bool addDiagnostics = true)
120public static LocalizableErrorArgument GetKindText(this Symbol symbol)
129internal static NamespaceOrTypeSymbol? ContainingNamespaceOrType(this Symbol symbol)
131var containingSymbol = symbol.ContainingSymbol;
145internal static Symbol? ContainingNonLambdaMember(this Symbol? containingMember)
157internal static ParameterSymbol? EnclosingThisSymbol(this Symbol containingMember)
159Symbol symbol = containingMember;
199public static Symbol ConstructedFrom(this Symbol symbol)
219public static bool IsContainingSymbolOfAllTypeParameters(this Symbol containingSymbol, TypeSymbol type)
228public static bool IsContainingSymbolOfAllTypeParameters(this Symbol containingSymbol, ImmutableArray<TypeSymbol> types)
233private static readonly Func<TypeSymbol, Symbol, bool, bool> s_hasInvalidTypeParameterFunc =
236private static bool HasInvalidTypeParameter(TypeSymbol type, Symbol? containingSymbol)
240var symbol = type.ContainingSymbol;
253public static bool IsTypeOrTypeAlias(this Symbol symbol)
273internal static bool CompilationAllowsUnsafe(this Symbol symbol)
278internal static void CheckUnsafeModifier(this Symbol symbol, DeclarationModifiers modifiers, BindingDiagnosticBag diagnostics)
283internal static void CheckUnsafeModifier(this Symbol symbol, DeclarationModifiers modifiers, Location errorLocation, BindingDiagnosticBag diagnostics)
286internal static void CheckUnsafeModifier(this Symbol symbol, DeclarationModifiers modifiers, Location errorLocation, DiagnosticBag? diagnostics)
300public static bool IsHiddenByCodeAnalysisEmbeddedAttribute(this Symbol symbol)
317public static bool MustCallMethodsDirectly(this Symbol symbol)
330public static int GetArity(this Symbol? symbol)
346internal static CSharpSyntaxNode GetNonNullSyntaxNode(this Symbol? symbol)
354Symbol? containingSymbol = symbol.ContainingSymbol;
371internal static Symbol? EnsureCSharpSymbolOrNull(this ISymbol? symbol, string paramName)
430internal static TypeWithAnnotations GetTypeOrReturnType(this Symbol symbol)
462internal static FlowAnalysisAnnotations GetFlowAnalysisAnnotations(this Symbol? symbol)
474internal static void GetTypeOrReturnType(this Symbol symbol, out RefKind refKind, out TypeWithAnnotations returnType,
525internal static bool IsImplementableInterfaceMember(this Symbol symbol)
530internal static bool RequiresInstanceReceiver(this Symbol symbol)
543private static TISymbol? GetPublicSymbol<TISymbol>(this Symbol? symbol)
550internal static ISymbol? GetPublicSymbol(this Symbol? symbol)
675internal static IEnumerable<ISymbol?> GetPublicSymbols(this IEnumerable<Symbol?> symbols)
680private static ImmutableArray<TISymbol> GetPublicSymbols<TISymbol>(this ImmutableArray<Symbol> symbols)
691internal static ImmutableArray<ISymbol> GetPublicSymbols(this ImmutableArray<Symbol> symbols)
698return GetPublicSymbols<IPropertySymbol>(StaticCast<Symbol>.From(symbols));
703return GetPublicSymbols<ITypeSymbol>(StaticCast<Symbol>.From(symbols));
708return GetPublicSymbols<INamedTypeSymbol>(StaticCast<Symbol>.From(symbols));
713return GetPublicSymbols<ILocalSymbol>(StaticCast<Symbol>.From(symbols));
718return GetPublicSymbols<IEventSymbol>(StaticCast<Symbol>.From(symbols));
723return GetPublicSymbols<ITypeParameterSymbol>(StaticCast<Symbol>.From(symbols));
728return GetPublicSymbols<IParameterSymbol>(StaticCast<Symbol>.From(symbols));
733return GetPublicSymbols<IMethodSymbol>(StaticCast<Symbol>.From(symbols));
738return GetPublicSymbols<IAssemblySymbol>(StaticCast<Symbol>.From(symbols));
743return GetPublicSymbols<IFieldSymbol>(StaticCast<Symbol>.From(symbols));
748return GetPublicSymbols<INamespaceSymbol>(StaticCast<Symbol>.From(symbols));
753where TSymbol : Symbol
759internal static Symbol? GetSymbol(this ISymbol? symbol)
761return symbol.GetSymbol<Symbol>();
812internal static bool IsRequired(this Symbol symbol) => symbol is FieldSymbol { IsRequired: true } or PropertySymbol { IsRequired: true };
817internal static int GetOverloadResolutionPriority(this Symbol symbol)
Symbols\Tuples\TupleTypeSymbol.cs (29)
487internal static Symbol? GetWellKnownMemberInType(NamedTypeSymbol type, WellKnownMember relativeMember, BindingDiagnosticBag diagnostics, SyntaxNode? syntax)
489Symbol? member = GetWellKnownMemberInType(type, relativeMember);
516static Symbol? GetWellKnownMemberInType(NamedTypeSymbol type, WellKnownMember relativeMember)
565public TMember? GetTupleMemberSymbolForUnderlyingMember<TMember>(TMember? underlyingMemberOpt) where TMember : Symbol
570protected ArrayBuilder<Symbol> MakeSynthesizedTupleMembers(ImmutableArray<Symbol> currentMembers, HashSet<Symbol>? replacedFields = null)
577var members = ArrayBuilder<Symbol>.GetInstance(currentMembers.Length);
591foreach (Symbol member in currentMembers)
799static void collectTargetTupleFields(int arity, ImmutableArray<Symbol> members, ArrayBuilder<FieldSymbol?> fieldsForElements)
810static Symbol? getWellKnownMemberInType(ImmutableArray<Symbol> members, WellKnownMember relativeMember)
819static ImmutableArray<Symbol> getOriginalFields(ImmutableArray<Symbol> members)
821var fields = ArrayBuilder<Symbol>.GetInstance();
822foreach (var member in members)
913private SmallDictionary<Symbol, Symbol>? _lazyUnderlyingDefinitionToMemberMap;
1014foreach (var member in tuple.GetMembers())
1045internal SmallDictionary<Symbol, Symbol> UnderlyingDefinitionToMemberMap
1051SmallDictionary<Symbol, Symbol> computeDefinitionToMemberMap()
1053var map = new SmallDictionary<Symbol, Symbol>(ReferenceEqualityComparer.Instance);
1060var member = members[i];
1100public TMember? GetTupleMemberSymbolForUnderlyingMember<TMember>(TMember? underlyingMemberOpt) where TMember : Symbol
1107Symbol underlyingMemberDefinition = underlyingMemberOpt.OriginalDefinition;
1115if (UnderlyingDefinitionToMemberMap.TryGetValue(underlyingMemberDefinition, out Symbol? result))
Symbols\TypeSymbol.cs (131)
42private ImmutableHashSet<Symbol> _lazyAbstractMembers;
60private ConcurrentDictionary<Symbol, SymbolAndDiagnostics> _implementationForInterfaceMemberMap;
62public ConcurrentDictionary<Symbol, SymbolAndDiagnostics> ImplementationForInterfaceMemberMap
73map = new ConcurrentDictionary<Symbol, SymbolAndDiagnostics>(concurrencyLevel: 1, capacity: 1, comparer: SymbolEqualityComparer.ConsiderEverything);
83internal MultiDictionary<Symbol, Symbol> explicitInterfaceImplementationMap;
146protected sealed override Symbol OriginalSymbolDefinition
298public sealed override bool Equals(Symbol other, TypeCompareKind compareKind)
442public Symbol FindImplementationForInterfaceMember(Symbol interfaceMember)
531internal abstract bool GetUnificationUseSiteDiagnosticRecursive(ref DiagnosticInfo result, Symbol owner, ref HashSet<TypeSymbol> checkedTypes);
730internal SymbolAndDiagnostics FindImplementationForInterfaceMemberInNonInterfaceWithDiagnostics(Symbol interfaceMember, bool ignoreImplementationInInterfacesIfResultIsNotReady = false)
781internal Symbol FindImplementationForInterfaceMemberInNonInterface(Symbol interfaceMember, bool ignoreImplementationInInterfacesIfResultIsNotReady = false)
786private SymbolAndDiagnostics ComputeImplementationAndDiagnosticsForInterfaceMember(Symbol interfaceMember, bool ignoreImplementationInInterfaces, out bool implementationInInterfacesMightChangeResult)
789var implementingMember = ComputeImplementationForInterfaceMember(interfaceMember, this, diagnostics, ignoreImplementationInInterfaces, out implementationInInterfacesMightChangeResult);
812private static Symbol ComputeImplementationForInterfaceMember(Symbol interfaceMember, TypeSymbol implementingType, BindingDiagnosticBag diagnostics,
840Symbol implicitImpl = null;
841Symbol closestMismatch = null;
856MultiDictionary<Symbol, Symbol>.ValueSet explicitImpl = currType.GetExplicitImplementationForInterfaceMember(interfaceMember);
888if (IsExplicitlyImplementedViaAccessors(checkPendingExplicitImplementations, interfaceMember, currType, ref useSiteInfo, out Symbol currTypeExplicitImpl))
926Symbol currTypeImplicitImpl;
927Symbol currTypeCloseMismatch;
958Symbol originalImplicitImpl = implicitImpl;
968Symbol defaultImpl = null;
1058private static Symbol FindMostSpecificImplementationInInterfaces(Symbol interfaceMember, TypeSymbol implementingType,
1073Symbol defaultImpl = FindMostSpecificImplementationInBases(interfaceMember,
1075ref useSiteInfo, out Symbol conflict1, out Symbol conflict2);
1111private static Symbol FindMostSpecificImplementation(Symbol interfaceMember, NamedTypeSymbol implementingInterface, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
1113MultiDictionary<Symbol, Symbol>.ValueSet implementingMember = FindImplementationInInterface(interfaceMember, implementingInterface);
1130out var _, out var _);
1133Symbol result = implementingMember.Single();
1152private static Symbol FindMostSpecificImplementationInBases(
1153Symbol interfaceMember,
1156out Symbol conflictingImplementation1,
1157out Symbol conflictingImplementation2)
1181Symbol accessorImpl1 = findMostSpecificImplementationInBases(interfaceAccessor1 ?? interfaceAccessor2, allInterfaces, ref useSiteInfo,
1182out Symbol conflictingAccessorImplementation11, out Symbol conflictingAccessorImplementation12);
1212Symbol accessorImpl2 = findMostSpecificImplementationInBases(interfaceAccessor2, allInterfaces, ref useSiteInfo,
1213out Symbol conflictingAccessorImplementation21, out Symbol conflictingAccessorImplementation22);
1243static Symbol findImplementationInInterface(Symbol interfaceMember, Symbol inplementingAccessor1, Symbol implementingAccessor2 = null)
1253MultiDictionary<Symbol, Symbol>.ValueSet implementingMember = FindImplementationInInterface(interfaceMember, implementingInterface);
1264static Symbol findMostSpecificImplementationInBases(
1265Symbol interfaceMember,
1268out Symbol conflictingImplementation1,
1269out Symbol conflictingImplementation2)
1271var implementations = ArrayBuilder<(MultiDictionary<Symbol, Symbol>.ValueSet MethodSet, MultiDictionary<NamedTypeSymbol, NamedTypeSymbol> Bases)>.GetInstance();
1281MultiDictionary<Symbol, Symbol>.ValueSet candidate = FindImplementationInInterface(interfaceMember, interfaceType);
1290(MultiDictionary<Symbol, Symbol>.ValueSet methodSet, MultiDictionary<NamedTypeSymbol, NamedTypeSymbol> bases) = implementations[i];
1291Symbol previous = methodSet.First();
1343Symbol result;
1353MultiDictionary<Symbol, Symbol>.ValueSet methodSet = implementations[0].MethodSet;
1383internal static MultiDictionary<Symbol, Symbol>.ValueSet FindImplementationInInterface(Symbol interfaceMember, NamedTypeSymbol interfaceType)
1397return new MultiDictionary<Symbol, Symbol>.ValueSet(interfaceMember);
1406private static (MethodSymbol interfaceAccessor1, MethodSymbol interfaceAccessor2) GetImplementableAccessors(Symbol interfaceMember)
1467private static bool IsExplicitlyImplementedViaAccessors(bool checkPendingExplicitImplementations, Symbol interfaceMember, TypeSymbol currType, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, out Symbol implementingMember)
1471Symbol associated1;
1472Symbol associated2;
1504private static bool TryGetExplicitImplementationAssociatedPropertyOrEvent(bool checkPendingExplicitImplementations, MethodSymbol interfaceAccessor, TypeSymbol currType, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo, out Symbol associated)
1510MultiDictionary<Symbol, Symbol>.ValueSet set = currType.GetExplicitImplementationForInterfaceMember(interfaceAccessor);
1513Symbol implementation = set.Single();
1549ref Symbol implicitImpl)
1554Symbol associatedInterfacePropertyOrEvent = interfaceMethod.AssociatedSymbol;
1565Symbol implementingPropertyOrEvent = implementingType.FindImplementationForInterfaceMemberInNonInterface(associatedInterfacePropertyOrEvent,
1631private static void ReportDefaultInterfaceImplementationMatchDiagnostics(Symbol interfaceMember, TypeSymbol implementingType, Symbol implicitImpl, BindingDiagnosticBag diagnostics)
1679private static void ReportImplicitImplementationMatchDiagnostics(Symbol interfaceMember, TypeSymbol implementingType, Symbol implicitImpl, BindingDiagnosticBag diagnostics)
1734foreach (Symbol member in implicitImpl.ContainingType.GetMembers(implicitImpl.Name))
1774internal static void CheckModifierMismatchOnImplementingMember(TypeSymbol implementingType, Symbol implementingMember, Symbol interfaceMember, bool isExplicit, BindingDiagnosticBag diagnostics)
1972static void checkRefStructInterfacesFeatureAvailabilityOnUnscopedRefAttribute(Symbol implementingSymbol, BindingDiagnosticBag diagnostics)
1991private static void ReportImplicitImplementationMismatchDiagnostics(Symbol interfaceMember, TypeSymbol implementingType, Symbol closestMismatch, BindingDiagnosticBag diagnostics)
2063internal static bool HaveInitOnlyMismatch(Symbol one, Symbol other)
2081private static Location GetInterfaceLocation(Symbol interfaceMember, TypeSymbol implementingType)
2140internal static Location GetImplicitImplementationDiagnosticLocation(Symbol interfaceMember, TypeSymbol implementingType, Symbol member)
2170Symbol interfaceMember,
2173out Symbol implicitImpl,
2174out Symbol closeMismatch)
2186foreach (Symbol member in currType.GetMembers(interfaceMember.Name))
2243private static bool IsInterfaceMemberImplementation(Symbol candidateMember, Symbol interfaceMember, bool implementingTypeIsFromSomeCompilation)
2272protected MultiDictionary<Symbol, Symbol>.ValueSet GetExplicitImplementationForInterfaceMember(Symbol interfaceMember)
2288private MultiDictionary<Symbol, Symbol> MakeExplicitInterfaceImplementationMap()
2290var map = new MultiDictionary<Symbol, Symbol>(ExplicitInterfaceImplementationTargetMemberEqualityComparer.Instance);
2291foreach (var member in this.GetMembersUnordered())
2293foreach (var interfaceMember in member.GetExplicitInterfaceImplementations())
2359protected class ExplicitInterfaceImplementationTargetMemberEqualityComparer : IEqualityComparer<Symbol>
2364public bool Equals(Symbol x, Symbol y)
2370public int GetHashCode(Symbol obj)
2383internal ImmutableHashSet<Symbol> AbstractMembers
2395private ImmutableHashSet<Symbol> ComputeAbstractMembers()
2397var abstractMembers = ImmutableHashSet.Create<Symbol>();
2398var overriddenMembers = ImmutableHashSet.Create<Symbol>();
2400foreach (var member in this.GetMembersUnordered())
2407Symbol overriddenMember = null;
2435foreach (var baseAbstractMember in this.BaseTypeNoUseSiteDiagnostics.AbstractMembers)
2476public static bool operator ==(Symbol left, TypeSymbol right)
2480public static bool operator !=(Symbol left, TypeSymbol right)
2484public static bool operator ==(TypeSymbol left, Symbol right)
2488public static bool operator !=(TypeSymbol left, Symbol right)
Symbols\TypeSymbolExtensions.cs (11)
19public Symbol? Symbol;
551private static bool IsNamespaceName(Symbol symbol, string[] names)
673public static bool IsAtLeastAsVisibleAs(this TypeSymbol type, Symbol sym, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
697private static bool IsTypeLessVisibleThan(TypeSymbol type, Symbol sym, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
1002internal static bool IsAsRestrictive(this Symbol s1, Symbol sym2, ref CompoundUseSiteInfo<AssemblySymbol> useSiteInfo)
1011for (Symbol s2 = sym2; s2.Kind != SymbolKind.Namespace; s2 = s2.ContainingSymbol)
1215private static readonly Func<TypeSymbol, Symbol, bool, bool> s_isTypeParameterWithSpecificContainerPredicate =
1740internal static TypeParameterSymbol? FindEnclosingTypeParameter(this Symbol methodOrType, string name)
1777var container = type.ContainingSymbol;
2086Symbol declaringSymbol,