use crate::ir::{Expr, Program};
use crate::ops::OpSpec;
use crate::ops::rule::condition_op;
/// File size inequality condition operation.
#[derive(Debug, Clone, Copy, Default)]
pub struct FileSizeNe;
impl FileSizeNe {
/// Declarative operation specification.
pub const SPEC: OpSpec = condition_op::spec(OP_ID, Self::program);
/// Build the canonical IR program.
///
/// # Examples
///
/// ```
/// use vyre::ops::rule::file_size_ne::FileSizeNe;
///
/// assert!(!FileSizeNe::program().entry().is_empty());
/// ```
#[must_use]
pub fn program() -> Program {
condition_op::condition_program(|| Expr::ne(condition_op::file_size(), condition_op::threshold()))
}
}
/// Stable operation id for file size inequality checks.
pub const OP_ID: &str = "rule.file_size_ne";