MCPcopy Create free account
hub / github.com/dcSpark/cddl-codegen / source_rule_name

Method source_rule_name

src/intermediate.rs:870–872  ·  view source on GitHub ↗

The exact CDDL source rule name `ident` was registered under (e.g. `my-rule`, which `RustIdent` camel-cases to `MyRule`, indistinguishable from `my_rule`). `None` for a struct synthesized during IR build (no source rule). The conformance oracle roots its validator here so it targets a PROVABLE spec rule rather than a lossy reversal of the ident.

(&self, ident: &RustIdent)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 3

conformance_rule_nameFunction · 0.80
parse_groupFunction · 0.80

Calls

no outgoing calls

Tested by 1

conformance_rule_nameFunction · 0.64