pub struct Session {
pub session_id: String,
pub changeset_id: String,
pub codebase_version: String,
/* private fields */
}Expand description
A stateful agent session bound to a changeset on the server.
Obtained from crate::AgentClient::init. All operations (context,
submit, verify, merge, watch) are scoped to this session’s changeset.
Fields§
§session_id: StringThe server-assigned session identifier.
changeset_id: StringThe changeset created by the CONNECT handshake.
codebase_version: StringThe codebase version at the time of connection.
Implementations§
Source§impl Session
impl Session
Sourcepub async fn context(
&mut self,
query: &str,
depth: Depth,
max_tokens: u32,
) -> Result<ContextResult>
pub async fn context( &mut self, query: &str, depth: Depth, max_tokens: u32, ) -> Result<ContextResult>
Query the semantic code graph for symbols matching query.
Sourcepub async fn submit(&mut self, changes: Vec<Change>) -> Result<SubmitResult>
pub async fn submit(&mut self, changes: Vec<Change>) -> Result<SubmitResult>
Submit a batch of code changes to the current changeset.
Sourcepub async fn verify(&mut self) -> Result<Vec<VerifyStepResult>>
pub async fn verify(&mut self) -> Result<Vec<VerifyStepResult>>
Trigger the verification pipeline and collect all step results.
Sourcepub async fn merge(&mut self, message: &str) -> Result<MergeResult>
pub async fn merge(&mut self, message: &str) -> Result<MergeResult>
Merge the current changeset into a Git commit.
Auto Trait Implementations§
impl !Freeze for Session
impl !RefUnwindSafe for Session
impl Send for Session
impl Sync for Session
impl Unpin for Session
impl UnsafeUnpin for Session
impl !UnwindSafe for Session
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
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>
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)
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)
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
impl<T> DowncastSync for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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 moreSource§impl<T> IntoRequest<T> for T
impl<T> IntoRequest<T> for T
Source§fn into_request(self) -> Request<T>
fn into_request(self) -> Request<T>
Wrap the input message
T in a tonic::Request