Record Class flixw.Pin

java.lang.Object

java.lang.Record

flixw.Pin

Enclosing class:

flixw

static record flixw.Pin(String repo, String version, String java, boolean clearJava, boolean refresh, String editorJar, String localJar, boolean stock, boolean fetch)
extends Record

Parsed pin request; local selection never replaces the committed release fallback.

Field Summary

Fields

Modifier and Type	Field	Description
private final boolean	clearJava	The field for the clearJava record component.
private final String	editorJar	The field for the editorJar record component.
private final boolean	fetch	The field for the fetch record component.
private final String	java	The field for the java record component.
private final String	localJar	The field for the localJar record component.
private final boolean	refresh	The field for the refresh record component.
private final String	repo	The field for the repo record component.
private final boolean	stock	The field for the stock record component.
private final String	version	The field for the version record component.

Constructor Summary

Constructors

Constructor	Description
Pin(String repo, String version, String java, boolean clearJava, boolean refresh, String editorJar, String localJar, boolean stock, boolean fetch)	Creates an instance of a Pin record class.

Method Summary

Modifier and Type	Method	Description
boolean	clearJava()	Returns the value of the clearJava record component.
String	editorJar()	Returns the value of the editorJar record component.
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
boolean	fetch()	Returns the value of the fetch record component.
final int	hashCode()	Returns a hash code value for this object.
String	java()	Returns the value of the java record component.
String	localJar()	Returns the value of the localJar record component.
boolean	refresh()	Returns the value of the refresh record component.
String	repo()	Returns the value of the repo record component.
boolean	stock()	Returns the value of the stock record component.
final String	toString()	Returns a string representation of this record class.
String	version()	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.

editorJar

private final String editorJar

The field for the editorJar record component.

localJar

private final String localJar

The field for the localJar record component.

stock

private final boolean stock

The field for the stock record component.

fetch

private final boolean fetch

The field for the fetch record component.

Constructor Details

Pin

Pin(String repo,
 String version,
 String java,
 boolean clearJava,
 boolean refresh,
 String editorJar,
 String localJar,
 boolean stock,
 boolean fetch)

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

editorJar - the value for the editorJar record component

localJar - the value for the localJar record component

stock - the value for the stock record component

fetch - the value for the fetch 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

editorJar

public String editorJar()

Returns the value of the editorJar record component.

Returns:

the value of the editorJar record component

localJar

public String localJar()

Returns the value of the localJar record component.

Returns:

the value of the localJar record component

stock

public boolean stock()

Returns the value of the stock record component.

Returns:

the value of the stock record component

fetch

public boolean fetch()

Returns the value of the fetch record component.

Returns:

the value of the fetch record component