scale.common
Class EmptyEnumeration<T>

java.lang.Object
  extended by scale.common.EmptyEnumeration<T>
All Implemented Interfaces:
java.util.Enumeration<T>

public final class EmptyEnumeration<T>
extends java.lang.Object
implements java.util.Enumeration<T>

Define an empty enumeration to return when some complex container structure has not yet been allocated but an enumeration of it is requested.

$Id: EmptyEnumeration.java,v 1.14 2005-02-07 21:28:21 burrill Exp $

Copyright 2008 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.


Constructor Summary
EmptyEnumeration()
           
 
Method Summary
 boolean hasMoreElements()
           
 T nextElement()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EmptyEnumeration

public EmptyEnumeration()
Method Detail

hasMoreElements

public boolean hasMoreElements()
Specified by:
hasMoreElements in interface java.util.Enumeration<T>

nextElement

public T nextElement()
Specified by:
nextElement in interface java.util.Enumeration<T>