|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object jindent.Settings jindent.JindentSettings
public class JindentSettings
This class contains the Jindent settings. Settings control the formatter modules and can be configured through Jindent's customizer interface.
Field Summary |
---|
Fields inherited from interface jindent.settings.VersionInfo |
---|
UNKNOW_VERSION |
Constructor Summary | |
---|---|
JindentSettings()
Constructs empty JindentSettings. |
|
JindentSettings(HashMap settingsMap)
Constructs JindentSettings from a HashMap. |
Method Summary | |
---|---|
Object |
clone()
|
static Settings |
createFromFile(String filename)
Creates JindentSettings from xml file. |
static JindentSettings |
createFromFileAndCheckVersion(String filename)
|
static Settings |
createFromResource(String filename)
Creates JindentSettings from xml resource file. |
ExtensionManager |
getExtensionManager()
|
float |
getVersion()
Gets version of Jindent's setting format. |
void |
writeToFile(String filename)
Writes JindentSettings to an xml file. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public JindentSettings()
JindentSystem.getDefaultJindentSettings()
.
public JindentSettings(HashMap settingsMap)
settingsMap
- input HashMapMethod Detail |
---|
public float getVersion()
getVersion
in interface jindent.settings.VersionInfo
public void writeToFile(String filename) throws JindentException
writeToFile
in class Settings
filename
- filename of destination file
JindentException
- if anything went wrong while writingpublic static Settings createFromResource(String filename) throws JindentException, FileNotFoundException
filename
- filename of JindentSettings file
JindentException
- if anything went wrong while reading
FileNotFoundException
public static Settings createFromFile(String filename) throws JindentException, FileNotFoundException
filename
- filename of JindentSettings file
JindentException
- if anything went wrong while reading
FileNotFoundException
public static JindentSettings createFromFileAndCheckVersion(String filename) throws JindentException, FileNotFoundException, SettingsVersionException
JindentException
FileNotFoundException
SettingsVersionException
public Object clone()
clone
in class Settings
public ExtensionManager getExtensionManager()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |