public interface ProjectSettings
Modifier and Type | Method and Description |
---|---|
void |
addProjectSettingsListener(@NotNull ProjectSettingsListener listener)
Adds a
ProjectSettingsListener to be notified of changes. |
@NotNull java.io.File |
getArchDirectory()
Returns the archetype directory.
|
@NotNull java.io.File |
getCollectedDirectory()
Returns the directory where collected archetypes are stored.
|
@NotNull java.lang.String |
getConfigSourceName()
Returns the name of the configuration source.
|
@NotNull java.io.File |
getConfigurationDirectory()
Returns the configuration directory which is used to load configuration
information like types.xml.
|
@NotNull java.lang.String |
getImageSet()
Returns the image set.
|
@NotNull java.io.File |
getMapsDirectory()
Returns the default maps directory.
|
@NotNull java.io.File |
getMediaDirectory()
Returns the media directory.
|
@NotNull java.io.File |
getPickmapDir()
Returns the pickmap directory.
|
@NotNull java.lang.String |
getUserName()
Returns the user name.
|
void |
removeProjectSettingsListener(@NotNull ProjectSettingsListener listener)
Removes a
ProjectSettingsListener to be notified of changes. |
boolean |
saveIndices()
Returns whether indices should be saved to disk.
|
void |
setArchDirectory(@NotNull java.io.File archDirectory)
Sets the archetype directory.
|
void |
setConfigSourceName(@NotNull java.lang.String configSourceName)
Sets the name of the configuration source.
|
void |
setImageSet(@NotNull java.lang.String imageSet)
Sets the image set.
|
void |
setMapsDirectory(@NotNull java.io.File mapsDirectory)
Sets the default maps directory.
|
void |
setMediaDirectory(@NotNull java.io.File mediaDirectory)
Sets the media directory.
|
void |
setUserName(@NotNull java.lang.String userName)
Sets the user name.
|
void addProjectSettingsListener(@NotNull @NotNull ProjectSettingsListener listener)
ProjectSettingsListener
to be notified of changes.listener
- the listenervoid removeProjectSettingsListener(@NotNull @NotNull ProjectSettingsListener listener)
ProjectSettingsListener
to be notified of changes.listener
- the listener@NotNull @NotNull java.io.File getArchDirectory()
void setArchDirectory(@NotNull @NotNull java.io.File archDirectory)
archDirectory
- the archetype directory@NotNull @NotNull java.io.File getMapsDirectory()
void setMapsDirectory(@NotNull @NotNull java.io.File mapsDirectory)
mapsDirectory
- the default maps directory@NotNull @NotNull java.lang.String getConfigSourceName()
void setConfigSourceName(@NotNull @NotNull java.lang.String configSourceName)
configSourceName
- the name@NotNull @NotNull java.io.File getPickmapDir()
@NotNull @NotNull java.io.File getMediaDirectory()
void setMediaDirectory(@NotNull @NotNull java.io.File mediaDirectory)
mediaDirectory
- the media directory@NotNull @NotNull java.lang.String getImageSet()
void setImageSet(@NotNull @NotNull java.lang.String imageSet)
imageSet
- the image set@NotNull @NotNull java.io.File getConfigurationDirectory()
@NotNull @NotNull java.io.File getCollectedDirectory()
@NotNull @NotNull java.lang.String getUserName()
void setUserName(@NotNull @NotNull java.lang.String userName)
userName
- the user nameboolean saveIndices()