Struct Server 

pub struct Server<'a> { /* private fields */ }

The server: where it runs, how it starts hosts, and its session.

Implementations

impl<'a> Server<'a>

pub fn new(cwd: PathBuf, launch: Box<dyn Launch<'a> + 'a>) -> Self

A server in the working folder cwd, starting hosts with launch. It answers every call itself until given Self::forwarding.

pub fn forwarding(self, forwarding: Box<dyn Forwarding<'a> + 'a>) -> Self

The server, handing each call whose project is in another workspace to that workspace’s own server, which forwarding starts.

pub fn has_game(&self) -> bool

Whether a game is running in the session.

pub fn folder(&self) -> &Path

The session’s folder: the client’s first root, or the working folder.

pub fn handle(&mut self, message: &str) -> Vec<String>

The messages to write for message, one JSON-RPC message: its response if it wants one (a notification and a response want none), and the server’s own request or notification it led to.

pub fn poll(&mut self) -> Vec<String>

The notification the client gets when the tools it should list changed: once the followed server has answered initialize, its list, if it isn’t the server’s. Asks nothing of a server still building.

pub fn call( &mut self, op: Op, session: bool, arguments: Value, ) -> (Value, Option<String>)

The answer of the tool of op (a session tool if session) to arguments, as JSON, and its picture, if it has one: this server’s own.