/// <summary> /// Gets all the diagnostics for this event, respecting the callers setting on if they're getting it for pull /// diagnostics or push diagnostics. Most clients should use this to ensure they see the proper set of /// diagnostics in their scenario (or an empty array if not in their scenario). /// </summary> public static ImmutableArray <DiagnosticData> GetPullDiagnostics( this DiagnosticsUpdatedArgs args, IGlobalOptionService globalOptions, Option2 <DiagnosticMode> diagnosticMode) { // If push diagnostics are on, they get nothing since they're asking for pull diagnostics. if (globalOptions.IsPushDiagnostics(diagnosticMode)) { return(ImmutableArray <DiagnosticData> .Empty); } return(args.GetAllDiagnosticsRegardlessOfPushPullSetting()); }
/// <summary> /// Gets all the diagnostics for this event, respecting the callers setting on if they're getting it for pull /// diagnostics or push diagnostics. Most clients should use this to ensure they see the proper set of /// diagnostics in their scenario (or an empty array if not in their scenario). /// </summary> public ImmutableArray <DiagnosticData> GetPullDiagnostics( IGlobalOptionService globalOptions, Option2 <DiagnosticMode> diagnosticMode) { // If push diagnostics are on, they get nothing since they're asking for pull diagnostics. if (globalOptions.IsPushDiagnostics(diagnosticMode)) { return(ImmutableArray <DiagnosticData> .Empty); } return(_diagnostics); }