Struct LogicalConstraint 

pub struct LogicalConstraint {
    pub constraint_id: String,
    pub constraint_type: ConstraintType,
    pub description: String,
    pub left_operand: String,
    pub right_operand: Option<String>,
    pub operator_value: Option<String>,
    pub is_required: bool,
    pub error_message: String,
}

A single logical constraint

Fields

constraint_id: String

Unique identifier

constraint_type: ConstraintType

Type of constraint

description: String

Human-readable description

left_operand: String

Left operand (key or value)

right_operand: Option<String>

Right operand (optional, for unary constraints)

operator_value: Option<String>

Operator value (for type/pattern checks)

is_required: bool

Is this constraint required?

error_message: String

Error message if violated

Implementations

impl LogicalConstraint

pub fn new( constraint_id: String, constraint_type: ConstraintType, left_operand: String, ) -> Self

Create a new constraint

pub fn equality(left: &str, right: &str, description: &str) -> Self

Create an equality constraint

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

Create a greater-than constraint

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

Create a less-than constraint

pub fn type_check(operand: &str, expected_type: &str, description: &str) -> Self

Create a type check constraint

pub fn with_description(self, description: &str) -> Self

Set description

pub fn with_error_message(self, message: &str) -> Self

Set error message

pub fn with_required(self, required: bool) -> Self

Set required flag

Trait Implementations

impl Clone for LogicalConstraint

fn clone(&self) -> LogicalConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogicalConstraint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LogicalConstraint

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for LogicalConstraint

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

Formats the value using the given formatter.

impl Serialize for LogicalConstraint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.