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 void
boolean
containsKey
(String keyString) boolean
containsValue
(String valueString) boolean
isEmpty()
keySet()
protected void
Load a .properties file.protected void
loadGhidraScriptProperties
(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 void
loadGhidraScriptProperties
(List<ResourceFile> possibleLocations, String newBaseName) Look for a .properties file corresponding to the basename in the given locations.protected String
protected String
Remove 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
-