Record Class ErrorPosition

java.lang.Object
java.lang.Record
liquidjava.diagnostics.ErrorPosition
public record ErrorPosition(int lineStart, int colStart, int lineEnd, int colEnd) extends Record

  • Constructor Summary

    Constructors
    Constructor
    Description
    ErrorPosition(int lineStart, int colStart, int lineEnd, int colEnd)
    Creates an instance of a ErrorPosition record class.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    colEnd()
    Returns the value of the colEnd record component.
    int
    colStart()
    Returns the value of the colStart record component.
    final boolean
    equals(Object o)
    Indicates whether some other object is "equal to" this one.
    static ErrorPosition
    fromSpoonPosition(spoon.reflect.cu.SourcePosition pos)
     
    final int
    hashCode()
    Returns a hash code value for this object.
    int
    lineEnd()
    Returns the value of the lineEnd record component.
    int
    lineStart()
    Returns the value of the lineStart record component.
    final 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

    • ErrorPosition

      public ErrorPosition(int lineStart, int colStart, int lineEnd, int colEnd)
      Creates an instance of a ErrorPosition record class.
      Parameters:
      lineStart - the value for the lineStart record component
      colStart - the value for the colStart record component
      lineEnd - the value for the lineEnd record component
      colEnd - the value for the colEnd record component

  • Method Details

    • fromSpoonPosition

      public static ErrorPosition fromSpoonPosition(spoon.reflect.cu.SourcePosition pos)

    • toString

      public final 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. All components in this record class are compared with the compare method from their corresponding wrapper classes.
      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.

    • lineStart

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

    • colStart

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

    • lineEnd

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

    • colEnd

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