Package ghidra.framework.options
Class FileOptions
- java.lang.Object
-
- ghidra.framework.options.AbstractOptions
-
- ghidra.framework.options.FileOptions
-
- All Implemented Interfaces:
Options
public class FileOptions extends AbstractOptions
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class ghidra.framework.options.AbstractOptions
AbstractOptions.AliasBinding
-
-
Field Summary
-
Fields inherited from class ghidra.framework.options.AbstractOptions
aliasMap, categoryHelpMap, listeners, name, optionsEditorMap, SUPPORTED_CLASSES, valueMap
-
Fields inherited from interface ghidra.framework.options.Options
DELIMITER, DELIMITER_STRING, ILLEGAL_DELIMITER
-
-
Constructor Summary
Constructors Constructor Description FileOptions(java.io.File file)
FileOptions(java.lang.String name)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description FileOptions
copy()
protected Option
createRegisteredOption(java.lang.String optionName, OptionType type, java.lang.String description, HelpLocation help, java.lang.Object defaultValue, java.beans.PropertyEditor editor)
protected Option
createUnregisteredOption(java.lang.String optionName, OptionType type, java.lang.Object defaultValue)
java.io.File
getFile()
protected boolean
notifyOptionChanged(java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue)
CustomOption
readCustomOption(SaveState saveState)
void
save(java.io.File saveFile)
java.lang.String
toString()
-
Methods inherited from class ghidra.framework.options.AbstractOptions
contains, createAlias, dispose, findPropertyEditor, getBoolean, getByteArray, getCategoryHelpLocation, getChildOptions, getColor, getCustomOption, getDate, getDefaultValue, getDefaultValueAsString, getDescription, getDouble, getEnum, getFile, getFloat, getFont, getHelpLocation, getID, getInt, getKeyStroke, getLeafOptionNames, getLong, getName, getObject, getOption, getOptionNames, getOptions, getOptionsEditor, getOptionsEditor, getOptionsHelpLocation, getPropertyEditor, getRegisteredPropertyEditor, getString, getType, getValueAsString, isAlias, isDefaultValue, isRegistered, putObject, putObject, registerOption, registerOption, registerOption, registerOptionsEditor, registerOptionsEditor, removeOption, restoreDefaultValue, restoreDefaultValues, setBoolean, setByteArray, setCategoryHelpLocation, setColor, setCustomOption, setDate, setDouble, setEnum, setFile, setFloat, setFont, setInt, setKeyStroke, setLong, setName, setOptionsHelpLocation, setString
-
-
-
-
Method Detail
-
save
public void save(java.io.File saveFile) throws java.io.IOException
- Throws:
java.io.IOException
-
getFile
public java.io.File getFile()
-
readCustomOption
public CustomOption readCustomOption(SaveState saveState)
-
createRegisteredOption
protected Option createRegisteredOption(java.lang.String optionName, OptionType type, java.lang.String description, HelpLocation help, java.lang.Object defaultValue, java.beans.PropertyEditor editor)
- Specified by:
createRegisteredOption
in classAbstractOptions
-
createUnregisteredOption
protected Option createUnregisteredOption(java.lang.String optionName, OptionType type, java.lang.Object defaultValue)
- Specified by:
createUnregisteredOption
in classAbstractOptions
-
notifyOptionChanged
protected boolean notifyOptionChanged(java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue)
- Specified by:
notifyOptionChanged
in classAbstractOptions
-
toString
public java.lang.String toString()
- Overrides:
toString
in classAbstractOptions
-
copy
public FileOptions copy()
-
-