flowlog-build 0.3.0

Build-time FlowLog compiler for library mode.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

//! FnCall predicate signatures for FlowLog Datalog programs.

use crate::catalog::ArithmeticPos;
use std::fmt;

/// A fn_call predicate with variables resolved to their concrete positions.
#[derive(Debug, Clone, Hash, PartialEq, Eq)]
pub(crate) struct FnCallPredicatePos {
    name: String,
    args: Vec<ArithmeticPos>,
    is_negated: bool,
}

impl FnCallPredicatePos {
    /// Construct a new positional fn_call predicate.
    pub(crate) fn new(name: String, args: Vec<ArithmeticPos>, is_negated: bool) -> Self {
        Self {
            name,
            args,
            is_negated,
        }
    }

    /// Returns the function name.
    #[inline]
    pub(crate) fn name(&self) -> &str {
        &self.name
    }

    /// Returns the argument arithmetic positions.
    #[inline]
    pub(crate) fn args(&self) -> &[ArithmeticPos] {
        &self.args
    }

    /// Whether the UDF result is negated.
    #[inline]
    pub(crate) fn is_negated(&self) -> bool {
        self.is_negated
    }
}

impl fmt::Display for FnCallPredicatePos {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        let args_str = self
            .args
            .iter()
            .map(ToString::to_string)
            .collect::<Vec<_>>()
            .join(", ");
        if self.is_negated {
            write!(f, "[!{}({})]", self.name, args_str)
        } else {
            write!(f, "[{}({})]", self.name, args_str)
        }
    }
}