public String get(Object key) { if (!(key instanceof String)) { return null; } return prop.getProperty((String) key); }
public String getProperty(String name, String defaultValue) { String value = getProperty(name); if (value == null) { value = defaultValue; } return value; }
public String getProperty(String name) { return getProperty(name, true); }
public String put(String key, String value) { String old = prop.getProperty(key); prop.setProperty(key, value); return old; }
public String remove(Object key) { if (!(key instanceof String)) { return null; } String old = prop.getProperty((String) key); prop.removeProperty((String) key); return old; }
public Collection<String> values() { Set<String> set = new HashSet<String>(); for (@SuppressWarnings("unchecked")//$NON-NLS-1$ Enumeration enm = prop.propertyNames(); enm.hasMoreElements();) { set.add(prop.getProperty((String) enm.nextElement())); } return set; } }
public boolean containsValue(Object value) { if (value == null) { return false; } for (@SuppressWarnings("unchecked")//$NON-NLS-1$ Enumeration enm = prop.propertyNames(); enm.hasMoreElements();) { String name = (String) enm.nextElement(); if (value.equals(prop.getProperty(name))) { return true; } } return false; }
@SuppressWarnings("unchecked")//$NON-NLS-1$ public Set entrySet() { Set<Map.Entry<String, String>> set = new HashSet<Map.Entry<String, String>>(); for (Enumeration enm = prop.propertyNames(); enm.hasMoreElements();) { String name = (String) enm.nextElement(); set.add(new EntryImpl<String, String>(name, prop.getProperty(name))); } return set; }
String value = prop.getProperty(Page.FIELD_NODE); if (value != null) { page.setNode(PropertyUtils.valueOf(value, false)); .getProperty(Page.FIELD_LORD)); if (lord != null) { boolean pageIsLord = lord.equals(page); value = prop.getProperty(Page.FIELD_ORDERNUMBER); if (value != null) { page.setOrderNumber(PropertyUtils.valueOf(value, 0)); String createDate = prop.getProperty(Page.FIELD_CREATEDATE); if (createDate != null) { page.setCreateDate(new Date(PropertyUtils.valueOf(createDate, 0L))); value = prop.getProperty(Page.FIELD_MODIFYDATE); if (value == null) { value = createDate; value = prop.getProperty(Page.FIELD_REVEALDATE); if (value == null) { value = createDate; value = prop.getProperty(Page.FIELD_CONCEALDATE); if (value != null) { page.setConcealDate(new Date(PropertyUtils.valueOf(value, 0L))); .getProperty(Page.FIELD_OWNERUSER));
PageMold newPageMold(PageMold defaultMold, Resource resource, String name) { MapProperties prop = loadProperties(resource); PageMold mold; String type = prop.getProperty("type"); if (type != null) { mold = pagePlugin_.getPageType(type).newPageMold(); } else { mold = (defaultMold != null ? defaultMold : new PageMold()); } // name mold.setName(name); return mold; }
.load(outerLibrariesPropResource.getInputStream()); String outerLibraries = outerLibrariesProp .getProperty("outerLibraries"); if (outerLibraries != null) { prop.setProperty(PROP_SYSTEM_DEVELOPEDPLUGIN_ADDITIONALJARS,