Skip to main content

SemanticSymbolTrace

fallow_types::semantic

Struct SemanticSymbolTrace

pub struct SemanticSymbolTrace {
    pub target: SemanticSymbol,
    pub identity: SemanticAnalysisIdentity,
    pub selected_project: String,
    pub assertion: String,
    pub status: SemanticCompleteness,
    pub references: Vec<SemanticReference>,
    pub total_reference_count: usize,
    pub checker_evidence_count: usize,
    pub graph_evidence_count: usize,
    pub truncated: bool,
    pub omissions: Vec<SemanticOmission>,
    pub actions: Vec<String>,
}

Expand description

Typed semantic trace attached to an existing syntactic trace.

Fields§

§target: SemanticSymbol

Exact target declaration.

§identity: SemanticAnalysisIdentity

Semantic mode, capabilities, project selection, and completeness.

§selected_project: String

TypeScript project selected for this symbol.

§assertion: String

Concrete assertion, such as references-found.

§status: SemanticCompleteness

Completeness of the trace.

§references: Vec<SemanticReference>

Bounded reference evidence.

§total_reference_count: usize

Count before evidence bounding.

§checker_evidence_count: usize

Exact reference locations found by the TypeScript checker.

§graph_evidence_count: usize

Alias and re-export hops derived from the semantic graph.

§truncated: bool

Whether reference evidence was truncated.

§omissions: Vec<SemanticOmission>

Counted omissions.

§actions: Vec<String>

Plain next actions for a user or automation consumer.

Trait Implementations§

impl Clone for SemanticSymbolTrace

fn clone(&self) -> Self

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for SemanticSymbolTrace

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for SemanticSymbolTrace

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl Eq for SemanticSymbolTrace

impl PartialEq for SemanticSymbolTrace

fn eq(&self, other: &Self) -> bool

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=. Read more

impl Serialize for SemanticSymbolTrace

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl StructuralPartialEq for SemanticSymbolTrace

Auto Trait Implementations§

impl Freeze for SemanticSymbolTrace

impl RefUnwindSafe for SemanticSymbolTrace

impl Send for SemanticSymbolTrace

impl Sync for SemanticSymbolTrace

impl Unpin for SemanticSymbolTrace

impl UnsafeUnpin for SemanticSymbolTrace

impl UnwindSafe for SemanticSymbolTrace

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<'a, T> FromIn<'a, T> for T

fn from_in(t: T, _: &'a Allocator) -> T

Converts to this type from the input type within the given allocator.

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

fn into(self) -> U

Calls U::from(self).

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

impl<'a, T, U> IntoIn<'a, U> for T
where U: FromIn<'a, T>,

fn into_in(self, allocator: &'a Allocator) -> U

Converts this type into the (usually inferred) input type within the given allocator.

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

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

type Error = !

The type returned in the event of a conversion error.

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

Performs the conversion.

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

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

The type returned in the event of a conversion error.

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

Performs the conversion.