Package ghidra.app.script
Class GhidraScriptProperties
java.lang.Object
ghidra.app.script.GhidraScriptProperties
Handles processing for .properties files associated with a GhidraScript (.properties file and
script should share the same basename).
This should only be called/used by the GhidraScript class.
-
Method Summary
Modifier and TypeMethodDescriptionprotected voidbooleancontainsKey(String keyString) booleancontainsValue(String valueString) booleanisEmpty()keySet()protected voidLoad a .properties file.protected voidloadGhidraScriptProperties(ResourceFile scriptLocation, String newBaseName) Load a .properties file given a directory (ResourceFile) and the basename (i.e., name of the GhidraScript without the extension).protected voidloadGhidraScriptProperties(List<ResourceFile> possibleLocations, String newBaseName) Look for a .properties file corresponding to the basename in the given locations.protected Stringprotected StringRemove the named propertyprotected Collection<String> values()
-
Method Details
-
loadGhidraScriptProperties
protected void loadGhidraScriptProperties(ResourceFile scriptLocation, String newBaseName) throws IOException Load a .properties file given a directory (ResourceFile) and the basename (i.e., name of the GhidraScript without the extension).- Parameters:
scriptLocation- location of the GhidraScriptnewBaseName- name of the GhidraScript (without the extension)- Throws:
IOException- if there is an exception loading the properties file
-
getFilename
- Returns:
- the properties file name
-
loadGhidraScriptProperties
protected void loadGhidraScriptProperties(List<ResourceFile> possibleLocations, String newBaseName) throws IOException Look for a .properties file corresponding to the basename in the given locations.- Parameters:
possibleLocations- possible locations where the .properties file can be foundnewBaseName- name of the GhidraScript (without the extension)- Throws:
IOException- if there is an exception loading the properties file
-
loadGhidraScriptProperties
Load a .properties file.- Parameters:
file- the .properties file- Throws:
IOException- if there is an exception loading the properties file
-
put
-
getValue
- Parameters:
keyString- the property name- Returns:
- the value of the key in the properties file, or an empty string if no property exists
-
isEmpty
public boolean isEmpty()- Returns:
- true if there are no properties
-
remove
Remove the named property- Parameters:
keyString- the property name- Returns:
- the previous value or null
-
clearProperties
protected void clearProperties() -
containsKey
- Parameters:
keyString- a property name- Returns:
- true if the key exists in the property file
-
containsValue
- Parameters:
valueString- a value string- Returns:
- true if any property has the given value
-
keySet
- Returns:
- the property names for all properties
-
values
-