Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
- API
  
  Reference documentation for the pkg.go.dev API
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

schemaexec

package

Go to main page

Versions in this module

v0

v0.13.0

Aug 18, 2026

Changes in this version

+ func AddSchemasForTest(lhs, rhs *oas3.Schema, opts SchemaExecOptions) *oas3.Schema

+ func FingerprintSchema(s *oas3.Schema) string

+ func OpenObjectType(values *oas3.Schema) *oas3.Schema

+ type AllocOrigin struct

+ CallSite int

+ Context string

+ PC int

+ type Analysis struct

+ Causes []string

+ Output *oas3.Schema

+ Semantics SchemaSemantics

+ Verdict Verdict

+ func Analyze(ctx context.Context, q *gojq.Query, input *oas3.Schema, ...) (*Analysis, error)

+ type ArrayCardinality struct

+ MaxItems *int

+ MinItems *int

+ func (a *ArrayCardinality) Join(other *ArrayCardinality) *ArrayCardinality

+ type DSU struct

+ func NewDSU() *DSU

+ func (d *DSU) Find(allocID string) string

+ func (d *DSU) Union(allocID1, allocID2 string)

+ type Fingerprinter struct

+ func NewFingerprinter() *Fingerprinter

+ func (fp *Fingerprinter) FingerprintSchema(s *oas3.Schema) string

+ func (fp *Fingerprinter) FingerprintSchemaWithExclusions(s *oas3.Schema, excl map[*oas3.Schema]struct{}) string

+ func (fp *Fingerprinter) Reset()

+ type MergeMode int

+ const MergeConjunctive

+ const MergeDisjunctive

+ type PathAllElements struct

type SchemaExecOptions

+ Semantics SchemaSemantics

+ type SchemaSemantics int

+ const SchemaSemanticsRaw

+ const SchemaSemanticsSpeakeasy

+ type Verdict int

+ const VerdictProven

+ const VerdictProvenBroken

+ const VerdictUnverifiable

+ func (v Verdict) String() string

v0.1.0

Nov 4, 2025

Changes in this version

+ func ArrayType(items *oas3.Schema) *oas3.Schema

+ func BoolType() *oas3.Schema

+ func Bottom() *oas3.Schema

+ func BuildArray(items *oas3.Schema, elements []*oas3.Schema) *oas3.Schema

+ func BuildObject(props map[string]*oas3.Schema, required []string) *oas3.Schema

+ func ConstBool(b bool) *oas3.Schema

+ func ConstInteger(n int64) *oas3.Schema

+ func ConstNull() *oas3.Schema

+ func ConstNumber(n float64) *oas3.Schema

+ func ConstString(s string) *oas3.Schema

+ func GetProperty(obj *oas3.Schema, key string, opts SchemaExecOptions) *oas3.Schema

+ func HasProperty(obj *oas3.Schema, key string, opts SchemaExecOptions) *oas3.Schema

+ func IntegerType() *oas3.Schema

+ func Intersect(a, b *oas3.Schema, opts SchemaExecOptions) *oas3.Schema

+ func MergeObjects(a, b *oas3.Schema, opts SchemaExecOptions) *oas3.Schema

+ func MightBeArray(s *oas3.Schema) bool

+ func MightBeNumber(s *oas3.Schema) bool

+ func MightBeObject(s *oas3.Schema) bool

+ func MightBeString(s *oas3.Schema) bool

+ func NullType() *oas3.Schema

+ func NumberType() *oas3.Schema

+ func ObjectType() *oas3.Schema

+ func RequireType(s *oas3.Schema, typ oas3.SchemaType, opts SchemaExecOptions) *oas3.Schema

+ func StringType() *oas3.Schema

+ func TestExecuteShorthand(t *testing.T)

+ func Top() *oas3.Schema

+ func Union(schemas []*oas3.Schema, opts SchemaExecOptions) *oas3.Schema

+ type AValue struct

+ Closure *Closure

+ Kind ValueKind

+ Schema *oas3.Schema

+ func NewClosureValue(pc, scopeIdx int) AValue

+ func NewSchemaValue(s *oas3.Schema) AValue

+ func (v AValue) AsClosure() (*Closure, bool)

+ func (v AValue) AsSchema() (*oas3.Schema, bool)

+ type Closure struct

+ PC int

+ ScopeIndex int

+ type LogLevel int

+ const LevelDebug

+ const LevelError

+ const LevelInfo

+ const LevelWarn

+ func ParseLogLevel(s string) LogLevel

+ func (l LogLevel) String() string

+ type Logger interface

+ Debugf func(format string, args ...any)

+ Errorf func(format string, args ...any)

+ Infof func(format string, args ...any)

+ Warnf func(format string, args ...any)

+ With func(fields map[string]any) Logger

+ func NewLogger(level LogLevel, w io.Writer) Logger

+ type PathSegment struct

+ IsSymbolic bool

+ Key interface{}

+ type PathWildcard struct

+ type SValue struct

+ Schema *oas3.Schema

+ type SchemaExecOptions struct

+ AnyOfLimit int

+ EnableMemo bool

+ EnableWarnings bool

+ EnumLimit int

+ LogLevel string

+ LogMaxEnumValues int

+ LogMaxProps int

+ LogSchemaDeltas bool

+ LogStackPreviewDepth int

+ MaxDepth int

+ StrictMode bool

+ WideningLevel int

+ func DefaultOptions() SchemaExecOptions

+ type SchemaExecResult struct

+ Schema *oas3.Schema

+ Warnings []string

+ func ExecSchema(ctx context.Context, code *gojq.Code, input *oas3.Schema, ...) (*SchemaExecResult, error)

+ func RunSchema(ctx context.Context, query *gojq.Query, input *oas3.Schema, ...) (*SchemaExecResult, error)

+ func (r *SchemaExecResult) String() string

+ type SchemaLogOptions struct

+ LogMaxAnyOfBranches int

+ LogMaxEnumValues int

+ LogMaxProps int

+ LogStackPreviewDepth int

+ type ValueKind uint8

+ const VClosure

+ const VSchema