Package de.firemage.autograder.core

Record Class CodePosition

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

  • Constructor Summary

    Constructors
    Constructor
    Description
    CodePosition(SourceInfo sourceInfo, SourcePath file, int startLine, int endLine, int startColumn, int endColumn)
    Creates an instance of a CodePosition record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    endColumn()
    Returns the value of the endColumn record component.
    int
    endLine()
    Returns the value of the endLine record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    SourcePath
    file()
    Returns the value of the file record component.
    static CodePosition
    fromSourcePosition(spoon.reflect.cu.SourcePosition sourcePosition, spoon.reflect.declaration.CtElement ctElement, SourceInfo sourceInfo)
     
    final int
    hashCode()
    Returns a hash code value for this object.
    String
    readString()
     
    SourceInfo
    sourceInfo()
    Returns the value of the sourceInfo record component.
    int
    startColumn()
    Returns the value of the startColumn record component.
    int
    startLine()
    Returns the value of the startLine record component.
    String
    toString()
    Returns a string representation of this record class.

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • CodePosition

      public CodePosition(SourceInfo sourceInfo, SourcePath file, int startLine, int endLine, int startColumn, int endColumn)
      Creates an instance of a CodePosition record class.
      Parameters:
      sourceInfo - the value for the sourceInfo record component
      file - the value for the file record component
      startLine - the value for the startLine record component
      endLine - the value for the endLine record component
      startColumn - the value for the startColumn record component
      endColumn - the value for the endColumn record component

  • Method Details

    • fromSourcePosition

      public static CodePosition fromSourcePosition(spoon.reflect.cu.SourcePosition sourcePosition, spoon.reflect.declaration.CtElement ctElement, SourceInfo sourceInfo)

    • readString

      public String readString()

    • toString

      public String toString()
      Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.
      Specified by:
      toString in class Record
      Returns:
      a string representation of this object

    • hashCode

      public final int hashCode()
      Returns a hash code value for this object. The value is derived from the hash code of each of the record components.
      Specified by:
      hashCode in class Record
      Returns:
      a hash code value for this object

    • equals

      public final boolean equals(Object o)
      Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      Specified by:
      equals in class Record
      Parameters:
      o - the object with which to compare
      Returns:
      true if this object is the same as the o argument; false otherwise.

    • sourceInfo

      public SourceInfo sourceInfo()
      Returns the value of the sourceInfo record component.
      Returns:
      the value of the sourceInfo record component

    • file

      public SourcePath file()
      Returns the value of the file record component.
      Returns:
      the value of the file record component

    • startLine

      public int startLine()
      Returns the value of the startLine record component.
      Returns:
      the value of the startLine record component

    • endLine

      public int endLine()
      Returns the value of the endLine record component.
      Returns:
      the value of the endLine record component

    • startColumn

      public int startColumn()
      Returns the value of the startColumn record component.
      Returns:
      the value of the startColumn record component

    • endColumn

      public int endColumn()
      Returns the value of the endColumn record component.
      Returns:
      the value of the endColumn record component