Enum Expression

pub enum Expression {
    NamedNode(NamedNode),
    Literal(Literal),
    Variable(Variable),
    Or(Vec<Self>),
    And(Vec<Self>),
    Equal(Box<Self>, Box<Self>),
    SameTerm(Box<Self>, Box<Self>),
    Greater(Box<Self>, Box<Self>),
    GreaterOrEqual(Box<Self>, Box<Self>),
    Less(Box<Self>, Box<Self>),
    LessOrEqual(Box<Self>, Box<Self>),
    Add(Box<Self>, Box<Self>),
    Subtract(Box<Self>, Box<Self>),
    Multiply(Box<Self>, Box<Self>),
    Divide(Box<Self>, Box<Self>),
    UnaryPlus(Box<Self>),
    UnaryMinus(Box<Self>),
    Not(Box<Self>),
    Exists(Box<GraphPattern>),
    Bound(Variable),
    If(Box<Self>, Box<Self>, Box<Self>),
    Coalesce(Vec<Self>),
    FunctionCall(Function, Vec<Self>),
}

An expression.

Variants

NamedNode(NamedNode)

Literal(Literal)

Variable(Variable)

Or(Vec<Self>)

Logical-or.

And(Vec<Self>)

Logical-and.

Equal(Box<Self>, Box<Self>)

RDFterm-equal and all the XSD equalities.

SameTerm(Box<Self>, Box<Self>)

sameTerm.

Greater(Box<Self>, Box<Self>)

op:numeric-greater-than and other XSD greater than operators.

GreaterOrEqual(Box<Self>, Box<Self>)

Less(Box<Self>, Box<Self>)

op:numeric-less-than and other XSD greater than operators.

LessOrEqual(Box<Self>, Box<Self>)

Add(Box<Self>, Box<Self>)

op:numeric-add and other XSD additions.

Subtract(Box<Self>, Box<Self>)

op:numeric-subtract and other XSD subtractions.

Multiply(Box<Self>, Box<Self>)

op:numeric-multiply and other XSD multiplications.

Divide(Box<Self>, Box<Self>)

op:numeric-divide and other XSD divides.

UnaryPlus(Box<Self>)

op:numeric-unary-plus and other XSD unary plus.

UnaryMinus(Box<Self>)

op:numeric-unary-minus and other XSD unary minus.

Not(Box<Self>)

fn:not.

Exists(Box<GraphPattern>)

EXISTS.

Bound(Variable)

BOUND.

If(Box<Self>, Box<Self>, Box<Self>)

IF.

Coalesce(Vec<Self>)

COALESCE.

FunctionCall(Function, Vec<Self>)

A regular function call.

Implementations

impl Expression

pub fn or_all(args: impl IntoIterator<Item = Self>) -> Self

pub fn and_all(args: impl IntoIterator<Item = Self>) -> Self

pub fn equal(left: Self, right: Self) -> Self

pub fn same_term(left: Self, right: Self) -> Self

pub fn greater(left: Self, right: Self) -> Self

pub fn greater_or_equal(left: Self, right: Self) -> Self

pub fn less(left: Self, right: Self) -> Self

pub fn less_or_equal(left: Self, right: Self) -> Self

pub fn unary_plus(inner: Self) -> Self

pub fn exists(inner: GraphPattern) -> Self

pub fn if_cond(cond: Self, then: Self, els: Self) -> Self

pub fn coalesce(args: Vec<Self>) -> Self

pub fn call(name: Function, args: Vec<Self>) -> Self

pub fn effective_boolean_value(&self) -> Option<bool>

pub fn used_variables(&self) -> HashSet<&Variable>

pub fn lookup_used_variables<'a>( &'a self, callback: &mut impl FnMut(&'a Variable), )

Trait Implementations

impl Add for Expression

type Output = Expression

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl BitAnd for Expression

type Output = Expression

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr for Expression

type Output = Expression

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self

Performs the | operation.

impl Clone for Expression

fn clone(&self) -> Expression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Expression

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

Formats the value using the given formatter.

impl Div for Expression

type Output = Expression

The resulting type after applying the / operator.

fn div(self, rhs: Self) -> Self

Performs the / operation.

impl From<&Expression> for Expression

fn from(expression: &Expression) -> Self

Converts to this type from the input type.

impl From<GroundSubject> for Expression

fn from(value: GroundSubject) -> Self

Converts to this type from the input type.

impl From<GroundTerm> for Expression

fn from(value: GroundTerm) -> Self

Converts to this type from the input type.

impl From<GroundTermPattern> for Expression

fn from(value: GroundTermPattern) -> Self

Converts to this type from the input type.

impl From<GroundTriple> for Expression

fn from(value: GroundTriple) -> Self

Converts to this type from the input type.

impl From<GroundTriplePattern> for Expression

fn from(value: GroundTriplePattern) -> Self

Converts to this type from the input type.

impl From<Literal> for Expression

fn from(value: Literal) -> Self

Converts to this type from the input type.

impl From<NamedNode> for Expression

fn from(value: NamedNode) -> Self

Converts to this type from the input type.

impl From<NamedNodePattern> for Expression

fn from(value: NamedNodePattern) -> Self

Converts to this type from the input type.

impl From<Variable> for Expression

fn from(value: Variable) -> Self

Converts to this type from the input type.

impl From<bool> for Expression

fn from(value: bool) -> Self

Converts to this type from the input type.

impl Hash for Expression

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 Mul for Expression

type Output = Expression

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self

Performs the * operation.

impl Neg for Expression

type Output = Expression

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl Not for Expression

type Output = Expression

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl PartialEq for Expression

fn eq(&self, other: &Expression) -> 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 Sub for Expression

type Output = Expression

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Self

Performs the - operation.

impl Eq for Expression

impl StructuralPartialEq for Expression