/* ** j###t ########## #### #### ** j###t ########## #### #### ** j###T "###L J###" ** ######P' ########## ######### ** ######k, ########## T######T ** ####~###L #### ** #### q###L ########## .##### ** #### \###L ########## #####" ** ** $Id$ ** ** Class History ** ** Date Name Description ** ---------|------------|----------------------------------------------- ** 19Aug98 subtle start of recorded history ** */ package key.util; import java.util.Enumeration; import java.util.NoSuchElementException; public class EmptyEnumeration implements Enumeration { public static final EmptyEnumeration EMPTY = new EmptyEnumeration(); public EmptyEnumeration() { } public boolean hasMoreElements() { return( false ); } public Object nextElement() { throw new NoSuchElementException( "iterating in empty enumeration" ); } }