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