Struct Session 

pub struct Session {
    pub version: u32,
    pub recent: Vec<PathBuf>,
    pub workspace: Option<RestoredWorkspace>,
    /* private fields */
}

What survives a restart.

Fields

version: u32

The schema version this build writes and fully understands (ADR-0014 §2). No transitions exist yet — a corrupt or unreadable file already falls back to Session::default() above the version check, so there is nothing to migrate in memory until the first breaking change gives this field work to do.

recent: Vec<PathBuf>

Most recently opened first.

workspace: Option<RestoredWorkspace>

The one workspace that was open at clean shutdown. recent remains the MRU list; this is the richer, best-effort state used only when reopening that workspace.

Implementations

impl Session

pub const CURRENT_VERSION: u32 = 1

pub fn parse(text: &str) -> (Self, Vec<SessionDiagnostic>)

Parse and migrate in memory without ever rewriting as a side effect of loading. Unknown fields stay in unknown, so a later real save preserves them verbatim.

pub fn last_root(&self) -> Option<&Path>

The workspace to reopen when started with no path.

pub fn record(&mut self, root: &Path)

Record a workspace as most-recently-used, de-duplicating and capping the list.

pub fn prune_missing(&mut self, fs: &dyn FileSystemService)

Drop entries that no longer exist, so a deleted project stops being offered.

Trait Implementations

impl Clone for Session

fn clone(&self) -> Session

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Session

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Session

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Session

where Session: Default,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Session

fn eq(&self, other: &Session) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Session

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Session