Struct FactPath 

pub struct FactPath {
    pub segments: Vec<PathSegment>,
    pub fact: String,
}

A resolved path to a fact, with document traversal segments

Used after planning to represent fully resolved fact references. Public because used in ExecutionPlan and evaluation.

Fields

segments: Vec<PathSegment>

Path segments: each segment is a fact name that points to a document

fact: String

Final fact name

Implementations

impl FactPath

pub fn is_local(&self) -> bool

Returns true if this is a local fact (no document traversal)

pub fn new(segments: Vec<PathSegment>, fact: String) -> Self

Create a new FactPath from segments and fact name

pub fn local(fact: String) -> Self

Create a local fact path (no document traversal)

pub fn from_path(path: Vec<String>) -> Self

Create a FactPath from a full path of strings

The last element becomes the fact name, all others become segments. Segment doc fields are left empty since we only have fact names. This is for backward compatibility with tests.

pub fn full_path(&self) -> Vec<String>

Get all path segments as fact names including the final fact name

Trait Implementations

impl Clone for FactPath

fn clone(&self) -> FactPath

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactPath

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactPath

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for FactPath

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

Formats the value using the given formatter.

impl Hash for FactPath

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for FactPath

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FactPath

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for FactPath

impl StructuralPartialEq for FactPath