public static Set<String> getParameterValues(IExtension ext, String key) { Set<String> values = new HashSet<String>(); for (IConfigurationElement config : ext.getConfigurationElements()) { if (key.equals(config.getName())) { String val = config.getAttribute(PLUGIN_XML_VALUE); if (val == null) continue; if (isProtegeProperty(val)) { String protegeVal = getProtegeProperty(val); if (protegeVal != null) { values.add(protegeVal); } } else { values.add(val); } } } return values; }
public static Set<String> getParameterValues(IExtension ext, String key) { Set<String> values = new HashSet<>(); for (IConfigurationElement config : ext.getConfigurationElements()) { if (key.equals(config.getName())) { String val = config.getAttribute(PLUGIN_XML_VALUE); if (val == null) continue; if (isProtegeProperty(val)) { String protegeVal = getProtegeProperty(val); if (protegeVal != null) { values.add(protegeVal); } } else { values.add(val); } } } return values; }
public static Set<String> getParameterValues(IExtension ext, String key) { Set<String> values = new HashSet<String>(); for (IConfigurationElement config : ext.getConfigurationElements()) { if (key.equals(config.getName())) { String val = config.getAttribute(PLUGIN_XML_VALUE); if (val == null) continue; if (isProtegeProperty(val)) { String protegeVal = getProtegeProperty(val); if (protegeVal != null) { values.add(protegeVal); } } else { values.add(val); } } } return values; }
public static String getParameterValue(IExtension ext, String key, String defaultValue) { String val = PluginUtilities.getAttribute(ext, key); if (val == null) { return defaultValue; } if (isProtegeProperty(val)) { return getProtegeProperty(val); } else { return val; } }
public static String getParameterValue(IExtension ext, String key, String defaultValue) { String val = PluginUtilities.getAttribute(ext, key); if (val == null) { return defaultValue; } if (isProtegeProperty(val)) { return getProtegeProperty(val); } else { return val; } }
public static String getParameterValue(IExtension ext, String key, String defaultValue) { String val = PluginUtilities.getAttribute(ext, key); if (val == null) { return defaultValue; } if (isProtegeProperty(val)) { return getProtegeProperty(val); } else { return val; } }