quodatum/basex-lsp
1
0
Fork 0
Code Issues 7 Activity Actions

[mod] connects

Browse source
This commit is contained in:
Andy Bunce 2025-07-11 22:51:59 +01:00
parent 1c758567d4
commit 3c60660f16
5 changed files with 46 additions and 173 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
src/server/html/acego.js
View file

@ -1,6 +1,11 @@
import * as ace from "ace-builds/ace"; import * as aceBuilds from 'https://esm.run/ace-builds';
import {Mode as JSONMode} from "ace-builds/src/mode/json"; // any mode you want
import {AceLanguageClient} from "ace-linters/build/ace-language-client"; import ace from 'https://cdn.jsdelivr.net/npm/ace/+esm'
/* import 'ace-builds/src-noconflict/mode-javascript';
import 'ace-builds/src-noconflict/theme-chrome'; */
/* import {AceLanguageClient} from "ace-linters/build/ace-language-client";
const serverData = { const serverData = {
module: () => import("ace-linters/build/language-client"), module: () => import("ace-linters/build/language-client"),
@ -8,12 +13,16 @@ const serverData = {
type: "socket", type: "socket",
socket: new WebSocket("ws://127.0.0.1:3000/ws/lsp"), // your websocket server address socket: new WebSocket("ws://127.0.0.1:3000/ws/lsp"), // your websocket server address
} }
*/
// Create an Ace editor // Initialize the editor
let editor = ace.edit("container", { const editor = ace.edit("editor", {
mode: new JSONMode() theme: "ace/theme/chrome",
mode: "ace/mode/javascript",
fontSize: "14px",
showPrintMargin: false,
useWorker: false // Disable web worker for this simple demo
}); });
// Create a language provider for WebSocket // Create a language provider for WebSocket
let languageProvider = AceLanguageClient.for(serverData); //let languageProvider = AceLanguageClient.for(serverData);
languageProvider.registerEditor(editor); //languageProvider.registerEditor(editor);

32
src/server/html/index.html
View file

@ -1,34 +1,42 @@
<!DOCTYPE html> <!DOCTYPE html>
<html> <html lang="en-US">
<head> <head>
<script type="importmap"> <meta charset="utf-8">
{ <title>BaseX LSP</title>
"imports": {
"ace-builds": "https://www.unpkg.com/ace-builds@latest/src-noconflict"
}
}
</script>
<script src="https://www.unpkg.com/ace-builds@latest/src-noconflict/ace.js"></script> <script src="https://www.unpkg.com/ace-builds@latest/src-noconflict/ace.js"></script>
<script src="https://www.unpkg.com/ace-builds@latest/src-noconflict/ext-language_tools.js"></script> <script src="https://www.unpkg.com/ace-builds@latest/src-noconflict/ext-language_tools.js"></script>
<script src="https://www.unpkg.com/ace-linters@latest/build/ace-linters.js"></script> <script src="https://www.unpkg.com/ace-linters@latest/build/ace-linters.js"></script>
<script src="https://www.unpkg.com/ace-linters@latest/build/ace-language-client.js"></script>
</head> </head>
<body> <body>
<div>something</div>
<div id="editor" style="height: 100px">some text</div> <div id="editor" style="height: 100px">some text</div>
<script> <script>
let servers = [
{
module: () => import("ace-linters/build/language-client"),
modes: "astro",
type: "socket",
socket: new WebSocket("ws://127.0.0.1:8080/ws/lsp"),
}
];
let languageProvider = AceLanguageClient.for(servers);
ace.require("ace/ext/language_tools"); //To allow autocompletion ace.require("ace/ext/language_tools"); //To allow autocompletion
var editor = ace.edit("editor", { var editor = ace.edit("editor", {
enableBasicAutocompletion: true, enableBasicAutocompletion: true,
enableLiveAutocompletion: true, enableLiveAutocompletion: true,
mode: "ace/mode/xml" mode: "ace/mode/json"
}); });
var provider = LanguageProvider.fromCdn("https://www.unpkg.com/ace-linters@latest/build/"); languageProvider.registerEditor(editor);
provider.registerEditor(editor); editor.session.setMode("astro"); // mode now contains "ace/mode/javascript".
</script> </script>
</body> </body>
</html> </html>

4
webapp/lsp/lsp-util.xqm
View file

