public class UserConfiguration
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
MMCIF_FORMAT |
static java.lang.String |
PDB_DIR |
static java.lang.String |
PDB_FORMAT |
static java.lang.String |
TMP_DIR |
Constructor and Description |
---|
UserConfiguration()
Default UserConfiguration:
split directory
autofetch files
default download location.
|
Modifier and Type | Method and Description |
---|---|
static UserConfiguration |
fromStartupParams(StartupParameters params) |
boolean |
getAutoFetch() |
java.lang.String |
getCacheFilePath() |
java.lang.String |
getFileFormat() |
java.lang.String |
getPdbFilePath() |
boolean |
isSplit() |
void |
setAutoFetch(boolean autoFetch) |
void |
setCacheFilePath(java.lang.String cacheFilePath) |
void |
setFileFormat(java.lang.String fileFormat) |
void |
setPdbFilePath(java.lang.String pdbFilePath) |
void |
setSplit(boolean isSplit) |
XMLWriter |
toXML(java.io.PrintWriter pw)
convert Configuration to an XML file so it can be serialized
|
XMLWriter |
toXML(XMLWriter xw)
convert Configuration to an XML file so it can be serialized
add to an already existing xml file.
|
public static final java.lang.String PDB_FORMAT
public static final java.lang.String MMCIF_FORMAT
public static final java.lang.String TMP_DIR
public static final java.lang.String PDB_DIR
public UserConfiguration()
public java.lang.String getPdbFilePath()
public void setPdbFilePath(java.lang.String pdbFilePath)
public java.lang.String getCacheFilePath()
public void setCacheFilePath(java.lang.String cacheFilePath)
public boolean isSplit()
public void setSplit(boolean isSplit)
public boolean getAutoFetch()
public void setAutoFetch(boolean autoFetch)
public XMLWriter toXML(java.io.PrintWriter pw) throws java.io.IOException
pw
- java.io.IOException
public XMLWriter toXML(XMLWriter xw) throws java.io.IOException
xw
- the XML writer to usejava.io.IOException
public static UserConfiguration fromStartupParams(StartupParameters params)
public void setFileFormat(java.lang.String fileFormat)
public java.lang.String getFileFormat()