2019-06-14 14:38:54 +00:00
|
|
|
/**************************************************************************/
|
|
|
|
/* gdscript_language_server.h */
|
|
|
|
/**************************************************************************/
|
|
|
|
/* This file is part of: */
|
|
|
|
/* GODOT ENGINE */
|
|
|
|
/* https://godotengine.org */
|
|
|
|
/**************************************************************************/
|
|
|
|
/* Copyright (c) 2014-present Godot Engine contributors (see AUTHORS.md). */
|
|
|
|
/* Copyright (c) 2007-2014 Juan Linietsky, Ariel Manzur. */
|
|
|
|
/* */
|
|
|
|
/* Permission is hereby granted, free of charge, to any person obtaining */
|
|
|
|
/* a copy of this software and associated documentation files (the */
|
|
|
|
/* "Software"), to deal in the Software without restriction, including */
|
|
|
|
/* without limitation the rights to use, copy, modify, merge, publish, */
|
|
|
|
/* distribute, sublicense, and/or sell copies of the Software, and to */
|
|
|
|
/* permit persons to whom the Software is furnished to do so, subject to */
|
|
|
|
/* the following conditions: */
|
|
|
|
/* */
|
|
|
|
/* The above copyright notice and this permission notice shall be */
|
|
|
|
/* included in all copies or substantial portions of the Software. */
|
|
|
|
/* */
|
|
|
|
/* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, */
|
|
|
|
/* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF */
|
|
|
|
/* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. */
|
|
|
|
/* IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY */
|
|
|
|
/* CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, */
|
|
|
|
/* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */
|
|
|
|
/* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
|
|
|
|
/**************************************************************************/
|
|
|
|
|
|
|
|
#ifndef GDSCRIPT_LANGUAGE_SERVER_H
|
|
|
|
#define GDSCRIPT_LANGUAGE_SERVER_H
|
|
|
|
|
|
|
|
#include "../gdscript_parser.h"
|
|
|
|
#include "gdscript_language_protocol.h"
|
|
|
|
|
2024-04-21 08:11:35 +00:00
|
|
|
#include "editor/plugins/editor_plugin.h"
|
2023-06-13 14:56:21 +00:00
|
|
|
|
2019-06-14 14:38:54 +00:00
|
|
|
class GDScriptLanguageServer : public EditorPlugin {
|
|
|
|
GDCLASS(GDScriptLanguageServer, EditorPlugin);
|
|
|
|
|
|
|
|
GDScriptLanguageProtocol protocol;
|
|
|
|
|
2021-01-19 12:29:41 +00:00
|
|
|
Thread thread;
|
2021-02-08 09:57:18 +00:00
|
|
|
bool thread_running = false;
|
|
|
|
bool started = false;
|
|
|
|
bool use_thread = false;
|
2021-09-01 22:56:19 +00:00
|
|
|
String host = "127.0.0.1";
|
2021-09-30 02:06:28 +00:00
|
|
|
int port = 6005;
|
2024-03-08 14:24:51 +00:00
|
|
|
int poll_limit_usec = 100000;
|
2019-06-14 14:38:54 +00:00
|
|
|
static void thread_main(void *p_userdata);
|
|
|
|
|
|
|
|
private:
|
|
|
|
void _notification(int p_what);
|
|
|
|
|
|
|
|
public:
|
2023-09-18 03:09:18 +00:00
|
|
|
static int port_override;
|
2019-06-14 14:38:54 +00:00
|
|
|
GDScriptLanguageServer();
|
|
|
|
void start();
|
|
|
|
void stop();
|
|
|
|
};
|
|
|
|
|
|
|
|
void register_lsp_types();
|
|
|
|
|
|
|
|
#endif // GDSCRIPT_LANGUAGE_SERVER_H
|