Class: Udb::TypeConstraint

Inherits:

T::Struct

• Object
• T::Struct
• Udb::TypeConstraint

Defined in:

lib/udb/z3.rb

Overview

Encapsulates a type constraint callback for validating array items

This struct holds a method reference and its associated JSON schema, allowing lazy evaluation of type constraints on array elements. The method is called with the solver, a Z3 term, and the schema to generate constraint assertions.

Instance Attribute Summary

• #mthd ⇒ Method readonly

  Returns the value of prop mthd.

• #schema ⇒ Hash{String => T.untyped} readonly

  Returns the value of prop schema.

Instance Method Summary

• #initialize(mthd:, schema:) constructor

Constructor Details

#initialize(mthd:, schema:)

Parameters:

• mthd (Method)
• schema (Hash{String => T.untyped})

# File ''

const :mthd, Method
const :schema, T::Hash[String, T.untyped]

Instance Attribute Details

#mthd ⇒ Method (readonly)

Returns the value of prop mthd.

Returns:

• (Method)

# File ''

const :mthd, Method

#schema ⇒ Hash{String => T.untyped} (readonly)

Returns the value of prop schema.

Returns:

• (Hash{String => T.untyped})

# File ''

const :schema, T::Hash[String, T.untyped]