public void renameHeader(String key, String newKey) { if (fProperties == null) fProperties = new HeaderMap();//TreeMap(new HeaderComparator()); if (fProperties.get(key) != null) { fProperties.put(newKey, fProperties.remove(key)); } }
public void load(Map properties) { // Passed dictionary is read-only fProperties = new HeaderMap();//TreeMap(new HeaderComparator()); Iterator it = properties.keySet().iterator(); while (it.hasNext()) { Object o = it.next(); fProperties.put(o, properties.get(o)); } }
public void setHeader(String key, String value) { if (fProperties == null) fProperties = new HeaderMap();//TreeMap(new HeaderComparator()); Object oldValue = fProperties.get(key); if (value == null || value.trim().length() == 0) fProperties.remove(key); else fProperties.put(key, value); getModel().fireModelObjectChanged(this, key, oldValue, value); } /* (non-Javadoc)
protected final void parseDocument(IDocument doc) { fHeaders = new HeaderMap<>(); int numLines = doc.getNumberOfLines(); int offset = 0;