scale.common
Class SingleEnumeration<T>

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

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

This class generates an enumeration for a single element.

$Id: SingleEnumeration.java,v 1.10 2005-02-07 21:28:22 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
SingleEnumeration(T element)
           
 
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

SingleEnumeration

public SingleEnumeration(T element)
Parameters:
element - the single object returned by the enumeration
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>