Enum Fact 

pub enum Fact {
    Alloc {
        var: String,
        location: usize,
    },
    Free {
        var: String,
        location: usize,
    },
    Use {
        var: String,
        location: usize,
    },
    Lock {
        mutex: String,
        location: usize,
    },
    Unlock {
        mutex: String,
        location: usize,
    },
    ThreadSpawn {
        id: String,
        location: usize,
    },
    ThreadJoin {
        id: String,
        location: usize,
    },
    Write {
        var: String,
        location: usize,
    },
    Read {
        var: String,
        location: usize,
    },
    Ordering {
        before: usize,
        after: usize,
    },
}

Datalog fact for signature detection

Variants

Alloc

Fields

var: String

location: usize

Free

Fields

var: String

location: usize

Use

Fields

var: String

location: usize

Lock

Fields

mutex: String

location: usize

Unlock

Fields

mutex: String

location: usize

ThreadSpawn

Fields

id: String

location: usize

ThreadJoin

Fields

id: String

location: usize

Write

Fields

var: String

location: usize

Read

Fields

var: String

location: usize

Ordering

Fields

before: usize

after: usize

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fact

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

Formats the value using the given formatter.

impl Eq for Fact

impl Hash for Fact

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 Fact

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Fact