Struct AstSlicer 

pub struct AstSlicer { /* private fields */ }

Condenses source code to an outline.

Example

use boundgraph_slice::{AstSlicer, MemoryStore, Raw, Slicer};

let source = r#"
pub fn parse_header(input: &[u8]) -> Result<Header, Error> {
    let mut cursor = 0;
    // ... forty more lines ...
    Ok(Header::default())
}
"#;

let raw = Raw::new(source).hinting("src/parse.rs");
let condensate = tokio::runtime::Builder::new_current_thread()
    .build()?
    .block_on(AstSlicer::new().condense(&raw, 300, &MemoryStore::new()))?;

// The signature survived; the body did not.
let rendered = format!("{:?}", condensate.payload);
assert!(rendered.contains("parse_header"));

Implementations

impl AstSlicer

pub fn new() -> Self

A slicer with no relevance terms, keeping declarations in file order.

pub fn relevant_to<S: Into<String>>( self, terms: impl IntoIterator<Item = S>, ) -> Self

Prefer declarations mentioning any of these terms.

The runtime supplies them from the work order’s intent — see the module documentation for why they arrive here rather than through the trait.

Trait Implementations

impl Clone for AstSlicer

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AstSlicer

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

Formats the value using the given formatter.

impl Default for AstSlicer

fn default() -> Self

Returns the “default value” for a type.

impl Slicer for AstSlicer

fn id(&self) -> SlicerId

Which slicer this is, and at what version.

fn slice<'life0, 'life1, 'async_trait>( &'life0 self, raw: &'life1 Raw, cap: usize, ) -> Pin<Box<dyn Future<Output = Result<Slice, SliceError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Produce the summary. The part an implementation writes.

fn counter(&self) -> &dyn TokenCount

How this slicer counts tokens.

fn minimum_cap(&self) -> usize

The least a summary from this slicer can cost.

fn condense<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, raw: &'life1 Raw, cap: usize, store: &'life2 dyn Store, ) -> Pin<Box<dyn Future<Output = Result<Condensate, SliceError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Preserve the original, slice it, and check the result fits.