01: package com.jclark.xml.parse;
02:
03: /**
04: * Information about the end of an element.
05: * @see com.jclark.xml.parse.base.Application#endElement
06: * @version $Revision: 1.5 $ $Date: 1998/05/14 02:45:44 $
07: */
08: public interface EndElementEvent {
09: /**
10: * Returns the element type name.
11: */
12: String getName();
13:
14: }
|