diff --git a/app/MindWork AI Studio/Tools/Rust/OpenDocumentRequest.cs b/app/MindWork AI Studio/Tools/Rust/OpenDocumentRequest.cs new file mode 100644 index 00000000..ad86f2e7 --- /dev/null +++ b/app/MindWork AI Studio/Tools/Rust/OpenDocumentRequest.cs @@ -0,0 +1,8 @@ +namespace AIStudio.Tools.Rust; + +/// +/// Asks the runtime to open a document in the program the system uses for it. +/// +/// The document to open. +/// The page to show, counted from one, or null when the document has none. +public readonly record struct OpenDocumentRequest(string Path, int? Page); \ No newline at end of file diff --git a/app/MindWork AI Studio/Tools/Rust/OpenDocumentResponse.cs b/app/MindWork AI Studio/Tools/Rust/OpenDocumentResponse.cs new file mode 100644 index 00000000..495dda92 --- /dev/null +++ b/app/MindWork AI Studio/Tools/Rust/OpenDocumentResponse.cs @@ -0,0 +1,14 @@ +namespace AIStudio.Tools.Rust; + +/// +/// Says how opening a document went. +/// +/// Whether the document was opened at all. +/// +/// Whether the document was handed to its program together with the page. False means it opens on +/// its first page: no page was asked for, the system uses a program which cannot be told one, or +/// starting that program failed. None of these is an error, so this belongs in the log rather than +/// in front of the user, who is told the page by the source itself. +/// +/// Why the document could not be opened, or an empty text when it was. +public readonly record struct OpenDocumentResponse(bool Success, bool PageApplied, string Issue); \ No newline at end of file diff --git a/app/MindWork AI Studio/Tools/Services/RustService.FileSystem.cs b/app/MindWork AI Studio/Tools/Services/RustService.FileSystem.cs index 81a64e8c..c5a66233 100644 --- a/app/MindWork AI Studio/Tools/Services/RustService.FileSystem.cs +++ b/app/MindWork AI Studio/Tools/Services/RustService.FileSystem.cs @@ -168,4 +168,66 @@ public sealed partial class RustService result.Dispose(); } } + + /// + /// Opens a document in the program the system uses for it, on the given page where possible. + /// + /// + /// The page is best effort and never decides whether this succeeded. Which programs can be + /// told a page is the runtime's business, and it says afterwards whether it managed to. + /// + /// The document to open. + /// The page to show, counted from one, or null when there is none. + /// Whether the document was opened, whether the page was applied, and what went wrong. + public async Task TryOpenDocumentInSystemViewer(string path, int? pageNumber) + { + HttpResponseMessage result; + try + { + result = await this.http.PostAsJsonAsync("/open/document", new OpenDocumentRequest(path, pageNumber), this.jsonRustSerializerOptions); + } + catch (HttpRequestException e) + { + this.logger!.LogWarning(e, "Failed to reach the Rust runtime document endpoint."); + return new OpenDocumentResponse(false, false, TB("The runtime document endpoint is not available.")); + } + catch (TaskCanceledException e) + { + this.logger!.LogWarning(e, "Timed out while reaching the Rust runtime document endpoint."); + return new OpenDocumentResponse(false, false, TB("The runtime document endpoint is not available.")); + } + + try + { + if (!result.IsSuccessStatusCode) + { + this.logger!.LogWarning("Failed to open a document through the Rust runtime: '{StatusCode}'", result.StatusCode); + return new OpenDocumentResponse(false, false, string.Format(TB("The runtime document endpoint returned '{0}'."), result.StatusCode)); + } + + var response = await result.Content.ReadFromJsonAsync(this.jsonRustSerializerOptions); + if (response.Success) + { + // + // A page which was asked for but not applied is noted here and nowhere else: the + // document is open, and the source the user clicked names the page anyway. + // + if (pageNumber is > 0 && !response.PageApplied) + this.logger!.LogInformation("Opened a document without the requested page {PageNumber}, because the system uses a program which cannot be told one.", pageNumber); + + return response; + } + + return new OpenDocumentResponse(false, false, string.IsNullOrWhiteSpace(response.Issue) ? TB("The runtime document endpoint failed without details.") : response.Issue); + } + catch (Exception e) + { + this.logger!.LogWarning(e, "Failed to process the Rust runtime document endpoint response."); + return new OpenDocumentResponse(false, false, TB("The runtime document endpoint failed without details.")); + } + finally + { + result.Dispose(); + } + } } \ No newline at end of file