| 
									
										
										
										
											2023-01-05 13:25:55 +01: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.                 */ | 
					
						
							|  |  |  | /**************************************************************************/ | 
					
						
							| 
									
										
										
										
											2019-06-14 22:38:54 +08:00
										 |  |  | 
 | 
					
						
							|  |  |  | #ifndef GDSCRIPT_LANGUAGE_SERVER_H
 | 
					
						
							|  |  |  | #define GDSCRIPT_LANGUAGE_SERVER_H
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #include "../gdscript_parser.h"
 | 
					
						
							|  |  |  | #include "gdscript_language_protocol.h"
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2024-04-21 01:11:35 -07:00
										 |  |  | #include "editor/plugins/editor_plugin.h"
 | 
					
						
							| 
									
										
										
										
											2023-06-13 16:56:21 +02:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-06-14 22:38:54 +08:00
										 |  |  | class GDScriptLanguageServer : public EditorPlugin { | 
					
						
							|  |  |  | 	GDCLASS(GDScriptLanguageServer, EditorPlugin); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 	GDScriptLanguageProtocol protocol; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2021-01-19 13:29:41 +01:00
										 |  |  | 	Thread thread; | 
					
						
							| 
									
										
										
										
											2021-02-08 10:57:18 +01:00
										 |  |  | 	bool thread_running = false; | 
					
						
							|  |  |  | 	bool started = false; | 
					
						
							|  |  |  | 	bool use_thread = false; | 
					
						
							| 
									
										
										
										
											2021-09-01 18:56:19 -04:00
										 |  |  | 	String host = "127.0.0.1"; | 
					
						
							| 
									
										
										
										
											2021-09-29 21:06:28 -05:00
										 |  |  | 	int port = 6005; | 
					
						
							| 
									
										
										
										
											2024-03-08 15:24:51 +01:00
										 |  |  | 	int poll_limit_usec = 100000; | 
					
						
							| 
									
										
										
										
											2019-06-14 22:38:54 +08:00
										 |  |  | 	static void thread_main(void *p_userdata); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | private: | 
					
						
							|  |  |  | 	void _notification(int p_what); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | public: | 
					
						
							| 
									
										
										
										
											2023-09-17 22:09:18 -05:00
										 |  |  | 	static int port_override; | 
					
						
							| 
									
										
										
										
											2019-06-14 22:38:54 +08:00
										 |  |  | 	GDScriptLanguageServer(); | 
					
						
							|  |  |  | 	void start(); | 
					
						
							|  |  |  | 	void stop(); | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void register_lsp_types(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #endif // GDSCRIPT_LANGUAGE_SERVER_H
 |