IsabelleClient.Session (isabelle_elixir v0.3.0)

Isabelle server session resource.

Sessions live in the Isabelle server process and may be used from different client connections when their id is known.

Summary

t()

Isabelle server session known to the Elixir client.

Builds a session struct from a session_start result map, or returns nil.

id(id)

Returns the session id from a session struct or id string.

@type t() :: %IsabelleClient.Session{
  args: map() | nil,
  id: String.t(),
  label: String.t() | nil,
  tmp_dir: String.t() | nil
}

Isabelle server session known to the Elixir client.

id is Isabelle's session handle. tmp_dir, args, and label are local conveniences recorded from session startup.

Builds a session struct from a session_start result map, or returns nil.

Returns the session id from a session struct or id string.