Struct Session 

pub struct Session { /* private fields */ }

One editor, driven by tools and by a front end alike, and what a front end keeps of its answers.

Implementations

impl Session

pub fn read_resource( &mut self, uri: &str, ) -> GeopResult<(Contents, &'static str)>

The resource uri, read: what it holds and its media type.

pub fn prompt( &mut self, name: &str, arguments: &Value, ) -> GeopResult<(&'static str, String)>

The prompt name with arguments filled in: what it is for, and its text.

impl Session

pub fn new(editor: Editor) -> Self

A session of editor, shown whole.

pub fn editor(&self) -> &Editor

The editor.

pub fn handle(&mut self, command: Command) -> Update

Applies command, as a front end sends it, keeping what the session keeps of the answer.

pub fn handle_json(&mut self, command: &str) -> Result<String, String>

Self::handle for a command and an update as JSON.

pub fn restart(&mut self, editor: Editor)

Replaces an editor left in an unknown state — a kernel that panicked — with editor, on the program as it was last whole.

pub fn call( &mut self, name: &str, input: &Value, files: Option<&mut dyn Files>, ) -> ToolAnswer

Calls the tool name with input, in a front end with files, if it has any: its result as pretty JSON, or why it failed.