products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/macros/Files image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei:   Sprache: Unknown

/*
 * @test /nodynamiccopyright/
 * @bug 8003280
 * @summary Add lambda tests
 *  effectively final check fails on method parameter
 * @compile/fail/ref=EffectivelyFinal01.out -XDrawDiagnostics EffectivelyFinal01.java
 */

class EffectivelyFinal01 {

    interface SAM {
        Integer m(Integer i);
    }

    void test(Integer nefPar) {
        SAM s = (Integer h) ->  { Integer k = 0; return k + h + nefPar; };
        nefPar++;  //non-effectively final
    }
}

[ Original von:0.17Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  Datei übertragen  ]