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 FileOptionscopy()protected OptioncreateRegisteredOption(java.lang.String optionName, OptionType type, java.lang.String description, HelpLocation help, java.lang.Object defaultValue, java.beans.PropertyEditor editor)protected OptioncreateUnregisteredOption(java.lang.String optionName, OptionType type, java.lang.Object defaultValue)java.io.FilegetFile()protected booleannotifyOptionChanged(java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue)CustomOptionreadCustomOption(SaveState saveState)voidsave(java.io.File saveFile)java.lang.StringtoString()-
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:
createRegisteredOptionin classAbstractOptions
-
createUnregisteredOption
protected Option createUnregisteredOption(java.lang.String optionName, OptionType type, java.lang.Object defaultValue)
- Specified by:
createUnregisteredOptionin classAbstractOptions
-
notifyOptionChanged
protected boolean notifyOptionChanged(java.lang.String optionName, java.lang.Object oldValue, java.lang.Object newValue)- Specified by:
notifyOptionChangedin classAbstractOptions
-
toString
public java.lang.String toString()
- Overrides:
toStringin classAbstractOptions
-
copy
public FileOptions copy()
-
-