Class: Udb::ArrayConstraints

Inherits:
T::Struct
  • Object
show all
Defined in:
lib/udb/z3.rb

Overview

Aggregates all JSON schema constraints for an array parameter

This struct collects various array validation rules from JSON schemas:

  • Position-specific item schemas (tuple validation)

  • General item schema for remaining positions

  • “contains” requirement (at least one matching item)

  • Uniqueness constraint

  • Size bounds (min/max)