JavaFX 25 · com.sun.javafx.stage.HeaderButtonMetrics

Modifier and Type	Field and Description
private final Dimension2D	leftInset Record Component accessed by leftInset(). the size of the left inset
private final double	minHeight Record Component accessed by minHeight(). the minimum height of the window buttons
private final Dimension2D	rightInset Record Component accessed by rightInset(). the size of the right inset

Access	Constructor and Description
public	HeaderButtonMetrics(Dimension2D leftInset, Dimension2D rightInset, double minHeight)

Method Summary

Modifier and Type	Method and Description
public final boolean	equals(Object o) Implements abstract java.lang.Record.equals. Indicates whether some other object is "equal to" this one.
public final int	hashCode() Implements abstract java.lang.Record.hashCode. Returns a hash code value for the record.
public Dimension2D	leftInset() Record Component getter of leftInset. Record Component the size of the left inset
public double	minHeight() Record Component getter of minHeight. Record Component the minimum height of the window buttons
public Dimension2D	rightInset() Record Component getter of rightInset. Record Component the size of the right inset
public final String	toString() Implements abstract java.lang.Record.toString. Returns a string representation of the record.

Field Detail

leftInset	back to summary
private final Dimension2D leftInset Record Component accessed by leftInset(). the size of the left inset

leftInset

back to summary

private final Dimension2D leftInset

Record Component accessed by leftInset().

the size of the left inset

minHeight	back to summary
private final double minHeight Record Component accessed by minHeight(). the minimum height of the window buttons

minHeight

back to summary

private final double minHeight

Record Component accessed by minHeight().

the minimum height of the window buttons

rightInset	back to summary
private final Dimension2D rightInset Record Component accessed by rightInset(). the size of the right inset

rightInset

back to summary

private final Dimension2D rightInset

Record Component accessed by rightInset().

the size of the right inset

Constructor Detail

HeaderButtonMetrics	back to summary
public HeaderButtonMetrics(Dimension2D leftInset, Dimension2D rightInset, double minHeight)

Method Detail

equals back to summary

equals	back to summary
public final boolean equals(Object o) Implements abstract java.lang.Record.equals. Doc from java.lang.Record.equals. Indicates whether some other object is "equal to" this one. In addition to the general contract of `Object.equals`, record classes must further obey the invariant that when a record instance is "copied" by passing the result of the record component accessor methods to the canonical constructor, as follows: R copy = new R(r.c1(), r.c2(), ..., r.cn()); then it must be the case that `r.equals(copy)`.

public final boolean equals(Object o)

Implements abstract java.lang.Record.equals.

Doc from java.lang.Record.equals.

Indicates whether some other object is "equal to" this one. In addition to the general contract of Object.equals, record classes must further obey the invariant that when a record instance is "copied" by passing the result of the record component accessor methods to the canonical constructor, as follows:

    R copy = new R(r.c1(), r.c2(), ..., r.cn());

then it must be the case that r.equals(copy).

hashCode back to summary

hashCode	back to summary
public final int hashCode() Implements abstract java.lang.Record.hashCode. Doc from java.lang.Record.hashCode. Returns a hash code value for the record. Obeys the general contract of `Object.hashCode`. For records, hashing behavior is constrained by the refined contract of `Record.equals`, so that any two records created from the same components must have the same hash code.

public final int hashCode()

Implements abstract java.lang.Record.hashCode.

Doc from java.lang.Record.hashCode.

Returns a hash code value for the record. Obeys the general contract of Object.hashCode. For records, hashing behavior is constrained by the refined contract of Record.equals, so that any two records created from the same components must have the same hash code.

leftInset	back to summary
public Dimension2D leftInset() Record Component getter of leftInset. Record Component the size of the left inset

leftInset

back to summary

public Dimension2D leftInset()

Record Component getter of leftInset.

Record Component: the size of the left inset

minHeight	back to summary
public double minHeight() Record Component getter of minHeight. Record Component the minimum height of the window buttons

minHeight

back to summary

public double minHeight()

Record Component getter of minHeight.

Record Component: the minimum height of the window buttons

rightInset	back to summary
public Dimension2D rightInset() Record Component getter of rightInset. Record Component the size of the right inset

rightInset

back to summary

public Dimension2D rightInset()

Record Component getter of rightInset.

Record Component: the size of the right inset

toString back to summary

toString	back to summary
public final String toString() Implements abstract java.lang.Record.toString. Doc from java.lang.Record.toString. Returns a string representation of the record. In accordance with the general contract of `Object#toString()`, the `toString` method returns a string that "textually represents" this record. The result should be a concise but informative representation that is easy for a person to read. In addition to this general contract, record classes must further participate in the invariant that any two records which are equal must produce equal strings. This invariant is necessarily relaxed in the rare case where corresponding equal component values might fail to produce equal strings for themselves.

public final String toString()

Implements abstract java.lang.Record.toString.

Doc from java.lang.Record.toString.

Returns a string representation of the record. In accordance with the general contract of Object#toString(), the toString method returns a string that "textually represents" this record. The result should be a concise but informative representation that is easy for a person to read.

In addition to this general contract, record classes must further participate in the invariant that any two records which are equal must produce equal strings. This invariant is necessarily relaxed in the rare case where corresponding equal component values might fail to produce equal strings for themselves.

public final Record HeaderButtonMetrics

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail