public class Document.Index extends java.lang.Object implements Document.Observer
public java.util.Enumeration get(java.lang.String attrValue)
throws ParseException
ParseExceptionpublic int size()
throws ParseException
ParseExceptionpublic void update(Document doc)
update 在接口中 Document.Observer