feat(phpstan): analyse Latte templates

USAGE.md

@@ -183,6 +183,26 @@ The linter compiles every `.latte` file with the standard presenter engine
 `{presenter}` tags), so syntax errors and broken HTML nesting fail the check.
 Pass several paths to lint multiple directories.
 
+### PHPStan template analysis
+
+The Laravel-like `latte` section in `phpstan.examples.neon` is a complete
+example: it analyses presenter templates, layouts and error templates through
+`Chandler\PHPStanLatte\ChandlerPresenterTemplateResolver`. To use it in an app:
+
+- add the `efabrica/phpstan-latte` fork as a dev dependency and add its VCS
+  repository to the **application's** `composer.json` (Composer repositories
+  are not inherited from dependencies);
+- register the resolvers as PHPStan services;
+- declare `Chandler\MVC\SimplePresenter` as `earlyTerminatingMethodCalls`, so
+  actions that only call `redirect()`, `notFound()`, `terminate()`,
+  `throwError()` or `pass()` do not get a false `latte.cannotResolve`;
+- keep `csrfToken` in `latte.globalVariables` when the app does not analyse
+  `SimplePresenter.php` itself — it is set in `onBeforeRender()`.
+
+The resolver currently ignores `_templatePath`, so themed templates are not
+analysed. Do not add theme directories to `paths` while
+`reportUnanalysedTemplates` is enabled, or they will be reported as unanalysed.
+
 ## Scheduled Tasks (Cron)
 
 Chandler provides a built-in scheduler and runner for background tasks using a fluent PHP API. Tasks are defined in `cron.php` (or discovered from extension `cron.php` files) and executed via your system crontab.

chandler/MVC/SimplePresenter.php

@@ -27,12 +27,15 @@ abstract class SimplePresenter implements IPresenter
     public const REDIRECT_TEMPORARY_PRESISTENT = 7;
 
     protected $mmReader;
+
+    /** @var TemplateScope */
     protected $template;
+
     protected $errorTemplate = null;
 
     public function __construct()
     {
-        $this->template = (object) [];
+        $this->template = new TemplateScope();
     }
 
     public function getTemplatingEngine(): TemplatingEngine

chandler/MVC/TemplateScope.php

@@ -0,0 +1,18 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Chandler\MVC;
+
+use AllowDynamicProperties;
+use stdClass;
+
+/**
+ * Scope of variables assigned with $this->template->foo = ... by a presenter.
+ *
+ * Presenters use this object as a bag of template variables; Router reads it
+ * via SimplePresenter::getTemplateScope() and passes the values to Latte.
+ * Dynamic properties are a feature here, hence the attribute.
+ */
+#[AllowDynamicProperties]
+class TemplateScope extends stdClass {}

composer.json

@@ -6,6 +6,12 @@
     "support": {
         "source": "https://github.com/OpenVK/chandler"
     },
+    "repositories": [
+        {
+            "type": "vcs",
+            "url": "https://github.com/OpenVK/phpstan-latte"
+        }
+    ],
     "bin": [
         "bin/chandler-latte-lint"
     ],
@@ -33,7 +39,8 @@
     },
     "autoload": {
         "psr-4": {
-            "Chandler\\": "chandler/"
+            "Chandler\\": "chandler/",
+            "Chandler\\PHPStanLatte\\": "tools/phpstan-latte/"
         },
         "classmap": [
             "chandler/Bootstrap.php"
@@ -49,6 +56,7 @@
     },
     "require-dev": {
         "friendsofphp/php-cs-fixer": "^3.90",
-        "phpstan/phpstan": "^2.2"
+        "phpstan/phpstan": "^2.2",
+        "efabrica/phpstan-latte": "^0.21"
     }
 }

examples/basic/Web/Presenters/HelloPresenter.php

@@ -65,4 +65,42 @@ public function renderGreet(int|string $name): void
         $this->template->name  = $name;
         $this->template->title = "Hello, $name";
     }
+
+    /**
+     * renderExplicit — render a template directly through the Latte engine.
+     *
+     * There is intentionally no Hello/Explicit.latte default template:
+     * the resolver must use the explicit render call and must not report
+     * "Cannot resolve latte template".
+     */
+    public function renderExplicit(): void
+    {
+        $this->getTemplatingEngine()->render(__DIR__ . '/templates/Hello/ExplicitView.latte', [
+            'message' => 'Rendered explicitly',
+        ]);
+
+        // The template is rendered directly; stop Router from trying to
+        // render the (intentionally absent) Hello/Explicit.latte afterwards.
+        $this->terminate();
+    }
+
+    /**
+     * renderOverride — pick a non-default template through _template.
+     */
+    public function renderOverride(): void
+    {
+        $this->template->message   = 'Rendered through _template';
+        $this->template->_template = 'Hello/OverrideView.latte';
+    }
+
+    /**
+     * renderNotFoundOnly — fixture for actions that only terminate.
+     *
+     * There is no template; earlyTerminatingMethodCalls must suppress
+     * latte.cannotResolve for it.
+     */
+    public function renderNotFoundOnly(): void
+    {
+        $this->notFound();
+    }
 }