Searched refs:mPropertiesFileName (Results 1 – 1 of 1) sorted by relevance
46 private Optional<String> mPropertiesFileName = Optional.empty(); field in GhidraScriptRunner83 mPropertiesFileName = Optional.ofNullable(propertiesFileName); in GhidraScriptRunner()167 if (!mPropertiesFileContentsMap.isEmpty() && mPropertiesFileName.isPresent()) { in runWithTimeout()170 mPropertiesFileName.get(), in runWithTimeout()