Class DefaultPlatform
java.lang.Object
org.eclipse.rdf4j.common.platform.AbstractPlatform
org.eclipse.rdf4j.common.platform.DefaultPlatform
-
Field Summary
Fields inherited from class org.eclipse.rdf4j.common.platform.AbstractPlatform
colonReplacement, logger, separatorReplacement, whitespaceReplacement
Fields inherited from interface org.eclipse.rdf4j.common.platform.Platform
APPDATA_BASEDIR_PROPERTY, OLD_DATADIR_PROPERTY
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Check if case is preservedboolean
Check if colon is replacedboolean
Check if whitespace is replacedgetName()
Get a descriptive name for this platform.Returns the operating system dependent application data directory.Methods inherited from class org.eclipse.rdf4j.common.platform.AbstractPlatform
getApplicationDataDir, getApplicationDataDir, getOSApplicationDataDir, getRelativeApplicationDataDir, getRelativeApplicationDataDir, getUserHome
-
Constructor Details
-
DefaultPlatform
public DefaultPlatform()
-
-
Method Details
-
getName
-
getOSApplicationDataDir
-
dataDirPreserveCase
public boolean dataDirPreserveCase()Description copied from interface:Platform
Check if case is preserved- Returns:
- boolean
-
dataDirReplaceWhitespace
public boolean dataDirReplaceWhitespace()Description copied from interface:Platform
Check if whitespace is replaced- Returns:
- boolean
-
dataDirReplaceColon
public boolean dataDirReplaceColon()Description copied from interface:Platform
Check if colon is replaced- Returns:
- boolean
-