Package ghidra.framework.options
Class Option
java.lang.Object
ghidra.framework.options.Option
- Direct Known Subclasses:
ThemeColorOption,ThemeFontOption
-
Field Summary
Fields -
Constructor Summary
ConstructorsModifierConstructorDescriptionprotectedOption(String name, OptionType optionType, String description, HelpLocation helpLocation, Object defaultValue, boolean isRegistered, PropertyEditor editor) -
Method Summary
Modifier and TypeMethodDescriptionabstract voiddoSetCurrentValue(Object value) abstract ObjectgetName()booleanReturns true if the last registered date for this option is older than 1 year ago.booleanbooleanvoidvoidsetCurrentValue(Object value) voidtoString()boolean
-
Field Details
-
UNREGISTERED_OPTION
- See Also:
-
-
Constructor Details
-
Option
protected Option(String name, OptionType optionType, String description, HelpLocation helpLocation, Object defaultValue, boolean isRegistered, PropertyEditor editor)
-
-
Method Details
-
getCurrentValue
-
doSetCurrentValue
-
setCurrentValue
-
getName
-
getPropertyEditor
-
getHelpLocation
-
getDescription
-
getValue
-
wasRegisteredInPreviousSession
public boolean wasRegisteredInPreviousSession() -
isRegistered
public boolean isRegistered() -
setLastRegisteredDate
-
getLastRegisteredDate
-
hasExpired
public boolean hasExpired()Returns true if the last registered date for this option is older than 1 year ago. That means that the option has not been registered and is likely no longer valid. This may not be true, if the given option still exists, but is only active on-demand by the user. If the option has expired, it will be removed. If it is still an existing on-demand option, it can again be saved when the user loads the owning provider and changes the option. In this case, it will remain in the tool for at least another year.- Returns:
- true if expired
-
restoreDefault
public void restoreDefault() -
isDefault
public boolean isDefault() -
toString
-
getDefaultValue
-
getInceptionInformation
-
getOptionType
-