Datensatzklasse CompilationDiagnostic

java.lang.Object
java.lang.Record
de.firemage.autograder.core.compiler.CompilationDiagnostic

public record CompilationDiagnostic(String path, int line, int column, String message) extends Record
  • Konstruktordetails

    • CompilationDiagnostic

      protected CompilationDiagnostic(Diagnostic<? extends JavaFileObject> diagnostic, Path root)
    • CompilationDiagnostic

      public CompilationDiagnostic(String path, int line, int column, String message)
      Erstellt eine Instanz einer Datensatzklasse CompilationDiagnostic.
      Parameter:
      path - Wert für die Datensatzkomponente path
      line - Wert für die Datensatzkomponente line
      column - Wert für die Datensatzkomponente column
      message - Wert für die Datensatzkomponente message
  • Methodendetails

    • formatMultiple

      public static String formatMultiple(List<CompilationDiagnostic> diagnostics)
    • toString

      public String toString()
      Gibt eine Zeichenfolgendarstellung dieser Datensatzklasse zurück. Die Darstellung enthält den Namen der Klasse, gefolgt vom Namen und Wert jeder der Datensatzkomponenten.
      Angegeben von:
      toString in Klasse Record
      Gibt zurück:
      eine Zeichenfolgendarstellung dieses Objekts
    • hashCode

      public final int hashCode()
      Gibt einen Hashcodewert für diese Objekt zurück. Der Wert wird vom Hashcode jeder der Datensatzkomponenten abgeleitet.
      Angegeben von:
      hashCode in Klasse Record
      Gibt zurück:
      ein Hashcodewert für dieses Objekt
    • equals

      public final boolean equals(Object o)
      Gibt an, ob ein anderes Objekt diesem gleich ("equal to") ist. Die Objekte sind gleich, wenn das andere Objekt der gleichen Klasse angehört und alle Datensatzkomponenten gleich sind. Referenzkomponenten werden verglichen mit Objects::equals(Object,Object); primitive Komponenten werden verglichen mit "==".
      Angegeben von:
      equals in Klasse Record
      Parameter:
      o - das Objekt, mit dem verglichen wird
      Gibt zurück:
      true, wenn dieses Objekt gleich dem Argument o ist, andernfalls false.
    • path

      public String path()
      Gibt den Wert für die Datensatzkomponente path zurück.
      Gibt zurück:
      Wert der Datensatzkomponente path
    • line

      public int line()
      Gibt den Wert für die Datensatzkomponente line zurück.
      Gibt zurück:
      Wert der Datensatzkomponente line
    • column

      public int column()
      Gibt den Wert für die Datensatzkomponente column zurück.
      Gibt zurück:
      Wert der Datensatzkomponente column
    • message

      public String message()
      Gibt den Wert für die Datensatzkomponente message zurück.
      Gibt zurück:
      Wert der Datensatzkomponente message