Documentation
¶
Overview ¶
Package ids derives IR identifiers from OpenAPI source coordinates: the RFC 6901 pointer arithmetic that names a position, and the namespace each kind of node is addressed in.
The path is OpenAPI's and stays here — a JSON Pointer is not a GraphQL structural path or a protobuf fully-qualified name, and nothing above this package can compute one. The grammar wrapped around it belongs to the framework, which is the only thing this package reaches besides ir.
Index ¶
- Constants
- func AnonType(pointer string) ir.TypeID
- func Auth(name string) ir.AuthID
- func ComponentEntry(pointer string) (kind, name string, ok bool)
- func ComponentSchemaName(pointer string) (string, bool)
- func ComponentSchemaNamedEmpty(pointer string) bool
- func ComposedType(branchPointer string) ir.TypeID
- func DeclarationHint(pointer, fallback string) string
- func ForPointer(pointer string) ir.TypeID
- func NamedType(pointer string) ir.TypeID
- func Op(pointer string) ir.OpID
- func Prop(pointer string) ir.PropID
- func Ptr(segments ...string) string
- func Scope(segments ...string) string
- func Service(sourceIndex int) ir.ServiceID
- func UnescapeSegment(s string) string
Constants ¶
const ( // OpenAPISpace and AnonSpace both address source coordinates: a component // schema is named at its own pointer, an inline schema is anonymous at its // own pointer, and no pointer is both. OpenAPISpace compile.Space = "openapi" AnonSpace compile.Space = "anon" // ComposedSpace holds the Models synthesized for distributed union variants // (§4.3) — nodes no schema in the source occupies. The branch pointer denotes // the branch schema, so a $ref naming it must keep resolving to the branch, // and the variant must not be reachable by any pointer a $ref can spell. // ForPointer yields only the openapi and anon spaces, so // resolveSchemaRef can never hand a composed ID to a reference; compile.Types // rejects the mistake of minting into a space that addresses coordinates. ComposedSpace compile.Space = "composed" )
The namespaces this compiler addresses. The framework spells the grammar around them — the kind prefix and the separators (compile.TypeID and friends); what is chosen here is which namespace a node belongs in, and the pointer arithmetic that produces its path.
Variables ¶
This section is empty.
Functions ¶
func ComponentEntry ¶
ComponentEntry splits a pointer that addresses a top-level component entry (/components/<kind>/<name>, no deeper path) into its kind and unescaped name. It is the one place that shape is parsed: componentEntryName drops the kind, and ComponentSchemaName narrows it to the schemas kind, which is the only one that earns a named TypeID.
func ComponentSchemaName ¶
ComponentSchemaName reports whether pointer addresses a top-level component schema (/components/schemas/<name> with no deeper path) and returns its name. Only this kind of component declares a named type in OpenAPI, which is why it alone gates NamedType.
It answers false for two unlike documents: one that declares no such entry, and one that declares it keyed "". Reporting the refusal as "not a component schema" is false for the second, since the pointer addresses exactly that — ComponentSchemaNamedEmpty separates them for a caller that has to say why.
func ComponentSchemaNamedEmpty ¶
ComponentSchemaNamedEmpty reports whether pointer addresses the top-level component schema keyed "" — the position /components/schemas/ addresses.
It exists because that schema is a component schema that ComponentSchemaName still refuses: an empty name earns no named TypeID, so the schema hoists anonymously (testdata/conformance/openapi/empty-names.yaml records that policy). A caller that reports the refusal needs the distinction to word it truthfully, since a reader who follows the pointer finds a component schema sitting exactly where a "not a component schema" message denies one is.
func ComposedType ¶
ComposedType returns the stable ID of the Model synthesized for the distributed union variant at a branch pointer (§4.3).
func DeclarationHint ¶
DeclarationHint returns the name hint a node hoisted under pointer should carry: the component's own name when pointer addresses a top-level component entry, else fallback. A $ref'd component lowers once, at its declaration, so a use-site-derived hint (the referencing operation's ID, a response header's map key) would name the one shared node after whichever reference happened to lower first — arbitrary, and emitter-visible via Naming.Hint (issue #107).
func ForPointer ¶
ForPointer returns the stable TypeID for a schema hoisted at pointer: the named-component ID for a top-level component schema, the anonymous (hoisted-inline) ID otherwise.
func Ptr ¶
Ptr joins segments into an RFC 6901 JSON pointer. IDs are derived from these pointers (ir-design §3.1) and no other code in this package constructs one; the grammar wrapped around a pointer to make an ID belongs to the framework.
func Scope ¶
Scope joins segments into an Unmodeled key scope: the same escaping Ptr applies, without the leading separator, since a scope is a relative path rather than a pointer (ir-design §12).
It exists for the scopes holding a segment the document chooses — a form part's name, a callback's — where an unescaped "/" makes one segment read as two. Two parts named "q" and "q/x-a" then wrote one key between them and the surviving entry followed declaration order, silently, which is what §4.3 forbids a minted node and §12 promises a scoped key.
func UnescapeSegment ¶
UnescapeSegment reverses RFC 6901 escaping: ~1 to /, then ~0 to ~. It recovers a component's on-wire name from a pointer segment (e.g. a schema named "A/B" is escaped to "A~1B" in the pointer).
Types ¶
This section is empty.
Source Files