← All docs
xmlwriter_write_dtd_entity() — internals
Compiler internals for xmlwriter_write_dtd_entity(): lowering path, type checks, and runtime helpers.
xmlwriter_write_dtd_entity() — internals
Where it lives
- Signature:
crates/elephc-builtin-contract/src/catalog_xml.rs - Lowering:
src/xml_prelude/build/writer.rs:1437 (xmlwriter_write_dtd_entity) - Function symbol:
xmlwriter_write_dtd_entity()
Lowering notes
- Implemented by the compiler-injected xml prelude.
Semantic descriptor
Shared contract implemented by an injected elephc-PHP prelude.
EIR and runtime boundary
Implemented by an injected elephc-PHP prelude.
Signature summary
function xmlwriter_write_dtd_entity(mixed $writer, string $name, string $content, bool $isParam = false, ?string $publicId = null, ?string $systemId = null, ?string $notationData = null): boolWhat the type checker enforces
- Arity: takes 3–7 arguments (4 optional).
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/xml/xmlwriter_write_dtd_entity.rs(eval_builtin!) - Execution: Magician interpreter adapter.
- Adapter reason:
dynamic-language-surface. - Dispatch hooks:
direct,values