Lines Matching defs:pageProperties
491 if (pageProperties != null) {
494 for (Enumeration<String> e = pageProperties.keys(); e.hasMoreElements() ;) {
496 doc.putProperty(key, pageProperties.get(key));
498 pageProperties.clear();
777 if (pageProperties == null) {
778 pageProperties = new Hashtable<String, Object>();
783 pageProperties.put("content-type", type);
785 pageProperties.put(Document.StreamDescriptionProperty, conn.getURL());
788 pageProperties.put("content-encoding", enc);
1538 private Hashtable<String, Object> pageProperties;