← All docs
flock() — internals
Compiler internals for flock(): lowering path, type checks, and runtime helpers.
flock() — internals
Where it lives
- Signature:
src/builtins/io/flock.rs - Lowering:
src/builtins/semantics.rs:639 (lower_registry_call) - Function symbol:
lower_registry_call()
Lowering notes
- Uses the
runtime_callstrategy from the single-source builtin descriptor. - Emits the typed EIR target
runtime.flockthroughBuiltinLoweringContext. - The backend resolves that typed target through
src/codegen/lower_inst/runtime_calls.rs; PHP builtin names do not participate in dispatch.
Semantic descriptor
- Target strategy:
runtime_call - Validation:
checker_hook - Result type source:
checked - Result ownership:
may_alias_arguments - Effects:
static (16 declared effects) - Requirements:
static (0 requirements) - Callable policy:
static_only - Target support:
macos-aarch64,ios-arm64,ios-sim-arm64,linux-aarch64,linux-x86_64
EIR and runtime boundary
- Typed EIR target:
runtime.flock - Backend boundary:
src/codegen/lower_inst/runtime_calls.rsresolves the typed target without PHP-name dispatch.
Signature summary
function flock(resource $stream, int $operation, bool $would_block = null): bool
What the type checker enforces
- Arity: takes 2–3 arguments (1 optional).
- By-reference parameters:
$would_block.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/filesystem/flock.rs(eval_builtin!) - Execution: Magician interpreter adapter.
- Adapter reason:
by-reference-or-lvalue. - Dispatch hooks:
values - By-reference parameters:
$would_block.