Was ist dieser Artikel?

Gelegenheits-Quellcode-Analyse ab heute angekündigt bei JJUG CCC 2019 Spring -ccc-2019-spring) ist eine detaillierte Version des Anwendungsfalls, der im Inhalt der Ankündigung erläutert wird.

Überblick

Ab Java 12 wurden Switch-Ausdrücke als Vorschaufunktion hinzugefügt. Da Switch als Ausdruck behandelt werden kann, kann er in den Wert der Zuweisungsanweisung geschrieben werden.

Für Details ist dieser Artikel sehr einfach zu verstehen.

Wenn der Programmiersprache eine neue Syntax hinzugefügt wird, frage ich mich oft: "Wie nützlich ist das?"

Dieses Mal möchte ich, um eine solche Frage zu lösen und die intellektuelle Neugier zu befriedigen, den tatsächlichen Quellcode nach einer Switch-Anweisung durchsuchen, die in einen Switch-Ausdruck konvertiert werden kann.

Übersicht über den Suchvorgang

Die Quellcode-Analysetechnologie wird verwendet, um den Quellcode zu durchsuchen.

Insbesondere wird eine Bibliothek namens JavaParser verwendet, um eine Syntaxanalyse durchzuführen und einen Suchprozess für den generierten abstrakten Syntaxbaum durchzuführen.

Dieses Mal dachte ich wie folgt über "Switch-Anweisung, die in einen Switch-Ausdruck konvertiert werden kann" nach und suchte nach Switch-Anweisungen, die den Bedingungen entsprechen.

Diese Bedingung ist nicht streng. Es ist nur eine Voraussetzung für eine grobe Suche.

Ein CASE mit zwei Anweisungen muss immer eine Zuweisungsanweisung + Rückgabe oder eine Substitutionsanweisung + Unterbrechung sein.
Es muss mindestens einen CASE geben, der aus zwei Anweisungen besteht.
Eine einzelne Anweisung CASE muss immer "return" oder "break" sein.
Es kann eine beliebige Anzahl von CASEs geben, die keine Anweisung haben. -Es darf keinen CASE mit mehr als zwei Anweisungen geben.
Alle Variablen auf der linken Seite der Zuweisungsanweisung müssen dieselbe Variable sein.

Der für die Analyse verwendete Quellcode lautet hier.

Suchziel

Ich habe 100 Java-Projekte auf GitHub in absteigender Reihenfolge der Sterne erhalten und sie als Ziel ausgewählt. Die Suchabfrage lautet wie folgt.

curl -o github_java_top100.json "https://api.github.com/search/repositories?q=stars:>0+language:Java&sort=stars&order=desc&page=1&per_page=100"

Da das Umfrageziel um Februar 2019 festgelegt wurde, kann es von der aktuellen Sternreihenfolge abweichen. Außerdem berücksichtigen wir nicht, wie das Projekt aussieht oder ob es archiviert ist.

Suchergebnisse

Java-Datei: 120.996 Datei
Verarbeitungszeit: ca. 20 Minuten --Finded Switch-Anweisungen: 639

Die Zusammenfassung der Suchergebnisse im Markdown-Format lautet hier.

Ich konnte nicht alle Suchergebnisse bestätigen, aber ein kurzer Blick scheint darauf hinzudeuten, dass die Suche wie beabsichtigt war. Nachfolgend finden Sie zwei Beispiele für gute Suchergebnisse.

Aus PullToRefreshBase.java des Android-PullTo

switch(getPullToRefreshScrollDirection()) {
    case HORIZONTAL:
        oldScrollValue = getScrollX();
        break;
    case VERTICAL:
    default:
        oldScrollValue = getScrollY();
        break;
}

Aus RunParameterDefinition.java des Jenkins-Projekts

switch(getFilter()) {
    case COMPLETED:
        lastBuild = project.getLastCompletedBuild();
        break;
    case SUCCESSFUL:
        lastBuild = project.getLastSuccessfulBuild();
        break;
    case STABLE:
        lastBuild = project.getLastStableBuild();
        break;
    default:
        lastBuild = project.getLastBuild();
        break;
}

Zusammenfassung

Dieses Mal habe ich durch die Suche nach einer Switch-Anweisung, die in einen Switch-Ausdruck konvertiert werden kann, tatsächlich einen Suchprozess für den Quellcode des Projekts auf GitHub ausgeführt.

Persönlich habe ich das Gefühl, dass es mehr Orte gibt, die konvertiert werden können, als ich erwartet hatte.

Verwenden wir in Zukunft den Switch-Typ, wo er verwendet werden kann.