Skip to main content

SccContext

Struct SccContext 

Source
pub struct SccContext<'a> { /* private fields */ }

Implementations§

Source§

impl SccContext<'_>

Source

pub fn overview(&self) -> Result<ContextPack>

Source

pub fn atlas( &self, budget: Option<usize>, full: bool, unbounded: bool, ) -> Result<ContextPack>

Source

pub fn atlas_model(&self, scope: AtlasScope) -> Result<SystemAtlas>

Structured SystemAtlas model (§74): the same compilation the atlas pack renders, as its actual type — no text scraping.

Source

pub fn startup_model(&self, req: &StartupRequest) -> Result<StartupModel>

Structured startup decomposition (§75): atlas model + skeleton + surface render + coverage + omissions + artifact, each addressable without parsing the rendered text.

Source

pub fn startup(&self, req: &StartupRequest) -> Result<(StartupContext, String)>

Source

pub fn surface_map(&self) -> Result<SystemSurfaceMap>

Source

pub fn surface_entry(&self, id: &str) -> Result<Option<SurfaceEntry>>

Source

pub fn surface( &self, req: &ApiSurfaceRequest, semantic: Option<&dyn SemanticScorer>, ) -> Result<(SurfaceRenderResult, String)>

Source

pub fn important( &self, limit: usize, component: Option<&str>, task: Option<&str>, ) -> Result<(Vec<SurfaceEntry>, bool)>

Source

pub fn subagent( &self, goal: &str, files: &[String], symbols: &[String], budget: Option<usize>, ) -> Result<ContextPack>

Source

pub fn component(&self, req: &DetailRequest) -> Result<ContextPack>

Source

pub fn flow(&self, req: &DetailRequest) -> Result<ContextPack>

Source

pub fn impact(&self, req: &ImpactRequest) -> Result<ContextPack>

Source

pub fn verify(&self, unbounded: bool) -> Result<ContextPack>

Source

pub fn structural_units( &self, req: &StructuralRequest, root: &Path, semantic: Option<&dyn SemanticScorer>, ) -> Result<Vec<StructuralSourceUnit>>

Source

pub fn structural( &self, req: &StructuralRequest, root: &Path, semantic: Option<&dyn SemanticScorer>, ) -> Result<String>

Source

pub fn task_delta( &self, goal: &str, budget: usize, semantic: Option<&dyn SemanticScorer>, ) -> Result<(String, Vec<String>)>

Source

pub fn record_task_delta_ids(&self, ids: &[String])

Auto Trait Implementations§

§

impl<'a> !RefUnwindSafe for SccContext<'a>

§

impl<'a> !Send for SccContext<'a>

§

impl<'a> !Sync for SccContext<'a>

§

impl<'a> !UnwindSafe for SccContext<'a>

§

impl<'a> Freeze for SccContext<'a>

§

impl<'a> Unpin for SccContext<'a>

§

impl<'a> UnsafeUnpin for SccContext<'a>

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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> 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> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

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

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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.