|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjindent.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 HashMap| Method Detail |
|---|
public float getVersion()
getVersion in interface jindent.settings.VersionInfo
public void writeToFile(String filename)
throws JindentException
writeToFile in class Settingsfilename - filename of destination file
JindentException - if anything went wrong while writing
public 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
SettingsVersionExceptionpublic Object clone()
clone in class Settingspublic ExtensionManager getExtensionManager()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||