mir-analyzer 0.7.2

Analysis engine for the mir PHP static analyzer
Documentation 
1
2
3
4
5
6
7
8
9
10

===source===
<?php
class ParentClass {
    final public function locked(): void {}
}
class Child extends ParentClass {
    public function locked(): void {}
}
===expect===
FinalMethodOverridden: Method Child::locked() cannot override final method from ParentClass