376 |
* |
* |
377 |
* @return the properties of this <code>Document</code> |
* @return the properties of this <code>Document</code> |
378 |
*/ |
*/ |
379 |
public Dictionary getDocumentProperties() |
public Dictionary<Object, Object> getDocumentProperties() |
380 |
{ |
{ |
381 |
// FIXME: make me thread-safe |
// FIXME: make me thread-safe |
382 |
if (properties == null) |
if (properties == null) |
849 |
* |
* |
850 |
* @param p the document properties to set |
* @param p the document properties to set |
851 |
*/ |
*/ |
852 |
public void setDocumentProperties(Dictionary p) |
public void setDocumentProperties(Dictionary<Object, Object> p) |
853 |
{ |
{ |
854 |
// FIXME: make me thread-safe |
// FIXME: make me thread-safe |
855 |
properties = p; |
properties = p; |
1023 |
* @return the attributes of <code>old</code> minus the attributes in |
* @return the attributes of <code>old</code> minus the attributes in |
1024 |
* <code>attributes</code> |
* <code>attributes</code> |
1025 |
*/ |
*/ |
1026 |
AttributeSet removeAttributes(AttributeSet old, Enumeration names); |
AttributeSet removeAttributes(AttributeSet old, Enumeration<?> names); |
1027 |
} |
} |
1028 |
|
|
1029 |
/** |
/** |