mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 07:31:16 +00:00
61 lines
2.8 KiB
C++
61 lines
2.8 KiB
C++
/**************************************************************************/
|
|
/* 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. */
|
|
/**************************************************************************/
|
|
|
|
#pragma once
|
|
|
|
#include "gdscript_language_protocol.h"
|
|
|
|
#include "editor/plugins/editor_plugin.h"
|
|
|
|
class GDScriptLanguageServer : public EditorPlugin {
|
|
GDCLASS(GDScriptLanguageServer, EditorPlugin);
|
|
|
|
GDScriptLanguageProtocol protocol;
|
|
|
|
Thread thread;
|
|
bool thread_running = false;
|
|
bool started = false;
|
|
bool use_thread = false;
|
|
String host = "127.0.0.1";
|
|
int port = 6005;
|
|
int poll_limit_usec = 100000;
|
|
static void thread_main(void *p_userdata);
|
|
|
|
private:
|
|
void _notification(int p_what);
|
|
|
|
public:
|
|
static int port_override;
|
|
GDScriptLanguageServer();
|
|
void start();
|
|
void stop();
|
|
};
|
|
|
|
void register_lsp_types();
|