Record Class flixw.Pin

Enclosing class:
flixw

static record flixw.Pin(String repo, String version, String java, boolean clearJava, boolean refresh) extends Record
What one `pin` command line asks for; `parsePin` is the only thing that builds it.
  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private final boolean
    The field for the clearJava record component.
    private final String
    The field for the java record component.
    private final boolean
    The field for the refresh record component.
    private final String
    The field for the repo record component.
    private final String
    The field for the version record component.
  • Constructor Summary

    Constructors
    Constructor
    Description
    Pin(String repo, String version, String java, boolean clearJava, boolean refresh)
    Creates an instance of a Pin record class.
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    Returns the value of the clearJava record component.
    final boolean
    Indicates whether some other object is "equal to" this one.
    final int
    Returns a hash code value for this object.
    Returns the value of the java record component.
    boolean
    Returns the value of the refresh record component.
    Returns the value of the repo record component.
    final String
    Returns a string representation of this record class.
    Returns the value of the version record component.

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait
  • Field Details

    • repo

      private final String repo
      The field for the repo record component.
    • version

      private final String version
      The field for the version record component.
    • java

      private final String java
      The field for the java record component.
    • clearJava

      private final boolean clearJava
      The field for the clearJava record component.
    • refresh

      private final boolean refresh
      The field for the refresh record component.
  • Constructor Details

    • Pin

      Pin(String repo, String version, String java, boolean clearJava, boolean refresh)
      Creates an instance of a Pin record class.
      Parameters:
      repo - the value for the repo record component
      version - the value for the version record component
      java - the value for the java record component
      clearJava - the value for the clearJava record component
      refresh - the value for the refresh record component
  • Method Details

    • 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. 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.
    • repo

      public String repo()
      Returns the value of the repo record component.
      Returns:
      the value of the repo record component
    • version

      public String version()
      Returns the value of the version record component.
      Returns:
      the value of the version record component
    • java

      public String java()
      Returns the value of the java record component.
      Returns:
      the value of the java record component
    • clearJava

      public boolean clearJava()
      Returns the value of the clearJava record component.
      Returns:
      the value of the clearJava record component
    • refresh

      public boolean refresh()
      Returns the value of the refresh record component.
      Returns:
      the value of the refresh record component