Struct CallFact 

pub struct CallFact {
    pub caller_file: String,
    pub caller_name: String,
    pub callee_name: String,
    pub line: u32,
}

A call fact: a function call from one symbol to another.

Maps to Datalog: call(caller_file, caller_name, callee_name, line)

Fields

caller_file: String

File containing the call

caller_name: String

Name of the calling function/method

callee_name: String

Name of the called function/method

line: u32

Line number of the call

Trait Implementations

impl Archive for CallFact

where String: Archive, u32: Archive,

const COPY_OPTIMIZATION: CopyOptimization<Self>

An optimization flag that allows the bytes of this type to be copied directly to a writer instead of calling serialize.

type Archived = ArchivedCallFact

The archived representation of this type.

type Resolver = CallFactResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

fn resolve(&self, resolver: Self::Resolver, out: Place<Self::Archived>)

Creates the archived version of this value at the given position and writes it to the given output.

impl Clone for CallFact

fn clone(&self) -> CallFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallFact

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

Formats the value using the given formatter.

impl<__D: Fallible + ?Sized> Deserialize<CallFact, __D> for Archived<CallFact>

where String: Archive, <String as Archive>::Archived: Deserialize<String, __D>, u32: Archive, <u32 as Archive>::Archived: Deserialize<u32, __D>,

fn deserialize( &self, deserializer: &mut __D, ) -> Result<CallFact, <__D as Fallible>::Error>

Deserializes using the given deserializer

impl<__S: Fallible + ?Sized> Serialize<__S> for CallFact

where String: Serialize<__S>, u32: Serialize<__S>,

fn serialize( &self, serializer: &mut __S, ) -> Result<<Self as Archive>::Resolver, <__S as Fallible>::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.