@ -14,7 +14,7 @@ declare variable $chat-util:id := 'id';
: Sends a users list (all, active) to all registered clients. : Sends a users list (all, active) to all registered clients.
:) :)
declare function chat-util:users() as empty-sequence() { declare function chat-util:users() as empty-sequence() {
ws:emit({ ws:emit(map{
'type': 'users', 'type': 'users',
'users': array { sort(user:list()) }, 'users': array { sort(user:list()) },
'active': array { distinct-values( 'active': array { distinct-values(
@ -34,7 +34,7 @@ declare function chat-util:message(
$to as xs:string? $to as xs:string?
) as empty-sequence() { ) as empty-sequence() {
let $ws-ids := ws:ids()[not($to) or ws:get(., $chat-util:id) = $to] let $ws-ids := ws:ids()[not($to) or ws:get(., $chat-util:id) = $to]
return ws:send({ return ws:send(map{
'type': 'message', 'type': 'message',
'text': serialize($text), 'text': serialize($text),
'from': ws:get(ws:id(), $chat-util:id), 'from': ws:get(ws:id(), $chat-util:id),

10
webapp/lsp/lsp-ws.xqm
View file

@ -5,15 +5,15 @@
module namespace chat-ws = 'chat-ws'; module namespace chat-ws = 'chat-ws';
import module namespace chat-util = 'chat/util' at 'lsp-util.xqm'; import module namespace chat-util = 'chat/util' at 'lsp-util.xqm';
import module namespace request = "http://exquery.org/ns/request";
(:~ (:~
: Creates a WebSocket connection. Registers the user and notifies all clients. : Creates a WebSocket connection. Registers the user and notifies all clients.
:) :)
declare declare
%ws:connect('/chat') %ws:connect('/lsp')
function chat-ws:connect() as empty-sequence() { function chat-ws:connect() as empty-sequence() {
ws:set(ws:id(), $chat-util:id, session:get($chat-util:id)), ws:set(ws:id()=>trace("CONNECT: "), $chat-util:id, session:get($chat-util:id)),
chat-util:users() chat-util:users()
}; };
@ -22,7 +22,7 @@ function chat-ws:connect() as empty-sequence() {
: @param $message message : @param $message message
:) :)
declare declare
%ws:message('/chat', '{$message}') %ws:message('/lsp', '{$message}')
function chat-ws:message( function chat-ws:message(
$message as xs:string $message as xs:string
) as empty-sequence() { ) as empty-sequence() {
@ -39,7 +39,7 @@ function chat-ws:message(
: Closes a WebSocket connection. Unregisters the user and notifies all clients. : Closes a WebSocket connection. Unregisters the user and notifies all clients.
:) :)
declare declare
%ws:close('/chat') %ws:close('/lsp')
function chat-ws:close() as empty-sequence() { function chat-ws:close() as empty-sequence() {
ws:delete(ws:id(), $chat-util:id), ws:delete(ws:id(), $chat-util:id),
chat-util:users() chat-util:users()

144
webapp/lsp/lsp.xqm
View file

@ -1,144 +0,0 @@
(:~
: Simple WebSocket chat. RESTXQ functions.
: @author BaseX Team, BSD License
:)
module namespace chat = 'chat';
import module namespace chat-util = 'chat/util' at 'lsp-util.xqm';
(:~
: Login or main page.
: @return HTML page
:)
declare
%rest:path('/lsp')
%output:method('html')
function chat:chat() as element() {
if(session:get($chat-util:id)) then (
chat:main()
) else (
chat:login()
)
};
(:~
: Checks the user input, registers the user and reloads the chat.
: @param $name username
: @param $pass password
: @return redirection
:)
declare
%rest:POST
%rest:path('/lsp/login-check')
%rest:form-param('name', '{$name}')
%rest:form-param('pass', '{$pass}')
function chat:login-check(
$name as xs:string,
$pass as xs:string
) as element(rest:response) {
try {
user:check($name, $pass),
session:set($chat-util:id, $name)
} catch user:* {
(: login fails: no session info is set :)
},
web:redirect('/chat')
};
(:~
: Logs out the current user, notifies all WebSocket clients, and redirects to the login page.
: @return redirection
:)
declare
%rest:path('/lsp/logout')
function chat:logout() as element(rest:response) {
session:get($chat-util:id) ! chat-util:close(.),
session:delete($chat-util:id),
web:redirect('/chat')
};
(:~
: Returns the HTML login page.
: @return HTML page
:)
declare %private function chat:login() as element(html) {
chat:wrap((
<div class='warning'>Please enter your credentials:</div>,
<form action='/chat/login-check' method='post'>
<div class='small'/>
<table>
<tr>
<td><b>Name:</b></td>
<td>
<input size='30' name='name' id='user' autofocus=''/>
</td>
</tr>
<tr>
<td><b>Password:</b></td>
<td>{
<input size='30' type='password' name='pass'/>,
<button type='submit'>Login</button>
}</td>
</tr>
</table>
</form>
), ())
};
(:~
: Returns the HTML main page.
: @return HTML page
:)
declare %private function chat:main() as element(html) {
chat:wrap((
<p>
<input type='text' size='60' autofocus='true' placeholder='Message to all users…'
id='input' onkeydown='keyDown(event)' autocomplete='off'/>
</p>,
<table width='100%'>
<tr>
<td width='100'>
<div class='note'>USERS (<b>online</b>)</div>
<div id='users'/>
</td>
<td class='vertical'/>
<td>
<div class='note'>CHAT MESSAGES</div>
<div id='messages'/>
</td>
</tr>
</table>
), <script type='text/javascript' src='/static/chat.js'/>)
};
(:~
: Returns an HTML page.
: @param $contents page contents
: @param $login login page
: @return HTML page
:)
declare %private function chat:wrap(
$contents as item()*,
$headers as element()*
) as element(html) {
<html>
<head>
<meta charset='utf-8'/>
<title>BaseX WebSocket Chat</title>
<meta name='author' content='BaseX Team, BSD License'/>
<link rel='stylesheet' type='text/css' href='/static/style.css'/>
{ $headers }
</head>
<body>
<span class='right'>
{
for $id in session:get($chat-util:id)
return <span><b>{ $id }</b> (<a href='/chat/logout'>logout</a>)</span>
}
&#xa0; <a href='/'><img src='static/basex.svg' class='img'/></a>
</span>
<h1>BaseX WebSocket Chat</h1>
{ $contents }
</body>
</html>
};