Enum polar_core::sources::SourceInfo

pub enum SourceInfo {
    Parser {
        src_id: u64,
        left: usize,
        right: usize,
    },
    TemporaryVariable,
    Ffi,
    Test,
}

Variants

Parser

Fields

src_id: u64

Index into the source map stored in the knowledge base

left: usize

Location of the term within the source map

right: usize

TemporaryVariable

Created as a temporary variable

Ffi

From an FFI call

Test

Created for a test

Implementations

impl SourceInfo

pub fn ffi() -> Self

Trait Implementations

impl Clone for SourceInfo

fn clone(&self) -> SourceInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SourceInfo

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

Formats the value using the given formatter.

impl Hash for SourceInfo

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, 

Feeds a slice of this type into the given Hasher.