AtpClient.Isabelle.Session (AtpClient v0.4.0)

Handle for an open Isabelle server session.

Wraps a IsabelleClient.Shared GenServer PID — which owns the underlying TCP socket, the active Isabelle session, and routes async task messages so multiple concurrent callers can share it safely — together with the resolved configuration the session was opened with, so follow-up calls can pick up the same local_dir / isabelle_dir without being passed them again.

The :owner field is a private pid that isolates the link to the Shared process from the caller; close_session/1 stops it, which in turn shuts the Shared process down. Treat it as opaque.

Summary

Types

t()

Types

t()

@type t() :: %AtpClient.Isabelle.Session{
  client: pid(),
  config: keyword(),
  owner: pid()
}