Skip to main content

Filter

Struct Filter 

Source
pub struct Filter { /* private fields */ }
Expand description

A parsed filter expression which can be evaluated against Filterable objects.

A Filter is constructed from a textual filter expression using Filter::new, which tokenizes and parses the expression up-front so that it can be cheaply evaluated against any number of objects using Filter::matches.

use filt_rs::{Filter, FilterValue, Filterable};

struct Server {
    hostname: &'static str,
    port: u16,
}

impl Filterable for Server {
    fn get(&self, key: &str) -> FilterValue<'_> {
        match key {
            "hostname" => self.hostname.into(),
            "port" => self.port.into(),
            _ => FilterValue::Null,
        }
    }
}

let filter = Filter::new(r#"hostname startswith "web" && port == 443"#)?;

assert!(filter.matches(&Server { hostname: "web-01", port: 443 })?);
assert!(!filter.matches(&Server { hostname: "db-01", port: 5432 })?);

The default filter is the expression true, which matches every object:

let filter = Filter::default();
assert_eq!(filter.raw(), "true");
assert!(filter.matches(&Anything).unwrap());

Implementations§

Source§

impl Filter

Source

pub fn new<S: Into<String>>(filter: S) -> Result<Self, Error>

Parses the provided filter expression, returning a reusable Filter.

The expression is tokenized and parsed eagerly, so any syntax errors are reported here rather than at evaluation time. Errors include the location of the problem and guidance on how to correct it.

use filt_rs::Filter;

let filter = Filter::new("size > 100 && !archived").unwrap();
assert_eq!(filter.raw(), "size > 100 && !archived");

let error = Filter::new("size >").unwrap_err();
assert!(error.to_string().contains("end of your filter expression"));
Source

pub fn matches<T: Filterable>(&self, target: &T) -> Result<bool, Error>

Evaluates this filter against the provided object, returning whether it matched.

The object’s properties are resolved through its Filterable::get implementation, and the filter matches when the expression evaluates to a truthy value.

use filt_rs::{Filter, FilterValue, Filterable};

struct Message(&'static str);

impl Filterable for Message {
    fn get(&self, key: &str) -> FilterValue<'_> {
        match key {
            "subject" => self.0.into(),
            _ => FilterValue::Null,
        }
    }
}

let filter = Filter::new(r#"subject contains "invoice""#)?;
assert!(filter.matches(&Message("Invoice #123"))?);
assert!(!filter.matches(&Message("Weekly newsletter"))?);
Source

pub fn raw(&self) -> &str

Gets the raw filter expression which was used to construct this filter.

use filt_rs::Filter;

let filter = Filter::new("name == \"demo\"").unwrap();
assert_eq!(filter.raw(), "name == \"demo\"");

Trait Implementations§

Source§

impl Clone for Filter

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Filter

Source§

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

Formats the filter as its parsed expression tree, which can be useful when debugging operator precedence issues.

use filt_rs::Filter;

let filter = Filter::new("a || b && c").unwrap();
assert_eq!(format!("{filter:?}"), "(|| (property a) (&& (property b) (property c)))");
Source§

impl Default for Filter

Source§

fn default() -> Self

Returns the match-everything filter true.

Source§

impl Display for Filter

Source§

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

Formats the filter as its original raw expression.

use filt_rs::Filter;

let filter = Filter::new("a || b").unwrap();
assert_eq!(filter.to_string(), "a || b");
Source§

impl PartialEq for Filter

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.