// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
 
using System.Threading;
using System.Threading.Tasks;
using Microsoft.CodeAnalysis.Navigation;
 
namespace Microsoft.CodeAnalysis.ExternalAccess.FSharp.Navigation
{
    /// <inheritdoc cref="ICrossLanguageSymbolNavigationService"/>
    internal interface IFSharpCrossLanguageSymbolNavigationService
    {
        /// <inheritdoc cref="ICrossLanguageSymbolNavigationService.TryGetNavigableLocationAsync"/>
        Task<IFSharpNavigableLocation?> TryGetNavigableLocationAsync(
            string assemblyName, string documentationCommentId, CancellationToken cancellationToken);
    }
 
    /// <inheritdoc cref="NavigationOptions"/>
    internal sealed record class FSharpNavigationOptions2(
        bool PreferProvisionalTab,
        bool ActivateTab);
 
    /// <inheritdoc cref="INavigableLocation"/>
    internal interface IFSharpNavigableLocation
    {
        Task<bool> NavigateToAsync(FSharpNavigationOptions2 options, CancellationToken cancellationToken);
    }
}