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)