Language: Visibility, constructors, and destructors

[PurHur]

Problem

#58 tracks public instance methods and Expr_MethodCall. examples/003-MiniWebApp/src/Router.php also needs:

• Private methods (renderHome, renderHello, …) called from public dispatch()
• __construct with assignment to $this->config
• Private typed property private array $config (Language: Typed class properties for MiniWebApp Router (slice of #169) #473 slice of Language: Typed properties, union types, and readonly (PHP 8+) #169)
• Visibility rules (public/private; defer protected to v2)

Today lint reports ClassMethod / Expr_MethodCall under #58 / #463; runtime will need visibility dispatch once methods compile.

Goal

class Router {
    private array $config;
    public function __construct(array $config) { $this->config = $config; }
    public function dispatch(string $method, string $route): void {
        $this->renderHome(); // private call from public method
    }
    private function renderHome(): void { /* include templates */ }
}

VM + JIT + AOT: constructor runs on new; private methods callable only from same class; property reads/writes respect visibility.

Implementation hints

Compiler (lib/Compiler.php)

Step	Notes
Class vtable	Per-class table: methodName → {visibility, funcId, isStatic}
new	Emit TYPE_NEW + TYPE_METHOD_CALL for __construct when present
Method call	TYPE_METHOD_CALL checks visibility: caller class vs target method
Private calls	Same-class fast path (no dynamic dispatch v1)

VM (lib/VM.php)

• Object header: property bag + class id
• __construct: run before returning object from new
• Illegal private call from outside class → Error (match Zend message where feasible)

JIT (lib/JIT.php, lib/JIT/Builtin/Type/Object_.php)

• Monomorphic private calls within same class (Router → render*)
• Defer protected cross-hierarchy to follow-up

AOT (lib/AOT/)

• Emit class metadata section for method visibility
• AOT: Project build mode (entry file + dependency graph) #59 / AOT: Honor phpc.json includes array in phpc build --project #452 ✅ includes[] must link Router.php with entry TU

Lint (lib/Lint/UnsupportedRegistry.php)

• Until done: map to Language: Class methods and property access in JIT #58 for public methods, Language: Visibility, constructors, and destructors #145 for private/ctor (Lint: Map ClassMethod and Expr_MethodCall to tracking issues in UnsupportedRegistry #463)

Tests

• test/compliance/cases/class_private_method.phpt
• test/compliance/cases/class_constructor.phpt
• Extend test/unit/MiniWebAppSkeletonTest.php when Router dispatches

Acceptance criteria

docker run --rm -v "$(pwd):/compiler" -w /compiler php-compiler:22.04-dev \
  php bin/vm.php -r 'class C{private function h():string{return "ok";} public function go():string{return $this->h();}} echo (new C())->go();'

MiniWebApp may still fail on #54 includes until those close.

Verification (local / Docker only)

./script/ci-local.sh --filter class_visibility

No GitHub Actions required.

Dependencies

• Language: Class methods and property access in JIT #58 public methods (land first or together)
• Language: JIT support for non-void function return types #55 non-void returns in methods
• Language: Typed class properties for MiniWebApp Router (slice of #169) #473 typed private array $config
• Blocks: Reference app: examples/003-MiniWebApp (router, templates, forms) #67 MiniWebApp, Web: MiniWebApp routing pattern (front controller + path dispatch) #210 routing
• Parallel: Language: include/require in JIT and AOT (multi-file applications) #54 includes inside private render methods

De-duplication

Issue	Relationship
#58	Public methods + external ->dispatch() calls
#101 / #144	Inheritance/traits — out of scope for MiniWebApp v1
#169	Full PHP 8 types; #473 is MiniWebApp slice

Links

• 🗺️ ROADMAP: Compile a small PHP web application (living document) #78 ROADMAP Phase 1 Language
• examples/003-MiniWebApp/src/Router.php

[PurHur]

De-duplication (batch 25)

Implement after #58 (public method calls + new dispatch). This issue adds visibility, __construct, __destruct — not required for MiniWebApp v1 Router with public methods only.

Lint: #463 will map ClassMethod → #58 until both close.

Verification: local ci-local.sh only (#394 ✅ GHA off).