Skip to main content

SessionWorkspace

Struct SessionWorkspace 

Source
pub struct SessionWorkspace {
Show 14 fields pub id: WorkspaceId, pub session_id: SessionId, pub repo_id: RepoId, pub agent_id: AgentId, pub agent_name: String, pub changeset_id: Uuid, pub intent: String, pub base_commit: String, pub overlay: FileOverlay, pub graph: SessionGraph, pub mode: WorkspaceMode, pub state: WorkspaceState, pub created_at: Instant, pub last_active: Instant,
}
Expand description

An isolated workspace for a single agent session.

Reads resolve overlay-first, then fall through to the Git tree at base_commit. Writes go exclusively to the overlay.

Fields§

§id: WorkspaceId§session_id: SessionId§repo_id: RepoId§agent_id: AgentId§agent_name: String§changeset_id: Uuid§intent: String§base_commit: String§overlay: FileOverlay§graph: SessionGraph§mode: WorkspaceMode§state: WorkspaceState§created_at: Instant§last_active: Instant

Implementations§

Source§

impl SessionWorkspace

Source

pub async fn new( session_id: SessionId, repo_id: RepoId, agent_id: AgentId, changeset_id: Uuid, intent: String, base_commit: String, mode: WorkspaceMode, agent_name: String, db: PgPool, ) -> Result<Self>

Create a new workspace and persist metadata to the database.

Source

pub fn read_file( &self, path: &str, git_repo: &GitRepository, ) -> Result<FileReadResult>

Read a file through the overlay-first layer.

  1. If the overlay has a Modified or Added entry, return that content.
  2. If the overlay has a Deleted entry, return a “not found” error.
  3. Otherwise, read from the Git tree at base_commit.
Source

pub async fn write_file( &self, path: &str, content: Vec<u8>, git_repo: &GitRepository, ) -> Result<String>

Write a file through the overlay.

Determines whether the file is new (not in base tree) or modified.

Source

pub async fn delete_file(&self, path: &str) -> Result<()>

Delete a file in the overlay.

Source

pub fn list_files( &self, git_repo: &GitRepository, only_modified: bool, prefix: Option<&str>, ) -> Result<Vec<String>>

List files visible in this workspace.

If only_modified is true, return only overlay entries. Otherwise, return the full base tree merged with overlay changes.

When prefix is Some, only paths starting with the given prefix are included. The filter is applied early in the pipeline so that building the HashSet only contains relevant entries rather than the entire tree (which can be 100k+ files in large repos).

Source

pub fn touch(&mut self)

Touch the workspace to update last-active timestamp.

Source

pub fn overlay_for_tree(&self) -> Vec<(String, Option<Vec<u8>>)>

Build the overlay vector for commit_tree_overlay.

Returns (path, Some(content)) for modified/added files and (path, None) for deleted files.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> Fruit for T
where T: Send + Downcast,