2021-02-07 15:56:02 +00:00
|
|
|
/*
|
2024-10-04 11:19:50 +00:00
|
|
|
* Copyright (c) 2018-2021, Andreas Kling <andreas@ladybird.org>
|
2023-08-29 09:13:41 +00:00
|
|
|
* Copyright (c) 2023, Ali Mohammad Pur <mpfard@serenityos.org>
|
2021-02-07 15:56:02 +00:00
|
|
|
*
|
2021-04-22 08:24:48 +00:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2021-02-07 15:56:02 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#pragma once
|
|
|
|
|
2023-12-16 14:19:34 +00:00
|
|
|
#include <AK/ByteString.h>
|
2021-09-30 21:19:58 +00:00
|
|
|
#include <AK/Vector.h>
|
2023-08-29 09:13:41 +00:00
|
|
|
#include <LibSyntax/Document.h>
|
|
|
|
#include <LibSyntax/TextPosition.h>
|
2021-02-07 15:56:02 +00:00
|
|
|
|
|
|
|
namespace Syntax {
|
|
|
|
|
|
|
|
class HighlighterClient {
|
|
|
|
public:
|
|
|
|
virtual ~HighlighterClient() = default;
|
|
|
|
|
2023-08-29 09:13:41 +00:00
|
|
|
virtual Vector<TextDocumentSpan> const& spans() const = 0;
|
|
|
|
virtual void set_span_at_index(size_t index, TextDocumentSpan span) = 0;
|
2023-07-08 02:48:11 +00:00
|
|
|
virtual void clear_spans() { do_set_spans({}); }
|
2021-02-07 15:56:02 +00:00
|
|
|
|
2023-08-29 09:13:41 +00:00
|
|
|
virtual Vector<TextDocumentFoldingRegion>& folding_regions() = 0;
|
|
|
|
virtual Vector<TextDocumentFoldingRegion> const& folding_regions() const = 0;
|
2023-02-23 15:33:48 +00:00
|
|
|
|
2023-12-16 14:19:34 +00:00
|
|
|
virtual ByteString highlighter_did_request_text() const = 0;
|
2021-02-07 15:56:02 +00:00
|
|
|
virtual void highlighter_did_request_update() = 0;
|
2023-08-29 09:13:41 +00:00
|
|
|
virtual Document& highlighter_did_request_document() = 0;
|
|
|
|
virtual TextPosition highlighter_did_request_cursor() const = 0;
|
|
|
|
virtual void highlighter_did_set_spans(Vector<TextDocumentSpan>) = 0;
|
|
|
|
virtual void highlighter_did_set_folding_regions(Vector<TextDocumentFoldingRegion>) = 0;
|
2021-02-07 15:56:02 +00:00
|
|
|
|
2023-08-29 09:13:41 +00:00
|
|
|
void do_set_spans(Vector<TextDocumentSpan> spans) { highlighter_did_set_spans(move(spans)); }
|
|
|
|
void do_set_folding_regions(Vector<TextDocumentFoldingRegion> folding_regions) { highlighter_did_set_folding_regions(move(folding_regions)); }
|
2021-02-07 15:56:02 +00:00
|
|
|
void do_update() { highlighter_did_request_update(); }
|
|
|
|
|
2023-12-16 14:19:34 +00:00
|
|
|
ByteString get_text() const { return highlighter_did_request_text(); }
|
2023-08-29 09:13:41 +00:00
|
|
|
Document& get_document() { return highlighter_did_request_document(); }
|
|
|
|
TextPosition get_cursor() const { return highlighter_did_request_cursor(); }
|
2022-03-29 13:31:26 +00:00
|
|
|
|
|
|
|
static constexpr auto span_collection_index = 0;
|
2021-02-07 15:56:02 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
}
|