Documentation
¶
Overview ¶
Code generated by strictspec. DO NOT EDIT.
strictspec generator: 0.1.0 schema: strictcode-profile (format_version 1) regenerate: strictspec gen --manifest strictspec.toml
Released under the MIT license (unencumbered). This file is machine-generated; edit the schema and regenerate, never this file.
Index ¶
Constants ¶
const GeneratedBy = "0.1.0"
GeneratedBy is the strictspec release that produced this file. The runtime pairing guard hard-errors unless it matches the linked runtime exactly.
const SchemaFormatVersion = 1
SchemaFormatVersion is the document format_version this validator accepts.
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type CapabilityStatus ¶
CapabilityStatus is the frozen typed binding of the "CapabilityStatus" record. Fields are immutable by convention (shallow-plus-generated-immutability); use With* for copy-on-write.
func (*CapabilityStatus) WithReason ¶
func (x *CapabilityStatus) WithReason(v string) *CapabilityStatus
WithReason returns a copy of CapabilityStatus with Reason set to the given value.
func (*CapabilityStatus) WithStatus ¶
func (x *CapabilityStatus) WithStatus(v string) *CapabilityStatus
WithStatus returns a copy of CapabilityStatus with Status set to the given value.
type Construct ¶
Construct is the frozen typed binding of the "Construct" record. Fields are immutable by convention (shallow-plus-generated-immutability); use With* for copy-on-write.
func (*Construct) WithConstruct ¶
WithConstruct returns a copy of Construct with Construct set to the given value.
func (*Construct) WithNodeKind ¶
WithNodeKind returns a copy of Construct with NodeKind set to the given value.
func (*Construct) WithNotes ¶
WithNotes returns a copy of Construct with Notes set to the given value.
func (*Construct) WithRowKind ¶
WithRowKind returns a copy of Construct with RowKind set to the given value.
type Profile ¶
type Profile struct {
Language string
DisplayName string
Grammar string
Constructs []*Construct
Capabilities strictspec.Value
}
Profile is the frozen typed binding of the "Profile" record. Fields are immutable by convention (shallow-plus-generated-immutability); use With* for copy-on-write.
func ValidateBytes ¶
func ValidateBytes(input []byte, syntax string) (*Profile, []strictspec.Diagnostic)
ValidateBytes is the raw-bytes entry point: lossless parse of input in the given syntax ("json" | "toml" | "jsonl"), then validate. It returns the typed root value (nil when any diagnostic fired) and the ordered diagnostics.
func ValidateBytesWithEvidence ¶
func ValidateBytesWithEvidence(input []byte, syntax string, evidence map[string][]map[string]any) (*Profile, []strictspec.Diagnostic)
ValidateBytesWithEvidence is ValidateBytes plus cross-document resolver evidence for the phase-2 constraint vocabulary.
func ValidateValue ¶
func ValidateValue(v strictspec.Value) (*Profile, []strictspec.Diagnostic)
ValidateValue is the tagged-value entry point: validate an already-parsed tagged document value (from strictspec.LoadValue or a typed constructor).
func (*Profile) WithCapabilities ¶
func (x *Profile) WithCapabilities(v strictspec.Value) *Profile
WithCapabilities returns a copy of Profile with Capabilities set to the given value.
func (*Profile) WithConstructs ¶
WithConstructs returns a copy of Profile with Constructs set to the given value.
func (*Profile) WithDisplayName ¶
WithDisplayName returns a copy of Profile with DisplayName set to the given value.
func (*Profile) WithGrammar ¶
WithGrammar returns a copy of Profile with Grammar set to the given value.
func (*Profile) WithLanguage ¶
WithLanguage returns a copy of Profile with Language set to the given value.
Source Files