HS-Flensburg-PLTP / jlint

Other
0 stars 0 forks source link

Konstantenpropagation Grundfunktionalität #334

Closed philRESEARCH closed 1 year ago

philRESEARCH commented 1 year ago

Laut #181 sollte zuerst die Grundfunktionalität der Konstantenpropagation umgesetzt werden.

Dies beinhaltet folgenden Fall:

if (0 == index) {
    this.first = new DLNode<T>(null, value, nodeAt(index));
    this.last = this.first;
}

Es soll also in dem if-then erkannt werden, dass index == 0 gilt und im then-Zweig index dementsprechend durch 0 ersetzt werden kann.

philRESEARCH commented 1 year ago

Es wurde zusätzlich noch folgender Fall implementiert:

if (index != 0) {
    this.first = new DLNode<T>(null, value, null);
    this.last = this.first;
} else {
    this.first = new DLNode<T>(null, value, nodeAt(index));
}

Hier erkennt die Regel, dass im else-Fall index == 0 gilt und somit analog zum 1. Fall index durch 0 ersetzt werden kann.