Verified Owner
Top Description Fields Constructors Methods
org.jabref.logic.remote

public Class RemotePreferences

extends Object
Class Inheritance
Imports
java.net.InetAddress, .URI, .URISyntaxException, .UnknownHostException, javafx.beans.property.BooleanProperty, .IntegerProperty, .SimpleBooleanProperty, .SimpleIntegerProperty, org.jspecify.annotations.NonNull, org.slf4j.Logger, .LoggerFactory

Place for handling the preferences for the remote communication

Field Summary

Modifier and TypeField and Description
private final BooleanProperty
private final BooleanProperty
private final BooleanProperty
private final BooleanProperty
private final IntegerProperty
private final IntegerProperty
private static final Logger
private final IntegerProperty

Constructor Summary

AccessConstructor and Description
public
RemotePreferences(boolean enableRemoteServer, int remoteServerPort, boolean enableHttpServer, int httpServerPort, boolean enableLanguageServer, int languageServerPort, boolean directHttpImport)

private

Method Summary

Modifier and TypeMethod and Description
public boolean
public BooleanProperty
public BooleanProperty
public BooleanProperty
public BooleanProperty
public static RemotePreferences
public int
public @NonNull URI
public static InetAddress
getIpAddress()

Gets the IP address where both the remote server and the http server are listening.

public int
public int
public IntegerProperty
public boolean
isDifferentHttpServerPort(int otherHttpPort)

public boolean
isDifferentLanguageServerPort(int otherLanguageServerPort)

public boolean
public IntegerProperty
public IntegerProperty
public void
setDirectHttpImport(boolean directHttpImport)

public void
setEnableHttpServer(boolean enableHttpServer)

public void
setEnableLanguageServer(boolean enableLanguageServer)

public void
setEnableRemoteServer(boolean enableRemoteServer)

public void
setHttpServerPort(int httpServerPort)

public void
setLanguageServerPort(int languageServerPort)

public void
setRemoteServerPort(int remoteServerPort)

public boolean
public boolean
public boolean
Inherited from java.lang.Object:
cloneequalsfinalizegetClasshashCodenotifynotifyAlltoStringwaitwaitwait

Field Detail

directHttpImportback to summary
private final BooleanProperty directHttpImport
enableHttpServerback to summary
private final BooleanProperty enableHttpServer
enableLanguageServerback to summary
private final BooleanProperty enableLanguageServer
enableRemoteServerback to summary
private final BooleanProperty enableRemoteServer
httpServerPortback to summary
private final IntegerProperty httpServerPort
languageServerPortback to summary
private final IntegerProperty languageServerPort
LOGGERback to summary
private static final Logger LOGGER
remoteServerPortback to summary
private final IntegerProperty remoteServerPort

Constructor Detail

RemotePreferencesback to summary
public RemotePreferences(boolean enableRemoteServer, int remoteServerPort, boolean enableHttpServer, int httpServerPort, boolean enableLanguageServer, int languageServerPort, boolean directHttpImport)
RemotePreferencesback to summary
private RemotePreferences()

Method Detail

directHttpImportback to summary
public boolean directHttpImport()
directHttpImportPropertyback to summary
public BooleanProperty directHttpImportProperty()
enableHttpServerPropertyback to summary
public BooleanProperty enableHttpServerProperty()
enableLanguageServerPropertyback to summary
public BooleanProperty enableLanguageServerProperty()
enableRemoteServerPropertyback to summary
public BooleanProperty enableRemoteServerProperty()
getDefaultback to summary
public static RemotePreferences getDefault()
getHttpServerPortback to summary
public int getHttpServerPort()
getHttpServerUriback to summary
public @NonNull URI getHttpServerUri()
getIpAddressback to summary
public static InetAddress getIpAddress() throws UnknownHostException

Gets the IP address where both the remote server and the http server are listening.

getLanguageServerPortback to summary
public int getLanguageServerPort()
getRemoteServerPortback to summary
public int getRemoteServerPort()
httpServerPortPropertyback to summary
public IntegerProperty httpServerPortProperty()
isDifferentHttpServerPortback to summary
public boolean isDifferentHttpServerPort(int otherHttpPort)
isDifferentLanguageServerPortback to summary
public boolean isDifferentLanguageServerPort(int otherLanguageServerPort)
isDifferentRemoteServerPortback to summary
public boolean isDifferentRemoteServerPort(int otherPort)
languageServerPortPropertyback to summary
public IntegerProperty languageServerPortProperty()
remoteServerPortPropertyback to summary
public IntegerProperty remoteServerPortProperty()
setDirectHttpImportback to summary
public void setDirectHttpImport(boolean directHttpImport)
setEnableHttpServerback to summary
public void setEnableHttpServer(boolean enableHttpServer)
setEnableLanguageServerback to summary
public void setEnableLanguageServer(boolean enableLanguageServer)
setEnableRemoteServerback to summary
public void setEnableRemoteServer(boolean enableRemoteServer)
setHttpServerPortback to summary
public void setHttpServerPort(int httpServerPort)
setLanguageServerPortback to summary
public void setLanguageServerPort(int languageServerPort)
setRemoteServerPortback to summary
public void setRemoteServerPort(int remoteServerPort)
shouldEnableHttpServerback to summary
public boolean shouldEnableHttpServer()
shouldEnableLanguageServerback to summary
public boolean shouldEnableLanguageServer()
shouldEnableRemoteServerback to summary
public boolean shouldEnableRemoteServer()