Modifier and Type	Class and Description
public static record	JumpToEntryPdfAction.EntryLink

Modifier and Type	Field and Description
private final DialogService	dialogService
private static final Logger	LOGGER
private static final Pattern	PAGE_FRAGMENT
public static final String	SCHEME
private final StateManager	stateManager
private final String	url

Access	Constructor and Description
public	JumpToEntryPdfAction(String url, StateManager stateManager, DialogService dialogService)

Modifier and Type	Method and Description
public void	execute()
private static boolean	isPDF(LinkedFile file)
private void	openInDocumentViewer(LinkedFile pdfFile, int page)
private static Optional<Integer>	parsePositiveInt(String value)
public static Optional<JumpToEntryPdfAction.EntryLink>	parseUrl(@Nullable String rawUrl) Returns: empty if the url is not an entry link (callers then fall back to opening it in the browser)

dialogService	back to summary
private final DialogService dialogService

LOGGER	back to summary
private static final Logger LOGGER

PAGE_FRAGMENT	back to summary
private static final Pattern PAGE_FRAGMENT

SCHEME	back to summary
public static final String SCHEME

stateManager	back to summary
private final StateManager stateManager

url	back to summary
private final String url

JumpToEntryPdfAction	back to summary
public JumpToEntryPdfAction(String url, StateManager stateManager, DialogService dialogService)

execute	back to summary
public void execute() Annotations @Override

isPDF	back to summary
private static boolean isPDF(LinkedFile file)

openInDocumentViewer	back to summary
private void openInDocumentViewer(LinkedFile pdfFile, int page)

parsePositiveInt	back to summary
private static Optional<Integer> parsePositiveInt(String value)

parseUrl	back to summary
public static Optional<JumpToEntryPdfAction.EntryLink> parseUrl(@Nullable String rawUrl) Returns:Optional<JumpToEntryPdfAction.EntryLink> empty if the url is not an entry link (callers then fall back to opening it in the browser)

org.jabref.gui.documentviewer back to summary

public final Record JumpToEntryPdfAction.EntryLink

Class Inheritance

extends Record

java.lang.Object
java.lang.Record
org.jabref.gui.documentviewer.JumpToEntryPdfAction.EntryLink

Record Components

libraryId:Optional<String>: empty for links relative to the active library
citationKey:String
fileIndex:Optional<Integer>: 1-based index into the entry's linked files, empty for "first PDF"
page:Optional<Integer>: 1-based page number

Field Summary

Modifier and Type	Field and Description
private final String	citationKey Record Component accessed by citationKey().
private final Optional<Integer>	fileIndex Record Component accessed by fileIndex(). 1-based index into the entry's linked files, empty for "first PDF"
private final Optional<String>	libraryId Record Component accessed by libraryId(). empty for links relative to the active library
private final Optional<Integer>	page Record Component accessed by page(). 1-based page number

Constructor Summary

Access	Constructor and Description
public	EntryLink(Optional<String> libraryId, String citationKey, Optional<Integer> fileIndex, Optional<Integer> page)

Method Summary

Modifier and Type	Method and Description
public String	citationKey() Record Component getter of citationKey.
public final boolean	equals(Object o) Implements abstract java.lang.Record.equals. Indicates whether some other object is "equal to" this one.
public Optional<Integer>	fileIndex() Record Component getter of fileIndex. Record Component 1-based index into the entry's linked files, empty for "first PDF"
public final int	hashCode() Implements abstract java.lang.Record.hashCode. Returns a hash code value for the record.
public Optional<String>	libraryId() Record Component getter of libraryId. Record Component empty for links relative to the active library
public Optional<Integer>	page() Record Component getter of page. Record Component 1-based page number
public final String	toString() Implements abstract java.lang.Record.toString. Returns a string representation of the record.

Field Detail

citationKey	back to summary
private final String citationKey Record Component accessed by citationKey().

fileIndex	back to summary
private final Optional<Integer> fileIndex Record Component accessed by fileIndex(). 1-based index into the entry's linked files, empty for "first PDF"

fileIndex

back to summary

private final Optional<Integer> fileIndex

Record Component accessed by fileIndex().

1-based index into the entry's linked files, empty for "first PDF"

libraryId	back to summary
private final Optional<String> libraryId Record Component accessed by libraryId(). empty for links relative to the active library

libraryId

back to summary

private final Optional<String> libraryId

Record Component accessed by libraryId().

empty for links relative to the active library

page	back to summary
private final Optional<Integer> page Record Component accessed by page(). 1-based page number

page

back to summary

private final Optional<Integer> page

Record Component accessed by page().

1-based page number

Constructor Detail

EntryLink	back to summary
public EntryLink(Optional<String> libraryId, String citationKey, Optional<Integer> fileIndex, Optional<Integer> page)

Method Detail

citationKey	back to summary
public String citationKey() Record Component getter of citationKey.

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).

fileIndex	back to summary
public Optional<Integer> fileIndex() Record Component getter of fileIndex. Record Component 1-based index into the entry's linked files, empty for "first PDF"

fileIndex

back to summary

public Optional<Integer> fileIndex()

Record Component getter of fileIndex.

Record Component: 1-based index into the entry's linked files, empty for "first PDF"

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.

libraryId	back to summary
public Optional<String> libraryId() Record Component getter of libraryId. Record Component empty for links relative to the active library

libraryId

back to summary

public Optional<String> libraryId()

Record Component getter of libraryId.

Record Component: empty for links relative to the active library

page	back to summary
public Optional<Integer> page() Record Component getter of page. Record Component 1-based page number

page

back to summary

public Optional<Integer> page()

Record Component getter of page.

Record Component: 1-based page number

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 Class JumpToEntryPdfAction

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public final Record JumpToEntryPdfAction.EntryLink

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail