Struct DomainLiteralMatcher 

pub struct DomainLiteralMatcher { /* private fields */ }

A matcher accepting Expr::Number literals in exactly one domain.

Examples

use sim_kernel::{Expr, NumberLiteral};
use sim_lib_numbers_core::{DomainLiteralMatcher, ScalarLiteralMatcher, domains};

let matcher = DomainLiteralMatcher::new(domains::i64());
let lit = Expr::Number(NumberLiteral {
    domain: domains::i64(),
    canonical: "42".to_owned(),
});
assert!(matcher.matches_expr(&lit));
assert!(!matcher.matches_expr(&Expr::String("42".to_owned())));

Implementations

impl DomainLiteralMatcher

pub fn new(domain: Symbol) -> Self

Build a matcher accepting only literals in domain.

pub fn domain(&self) -> &Symbol

The domain this matcher accepts.

Trait Implementations

impl ScalarLiteralMatcher for DomainLiteralMatcher

fn matches_expr(&self, expr: &Expr) -> bool

Whether expr is a number literal this matcher accepts.