SaveState

Package: ghidra.framework.options
Type: class

10.4_PUBLIC

addedmethod: createElement
org.jdom.Element createElement(java.lang.String key, java.lang.Object value)
addedmethod: processElement
void processElement(org.jdom.Element element)
modifiedtype-extends: SaveState
- java.lang.Object
+ ghidra.framework.options.XmlProperties
modifiedmethod: saveToFile
removed throws FileNotFoundException
- void saveToFile(java.io.File file) throws FileNotFoundException, IOException
+ void saveToFile(java.io.File file) throws IOException
removedmethod: clear
void clear()
removedmethod: createElementFromElement
org.jdom.Element createElementFromElement(java.lang.String internalKey, org.jdom.Element internalElement)
removedfield: DATE_FORMAT
static java.text.DateFormat DATE_FORMAT
removedmethod: getBoolean
boolean getBoolean(java.lang.String name, boolean defaultValue)
removedmethod: getBooleans
boolean[] getBooleans(java.lang.String name, boolean[] defaultValue)
removedmethod: getByte
byte getByte(java.lang.String name, byte defaultValue)
removedmethod: getBytes
byte[] getBytes(java.lang.String name, byte[] defaultValue)
removedmethod: getColor
java.awt.Color getColor(java.lang.String name, java.awt.Color defaultValue)
removedmethod: getDate
java.util.Date getDate(java.lang.String name, java.util.Date defaultValue)
removedmethod: getDouble
double getDouble(java.lang.String name, double defaultValue)
removedmethod: getDoubles
double[] getDoubles(java.lang.String name, double[] defaultValue)
removedmethod: getEnum
T getEnum(java.lang.String name, T defaultValue)
removedmethod: getFile
java.io.File getFile(java.lang.String name, java.io.File defaultValue)
removedmethod: getFloat
float getFloat(java.lang.String name, float defaultValue)
removedmethod: getFloats
float[] getFloats(java.lang.String name, float[] defaultValue)
removedmethod: getFont
java.awt.Font getFont(java.lang.String name, java.awt.Font defaultValue)
removedmethod: getInt
int getInt(java.lang.String name, int defaultValue)
removedmethod: getInts
int[] getInts(java.lang.String name, int[] defaultValue)
removedmethod: getKeyStroke
javax.swing.KeyStroke getKeyStroke(java.lang.String name, javax.swing.KeyStroke defaultValue)
removedmethod: getLong
long getLong(java.lang.String name, long defaultValue)
removedmethod: getLongs
long[] getLongs(java.lang.String name, long[] defaultValue)
removedmethod: getNames
java.lang.String[] getNames()
removedmethod: getShort
short getShort(java.lang.String name, short defaultValue)
removedmethod: getShorts
short[] getShorts(java.lang.String name, short[] defaultValue)
removedmethod: getString
java.lang.String getString(java.lang.String name, java.lang.String defaultValue)
removedmethod: getStrings
java.lang.String[] getStrings(java.lang.String name, java.lang.String[] defaultValue)
removedmethod: getXmlElement
org.jdom.Element getXmlElement(java.lang.String name)
removedmethod: hasValue
boolean hasValue(java.lang.String name)
removedmethod: isEmpty
boolean isEmpty()
removedmethod: putBoolean
void putBoolean(java.lang.String name, boolean value)
removedmethod: putBooleans
void putBooleans(java.lang.String name, boolean[] value)
removedmethod: putByte
void putByte(java.lang.String name, byte value)
removedmethod: putBytes
void putBytes(java.lang.String name, byte[] value)
removedmethod: putColor
void putColor(java.lang.String name, java.awt.Color value)
removedmethod: putDate
void putDate(java.lang.String name, java.util.Date value)
removedmethod: putDouble
void putDouble(java.lang.String name, double value)
removedmethod: putDoubles
void putDoubles(java.lang.String name, double[] value)
removedmethod: putFile
void putFile(java.lang.String name, java.io.File value)
removedmethod: putFloat
void putFloat(java.lang.String name, float value)
removedmethod: putFloats
void putFloats(java.lang.String name, float[] value)
removedmethod: putFont
void putFont(java.lang.String name, java.awt.Font value)
removedmethod: putInt
void putInt(java.lang.String name, int value)
removedmethod: putInts
void putInts(java.lang.String name, int[] value)
removedmethod: putKeyStroke
void putKeyStroke(java.lang.String name, javax.swing.KeyStroke value)
removedmethod: putLong
void putLong(java.lang.String name, long value)
removedmethod: putLongs
void putLongs(java.lang.String name, long[] value)
removedmethod: putShort
void putShort(java.lang.String name, short value)
removedmethod: putShorts
void putShorts(java.lang.String name, short[] value)
removedmethod: putString
void putString(java.lang.String name, java.lang.String value)
removedmethod: putStrings
void putStrings(java.lang.String name, java.lang.String[] value)
removedmethod: putXmlElement
void putXmlElement(java.lang.String name, org.jdom.Element element)
removedmethod: readJsonFile
static ghidra.framework.options.SaveState readJsonFile(java.io.File file) throws IOException
removedmethod: remove
void remove(java.lang.String name)
removedmethod: saveToJson
com.google.gson.JsonObject saveToJson()
removedmethod: saveToJsonFile
void saveToJsonFile(java.io.File file) throws IOException
removedmethod: saveToXml
org.jdom.Element saveToXml()
removedmethod: size
int size()
removedmethod: toString
java.lang.String toString()

10.1_PUBLIC

addedmethod: toString
java.lang.String toString()

10.0_PUBLIC

addedfield: DATE_FORMAT
static java.text.DateFormat DATE_FORMAT
addedmethod: getColor
java.awt.Color getColor(java.lang.String name, java.awt.Color defaultValue)
addedmethod: getDate
java.util.Date getDate(java.lang.String name, java.util.Date defaultValue)
addedmethod: getFile
java.io.File getFile(java.lang.String name, java.io.File defaultValue)
addedmethod: getFont
java.awt.Font getFont(java.lang.String name, java.awt.Font defaultValue)
addedmethod: getKeyStroke
javax.swing.KeyStroke getKeyStroke(java.lang.String name, javax.swing.KeyStroke defaultValue)
addedmethod: getSaveState
ghidra.framework.options.SaveState getSaveState(java.lang.String name)
addedmethod: putColor
void putColor(java.lang.String name, java.awt.Color value)
addedmethod: putDate
void putDate(java.lang.String name, java.util.Date value)
addedmethod: putFile
void putFile(java.lang.String name, java.io.File value)
addedmethod: putFont
void putFont(java.lang.String name, java.awt.Font value)
addedmethod: putKeyStroke
void putKeyStroke(java.lang.String name, javax.swing.KeyStroke value)
addedmethod: putSaveState
void putSaveState(java.lang.String name, ghidra.framework.options.SaveState value)
addedmethod: readJsonFile
static ghidra.framework.options.SaveState readJsonFile(java.io.File file) throws IOException
addedmethod: saveToJson
com.google.gson.JsonObject saveToJson()
addedmethod: saveToJsonFile
void saveToJsonFile(java.io.File file) throws IOException

9.0.2_PUBLIC

addedmethod: createElementFromElement
org.jdom.Element createElementFromElement(java.lang.String internalKey, org.jdom.Element internalElement)

9.0.1_PUBLIC

introducedInitial version