Expand description
Discovery pass for type and policy extraction.
Runs before main parsing to scan tokens for type and policy definitions.
Populates TypeRegistry and PolicyRegistry for use during parsing.
§Discovery Targets
| Block | Pattern | Result |
|---|---|---|
## Definition | “A Stack is a generic collection.” | TypeDef::Generic |
## Definition | “A User is a structure.” | TypeDef::Struct |
## Definition | “A Shape is an enum.” | TypeDef::Enum |
## Policy | “A user can publish if they are admin.” | CapabilityDef |
§Key Function
DiscoveryPass::run - Execute the discovery pass and return registries.
Structs§
- Discovery
Pass - Discovery pass that scans tokens before main parsing to build a TypeRegistry.
- Discovery
Result - Result of running the discovery pass