TreeSitterContextAnalyzer

Struct TreeSitterContextAnalyzer 

Source
pub struct TreeSitterContextAnalyzer;
Expand description

Tree-sitter based context analyzer for scope detection

This analyzer uses tree-sitter to parse code and detect scopes, available symbols, and expected types. It supports Rust, TypeScript, and Python.

§Supported Languages

  • Rust: Full support with scope detection and symbol extraction
  • TypeScript/JavaScript: Full support with scope detection and symbol extraction
  • Python: Full support with scope detection and symbol extraction

§Example

use ricecoder_completion::context::TreeSitterContextAnalyzer;
use ricecoder_completion::types::Position;

let analyzer = TreeSitterContextAnalyzer;
let context = analyzer.analyze_context(
    "fn main() { let x = ",
    Position::new(0, 20),
    "rust",
).await?;

Implementations§

Source§

impl TreeSitterContextAnalyzer

Source

pub fn infer_variable_type( code: &str, position: Position, language: &str, ) -> Option<Type>

Infer variable type from assignments and declarations

Source

pub fn infer_function_return_type( code: &str, position: Position, language: &str, ) -> Option<Type>

Infer function return type from signature

Trait Implementations§

Source§

impl ContextAnalyzer for TreeSitterContextAnalyzer

Source§

fn analyze_context<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, code: &'life1 str, position: Position, language: &'life2 str, ) -> Pin<Box<dyn Future<Output = CompletionResult<CompletionContext>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Analyze the code context at the given position Read more
Source§

fn get_available_symbols( &self, context: &CompletionContext, code: &str, ) -> Vec<Symbol>

Get available symbols in the given context Read more
Source§

fn infer_expected_type(&self, context: &CompletionContext) -> Option<Type>

Infer the expected type at the given context Read more

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> 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, 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<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