com.hp.hpl.sparta
Class Document.Index

java.lang.Object
  |
  +--com.hp.hpl.sparta.Document.Index

All Implemented Interfaces:

Document.Observer

Enclosing class:

Document

public class Document.Index

extends java.lang.Object

implements Document.Observer

Method Summary

java.util.Enumeration	get(java.lang.String attrValue)
int	size()
void	update(Document doc)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

get

public java.util.Enumeration get(java.lang.String attrValue)
                          throws ParseException

size

public int size()
         throws ParseException

update

public void update(Document doc)

Specified by:

update in interface Document.Observer