NoVerify: Ein PHP-Linter, der schnell arbeitet

Produktentwicklung

Wähle einen Linter

Noverify

Go ist ein guter Kompromiss zwischen Entwicklungsgeschwindigkeit und Produktivität.

• NoVerify ist um ein Vielfaches schneller als Alternativen .

• Dafür können Sie sowohl Open Source- als auch eigene Erweiterungen schreiben . Es ist wichtig, dass wir diese Prüfungen trennen können und Sie Ihre eigenen schreiben können.
• Einfach zu testen und zu entwickeln. Zum Teil, weil die Standard-Go-Distribution über ein Standard-Framework mit Profilerstellung und Tests verfügt. Es wird hauptsächlich für Unit-Tests verwendet. Besonders geschickt kann man wie wir für die Integration verwenden - wir haben Integrationstests, die durch Go-Tests geschrieben wurden.

Kompromiss der Integration

Integrieren

Git-Setup

Fehlalarm

function get_foo($obj) {
    return $obj->foo;
    ^^^
}

Warning:
Property "foo" does not exist

False Positives stören. 

Pickiness

$len = sizeof($x);
    ^^^^^^

Warning:
use "count" instead of "sizeof"

Was soll man damit machen?

Kompromiss

Vor allem nützliche Maßnahmen.

NoVerify Technische Details

So funktioniert NoVerify

Analyse und Analyse

• lokale Änderungen : In Bezug auf die Grundlinie finden wir neue Fehler im Code;
• Wir geben den Bereich der Revisionen an : die erste und die letzte Revision, und zwischen ihnen ist alles inklusive - dies ist der neue Code und alles, was „vorher“ alt ist.

Typinferenz

• Erwartet wird das, was wir in den Kommentaren beschreiben. Wir erwarten einige Typen im Programm, aber dies bedeutet nicht, dass sie wirklich darin verwendet werden.
• Tatsächlich - echte, die im Programm sind. Wenn wir beispielsweise etwas eine Nummer zuweisen, ist es offensichtlich, dass intoder float(wenn dies eine Gleitkommazahl ist) tatsächliche Typen sind. 

Erwartet gegen Ist

class Foo {
    /** @return static */
    public function newStatic() : self {
        return new static();
    }
}
// actual = Foo
// expected = static

class Foo {
    /** @return static */
    public function newStatic() : self {
        return new static();
    }
}
// actual -  PHP 
// expected -   IDE/

Tipp Hinweis

Statische Typisierung und Typhinweis sind nicht dasselbe.

declare(strict_types=1);
    function f(T $foo) {
        $foo = 10; //  int
        return $foo;
}

declare(strict_types=1);
function f(T $foo) {
    $foo = 10; //  int
    return $foo;
}
// ? 1. f -> int
// ? 2. f -> T|int
// ? 3. f -> T

Anmerkungen

Kommentare und Anmerkungen können lügen.

/** @return int */
function f() { return "I lied!"; }

interface IFoo {
    /** @return int */
    public function foo();
}
class Fooer implements IFoo {
    /** @inheritdoc */
    public function foo() { return "10"; }
}

interface IFoo {
    /** @return int */
    public function foo();
}
class Fooer implements IFoo {
    /** @return string */
    public function foo() { return "10"; }
}

Open Source

PHP-, , , , PHP Russia.

, . , , . telegram- @PHPRussiaConfChannel. , .