JabRef 6.0-beta.1 · org.jabref.gui.walkthrough.declarative.effect.WindowEffect

Modifier and Type	Field and Description
private final @NonNull HighlightEffect	effect Record Component accessed by effect().
private final @NonNull Optional<NodeResolver>	targetNodeResolver Record Component accessed by targetNodeResolver().
private final @NonNull Optional<WindowResolver>	windowResolver Record Component accessed by windowResolver().

Modifier and Type

Field and Description

private final @NonNull HighlightEffect

effect

Record Component accessed by effect().

private final @NonNull Optional<NodeResolver>

targetNodeResolver

Record Component accessed by targetNodeResolver().

private final @NonNull Optional<WindowResolver>

windowResolver

Record Component accessed by windowResolver().

Access	Constructor and Description
public	WindowEffect(HighlightEffect effect)
public	WindowEffect(WindowResolver windowResolver, HighlightEffect effect)
public	WindowEffect(WindowResolver windowResolver, HighlightEffect effect, NodeResolver targetNodeResolver)
public	WindowEffect(@NonNull Optional<WindowResolver> windowResolver, @NonNull HighlightEffect effect, @NonNull Optional<NodeResolver> targetNodeResolver)

Access

Constructor and Description

public

WindowEffect(HighlightEffect effect)

public

WindowEffect(WindowResolver windowResolver, HighlightEffect effect)

public

WindowEffect(WindowResolver windowResolver, HighlightEffect effect, NodeResolver targetNodeResolver)

public

WindowEffect(@NonNull Optional<WindowResolver> windowResolver, @NonNull HighlightEffect effect, @NonNull Optional<NodeResolver> targetNodeResolver)

Method Summary

Modifier and Type	Method and Description
public @NonNull HighlightEffect	effect() Record Component getter of effect.
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 @NonNull Optional<NodeResolver>	targetNodeResolver() Record Component getter of targetNodeResolver.
public final String	toString() Implements abstract java.lang.Record.toString. Returns a string representation of the record.
public @NonNull Optional<WindowResolver>	windowResolver() Record Component getter of windowResolver.

effect	back to summary
private final @NonNull HighlightEffect effect Record Component accessed by effect().

effect

back to summary

private final @NonNull HighlightEffect effect

Record Component accessed by effect().

targetNodeResolver	back to summary
private final @NonNull Optional<NodeResolver> targetNodeResolver Record Component accessed by targetNodeResolver().

targetNodeResolver

back to summary

private final @NonNull Optional<NodeResolver> targetNodeResolver

Record Component accessed by targetNodeResolver().

windowResolver	back to summary
private final @NonNull Optional<WindowResolver> windowResolver Record Component accessed by windowResolver().

windowResolver

back to summary

private final @NonNull Optional<WindowResolver> windowResolver

Record Component accessed by windowResolver().

WindowEffect	back to summary
public WindowEffect(HighlightEffect effect)

WindowEffect

back to summary

public WindowEffect(HighlightEffect effect)

WindowEffect	back to summary
public WindowEffect(WindowResolver windowResolver, HighlightEffect effect)

WindowEffect

back to summary

public WindowEffect(WindowResolver windowResolver, HighlightEffect effect)

WindowEffect	back to summary
public WindowEffect(WindowResolver windowResolver, HighlightEffect effect, NodeResolver targetNodeResolver)

WindowEffect

back to summary

public WindowEffect(WindowResolver windowResolver, HighlightEffect effect, NodeResolver targetNodeResolver)

WindowEffect	back to summary
public WindowEffect(@NonNull Optional<WindowResolver> windowResolver, @NonNull HighlightEffect effect, @NonNull Optional<NodeResolver> targetNodeResolver)

WindowEffect

back to summary

public WindowEffect(@NonNull Optional<WindowResolver> windowResolver, @NonNull HighlightEffect effect, @NonNull Optional<NodeResolver> targetNodeResolver)

Method Detail

effect	back to summary
public @NonNull HighlightEffect effect() Record Component getter of effect.

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.

targetNodeResolver	back to summary
public @NonNull Optional<NodeResolver> targetNodeResolver() Record Component getter of targetNodeResolver.

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.

windowResolver	back to summary
public @NonNull Optional<WindowResolver> windowResolver() Record Component getter of windowResolver.

public final Record WindowEffect

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail