Schnittstelle CodeEditor.SaveCallback

Umschließende Klasse:
CodeEditor
Funktionsschnittstelle:
Dies ist eine funktionale Schnittstelle, die somit als Zuweisungsziel für einen Lambdaausdruck oder eine Methodenreferenz verwendet werden kann.

@FunctionalInterface public static interface CodeEditor.SaveCallback
  • Methodenübersicht

    Modifikator und Typ
    Methode
    Beschreibung
    void
    save(String source, it.unimi.dsi.fastutil.ints.Int2ObjectMap<String> errors)
     
  • Methodendetails

    • save

      void save(String source, it.unimi.dsi.fastutil.ints.Int2ObjectMap<String> errors)