mirror of
https://github.com/zap-proto/zip.git
synced 2026-10-19 15:38:57 +00:00
The registry a projection reduces over came from Go declarations, so zipgen — which links no service — had an empty one, and every SDK, MCP server, CLI and docs page it wrote was empty. It refused rather than write those, and named a missing connection: a .zap schema, read into a registry. zip.ReadZAP is that connection. It parses with github.com/zap-proto/go/idl, which is the parser cmd/zapgen has always used and which is a package rather than a command as of that repository's v1.8.3; there is one grammar, not a second one written here to agree with the first until it did not. It answers with one app per declared interface, each carrying one op per method, which is the exact inverse of ZAPSchema taking any number of apps and writing them as one interface each. A file read and projected back is the same text, and there is a test that closes that loop over this package's own output. Two things stood between a declaration and an op. Go makes no named types at run time, so a struct built from a declaration carries the name it was declared under in a decl tag on its fields, and typeName is now the one place any projection asks a type for its name — without that, Ping and Pong of identical shape intern to a single reflect type and a method declared to answer Pong answers Ping. And a .zap field states an offset while LayoutOf derives one: every field is compared and any disagreement is refused, naming all of them. That refusal earns its place immediately, because the IDL assigns offsets by packing and this layout aligns each slot to its own width, so a hand-written schema with an i32 before a wider field describes a wire this process does not speak. An op read from a schema knows what it takes and what it answers and refuses to run, because a schema states a contract and the implementation of it is somewhere else. Co-authored-by: Hanzo Dev <[email protected]>
203 lines
5.9 KiB
Go
203 lines
5.9 KiB
Go
package zip
|
|
|
|
import (
|
|
"fmt"
|
|
"reflect"
|
|
"sort"
|
|
"strings"
|
|
)
|
|
|
|
// DocsBundle represents generated documentation pages formatted for @hanzo/docs.
|
|
type DocsBundle struct {
|
|
Pages map[string]string // filename (e.g. "get-validators.mdx") -> content
|
|
Index string // index.mdx content
|
|
}
|
|
|
|
// DocsMarkdown generates @hanzo/docs compatible MDX documentation pages for all operations.
|
|
// It shares the core prose extracted from doc comments across Go, Rust, and C++ SDKs.
|
|
func (a *App) DocsMarkdown(title string) (*DocsBundle, error) {
|
|
if title == "" {
|
|
title = a.cfg.AppName
|
|
if title == "" {
|
|
title = "API Reference"
|
|
}
|
|
}
|
|
|
|
bundle := &DocsBundle{
|
|
Pages: make(map[string]string),
|
|
}
|
|
|
|
ops := append([]*registeredOp(nil), a.Registry()...)
|
|
sort.Slice(ops, func(i, j int) bool { return opName(ops[i]) < opName(ops[j]) })
|
|
|
|
var index strings.Builder
|
|
index.WriteString("---\n")
|
|
fmt.Fprintf(&index, "title: %q\n", title)
|
|
fmt.Fprintf(&index, "description: API documentation and SDK references for %s\n", title)
|
|
index.WriteString("---\n\n")
|
|
fmt.Fprintf(&index, "# %s\n\n", title)
|
|
index.WriteString("This API is fully self-documenting and natively supported across **Go**, **Rust**, and **C++**.\n\n")
|
|
index.WriteString("## Operations\n\n")
|
|
index.WriteString("| Operation | Method | Route | Description |\n")
|
|
index.WriteString("| :--- | :--- | :--- | :--- |\n")
|
|
|
|
for _, op := range ops {
|
|
id := opName(op)
|
|
doc, hasDoc := docFor(op.Pkg, op.Method, op.Path)
|
|
summary := id
|
|
if hasDoc && doc.Description != "" {
|
|
summary = strings.Split(strings.TrimSpace(doc.Description), "\n")[0]
|
|
}
|
|
slug := strings.ReplaceAll(snakeCase(id), "_", "-")
|
|
filename := slug + ".mdx"
|
|
|
|
fmt.Fprintf(&index, "| [`%s`](./%s) | `%s` | `%s` | %s |\n", id, slug, op.Method, op.Path, summary)
|
|
|
|
// Render operation MDX page
|
|
var p strings.Builder
|
|
p.WriteString("---\n")
|
|
fmt.Fprintf(&p, "title: %q\n", id)
|
|
fmt.Fprintf(&p, "description: %q\n", summary)
|
|
p.WriteString("---\n\n")
|
|
|
|
fmt.Fprintf(&p, "# %s\n\n", id)
|
|
fmt.Fprintf(&p, "<div className=\"endpoint-badge\"><code>%s</code> <code>%s</code></div>\n\n", op.Method, op.Path)
|
|
|
|
if hasDoc && doc.Description != "" {
|
|
p.WriteString("## Overview\n\n")
|
|
p.WriteString(strings.TrimSpace(doc.Description))
|
|
p.WriteString("\n\n")
|
|
}
|
|
|
|
// Parameters table
|
|
inFields := inspectFields(op.InType, docFields(hasDoc, doc))
|
|
if len(inFields) > 0 {
|
|
p.WriteString("## Request Parameters\n\n")
|
|
p.WriteString("| Field | Type | Required | Description |\n")
|
|
p.WriteString("| :--- | :--- | :--- | :--- |\n")
|
|
for _, f := range inFields {
|
|
req := "No"
|
|
if f.Required {
|
|
req = "**Yes**"
|
|
}
|
|
desc := f.Doc
|
|
if desc == "" {
|
|
desc = "-"
|
|
}
|
|
fmt.Fprintf(&p, "| `%s` | `$%s` | %s | %s |\n", f.WireName, f.Type, req, desc)
|
|
}
|
|
p.WriteString("\n")
|
|
}
|
|
|
|
// Response fields table
|
|
outFields := inspectFields(op.OutType, docFields(hasDoc, doc))
|
|
if len(outFields) > 0 {
|
|
p.WriteString("## Response Fields\n\n")
|
|
p.WriteString("| Field | Type | Description |\n")
|
|
p.WriteString("| :--- | :--- | :--- |\n")
|
|
for _, f := range outFields {
|
|
desc := f.Doc
|
|
if desc == "" {
|
|
desc = "-"
|
|
}
|
|
fmt.Fprintf(&p, "| `%s` | `$%s` | %s |\n", f.WireName, f.Type, desc)
|
|
}
|
|
p.WriteString("\n")
|
|
}
|
|
|
|
// Examples
|
|
if hasDoc && (len(doc.Example) > 0 || len(doc.Response) > 0) {
|
|
p.WriteString("## Examples\n\n")
|
|
if len(doc.Example) > 0 {
|
|
p.WriteString("### Request Body\n\n```json\n")
|
|
p.WriteString(string(doc.Example))
|
|
p.WriteString("\n```\n\n")
|
|
}
|
|
if len(doc.Response) > 0 {
|
|
p.WriteString("### Response Body\n\n```json\n")
|
|
p.WriteString(string(doc.Response))
|
|
p.WriteString("\n```\n\n")
|
|
}
|
|
}
|
|
|
|
// Tabbed SDK invocation in Go, Rust, C++
|
|
goMethod := exportIdent(id)
|
|
rustMethod := snakeCase(id)
|
|
cppMethod := snakeCase(id)
|
|
|
|
p.WriteString("## SDK Examples\n\n")
|
|
p.WriteString("<Tabs items={['Go', 'Rust', 'C++']}>\n")
|
|
|
|
// Go Tab
|
|
p.WriteString(" <Tab value=\"Go\">\n```go\n")
|
|
fmt.Fprintf(&p, "client, err := sdk.Dial(\"127.0.0.1:9630\")\n")
|
|
fmt.Fprintf(&p, "if err != nil {\n\tlog.Fatal(err)\n}\n")
|
|
if op.InType != nil && deref(op.InType).NumField() > 0 {
|
|
fmt.Fprintf(&p, "res, err := client.%s(ctx, &sdk.%s{\n\t// ...\n})\n", goMethod, exportIdent(typeName(op.InType)))
|
|
} else {
|
|
fmt.Fprintf(&p, "res, err := client.%s(ctx)\n", goMethod)
|
|
}
|
|
p.WriteString("```\n </Tab>\n")
|
|
|
|
// Rust Tab
|
|
p.WriteString(" <Tab value=\"Rust\">\n```rust\n")
|
|
fmt.Fprintf(&p, "let client = sdk::Client::new(\"127.0.0.1:9630\");\n")
|
|
if op.InType != nil && deref(op.InType).NumField() > 0 {
|
|
fmt.Fprintf(&p, "let res = client.%s(&%s { ..Default::default() }).await?;\n", rustMethod, exportIdent(typeName(op.InType)))
|
|
} else {
|
|
fmt.Fprintf(&p, "let res = client.%s().await?;\n", rustMethod)
|
|
}
|
|
p.WriteString("```\n </Tab>\n")
|
|
|
|
// C++ Tab
|
|
p.WriteString(" <Tab value=\"C++\">\n```cpp\n")
|
|
fmt.Fprintf(&p, "auto client = sdk::create_client(\"127.0.0.1:9630\");\n")
|
|
if op.InType != nil && deref(op.InType).NumField() > 0 {
|
|
fmt.Fprintf(&p, "%s req{};\nauto res = client->%s(req);\n", exportIdent(typeName(op.InType)), cppMethod)
|
|
} else {
|
|
fmt.Fprintf(&p, "auto res = client->%s();\n", cppMethod)
|
|
}
|
|
p.WriteString("```\n </Tab>\n")
|
|
|
|
p.WriteString("</Tabs>\n")
|
|
|
|
bundle.Pages[filename] = p.String()
|
|
}
|
|
|
|
bundle.Index = index.String()
|
|
return bundle, nil
|
|
}
|
|
|
|
type fieldInfo struct {
|
|
Name string
|
|
WireName string
|
|
Type string
|
|
Required bool
|
|
Doc string
|
|
}
|
|
|
|
func inspectFields(t reflect.Type, docs map[string]string) []fieldInfo {
|
|
t = deref(t)
|
|
if t == nil || t.Kind() != reflect.Struct {
|
|
return nil
|
|
}
|
|
var res []fieldInfo
|
|
for i := 0; i < t.NumField(); i++ {
|
|
f := t.Field(i)
|
|
if !f.IsExported() {
|
|
continue
|
|
}
|
|
wire := jsonFieldName(f)
|
|
doc := docs[typeName(t)+"."+wire]
|
|
required := strings.Contains(f.Tag.Get("validate"), "required")
|
|
res = append(res, fieldInfo{
|
|
Name: f.Name,
|
|
WireName: wire,
|
|
Type: f.Type.String(),
|
|
Required: required,
|
|
Doc: doc,
|
|
})
|
|
}
|
|
return res
|
|
}
|