Package de.firemage.autograder.core

Datensatzklasse CodePosition

java.lang.Object
java.lang.Record
de.firemage.autograder.core.CodePosition
public record CodePosition(Path file, int startLine, int endLine, int startColumn, int endColumn) extends Record

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    CodePosition(Path file, int startLine, int endLine, int startColumn, int endColumn)
    Erstellt eine Instanz einer Datensatzklasse CodePosition.

  • Methodenübersicht

    Modifizierer und Typ
    Methode
    Beschreibung
    int
    endColumn()
    Gibt den Wert für die Datensatzkomponente endColumn zurück.
    int
    endLine()
    Gibt den Wert für die Datensatzkomponente endLine zurück.
    final boolean
    equals(Object o)
    Gibt an, ob ein anderes Objekt diesem gleich ("equal to") ist.
    Path
    file()
    Gibt den Wert für die Datensatzkomponente file zurück.
    final int
    hashCode()
    Gibt einen Hashcodewert für diese Objekt zurück.
    int
    startColumn()
    Gibt den Wert für die Datensatzkomponente startColumn zurück.
    int
    startLine()
    Gibt den Wert für die Datensatzkomponente startLine zurück.
    final String
    toString()
    Gibt eine Zeichenfolgendarstellung dieser Datensatzklasse zurück.

    Von Klasse geerbte Methoden java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

  • Konstruktordetails

    • CodePosition

      public CodePosition(Path file, int startLine, int endLine, int startColumn, int endColumn)
      Erstellt eine Instanz einer Datensatzklasse CodePosition.
      Parameter:
      file - Wert für die Datensatzkomponente file
      startLine - Wert für die Datensatzkomponente startLine
      endLine - Wert für die Datensatzkomponente endLine
      startColumn - Wert für die Datensatzkomponente startColumn
      endColumn - Wert für die Datensatzkomponente endColumn

  • Methodendetails

    • toString

      public final 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.

    • file

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

    • startLine

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

    • endLine

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

    • startColumn

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

    • endColumn

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