Struct Violation 

#[non_exhaustive]
pub struct Violation { /* private fields */ }

A single instance where a validation rule was not met.

Implementations

impl Violation

pub fn new( field_path: impl Into<String>, rule_id: impl Into<String>, message: impl Into<String>, ) -> Self

Create a violation with the given field path, rule identifier, and message.

The rule_path is set equal to rule_id. Enrichment fields (field_descriptor, field_value, rule_descriptor, rule_value) are left as None — they are populated only by the runtime validator.

pub fn new_constraint( field_path: impl Into<String>, rule_id: impl Into<String>, rule_path: impl Into<String>, ) -> Self

Create a violation for a standard constraint where rule_path (the proto field path, e.g. "string.email") may differ from rule_id (the constraint identifier, e.g. "string.email_empty").

The message field is intentionally left empty per the conformance spec. Enrichment fields (field_descriptor, field_value, rule_descriptor, rule_value) are left as None.

pub fn to_proto(&self) -> Violation

Serialize this violation into the wire-compatible protobuf message.

pub fn field_path(&self) -> String

Returns the dot-separated field path where this violation occurred.

pub fn rule_path(&self) -> String

Returns the dot-separated rule path that was violated.

pub fn rule_id(&self) -> &str

Returns the machine-readable constraint identifier.

pub fn message(&self) -> &str

Returns the human-readable violation message.

pub fn field_descriptor(&self) -> Option<&FieldDescriptor>

Returns the field descriptor for the violated field, if available.

pub fn field_value(&self) -> Option<&Value>

Returns the field value that failed validation, when available.

pub fn rule_descriptor(&self) -> Option<&FieldDescriptor>

Returns the descriptor for the violated rule field, when available.

pub fn rule_value(&self) -> Option<&Value>

Returns the value of the violated rule field, when available.

pub fn set_field_path(&mut self, field_path: impl Into<String>)

Sets the field path.

pub fn set_rule_path(&mut self, rule_path: impl Into<String>)

Sets the rule path.

pub fn set_rule_id(&mut self, rule_id: impl Into<String>)

Sets the machine-readable rule identifier.

pub fn set_message(&mut self, message: impl Into<String>)

Sets the human-readable violation message.

pub fn without_rule_path(self) -> Self

Strip the rule path so proto.rule is None.

Used for violations where only rule_id should be emitted (e.g. oneof, message-level CEL).

pub fn mark_for_key(&mut self)

Mark this violation as caused by a map key (rather than a value).

Set by the runtime map evaluator on every key-rule violation and by generated validators when iterating map-key constraints — preserves the for_key field on the wire-level Violation proto.

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

Returns whether this violation was caused by a map key (rather than a value).

None when the field is unset on the wire (the common case for non-map-key violations); Some(true) after Violation::mark_for_key.

pub fn prepend_field_path(&mut self, parent: &str)

Prepend a parent field path element.

pub fn prepend_index(&mut self, parent: &str, index: u64)

Prepend a parent field path with a repeated index subscript: parent[index].<existing>.

pub fn prepend_string_key(&mut self, parent: &str, key: &str)

Prepend a parent field path with a string-keyed map subscript: parent["key"].<existing>. The key is JSON-escaped on rendering, matching the canonical runtime format for map paths.

pub fn prepend_int_key(&mut self, parent: &str, key: i64)

Prepend a parent field path with a signed-integer-keyed map subscript: parent[key].<existing>.

pub fn prepend_uint_key(&mut self, parent: &str, key: u64)

Prepend a parent field path with an unsigned-integer-keyed map subscript: parent[key].<existing>.

pub fn prepend_bool_key(&mut self, parent: &str, key: bool)

Prepend a parent field path with a bool-keyed map subscript: parent[true].<existing> or parent[false].<existing>.

pub fn prepend_rule_path(&mut self, parent: &str)

Prepend a parent rule path element.

Used by generated validators to splice container-rule path segments (e.g. repeated.items, map.keys, map.values) onto item-level violations so the final rule_path matches the runtime emission.

Trait Implementations

impl Clone for Violation

fn clone(&self) -> Violation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Violation

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

Formats the value using the given formatter.

impl Display for Violation

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

Formats the value using the given formatter.