ubc.cs.JLog.Terms
Class jListPair.EnumerateListPair

java.lang.Object
  extended by ubc.cs.JLog.Terms.jListPair.EnumerateListPair
All Implemented Interfaces:
java.util.Enumeration
Enclosing class:
jListPair

protected class jListPair.EnumerateListPair
extends java.lang.Object
implements java.util.Enumeration


Field Summary
protected  iTermToObject convert
           
protected  jListPair next
           
 
Constructor Summary
jListPair.EnumerateListPair(jListPair head, iTermToObject conv)
           
 
Method Summary
 boolean hasMoreElements()
           
 java.lang.Object nextElement()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

next

protected jListPair next

convert

protected iTermToObject convert
Constructor Detail

jListPair.EnumerateListPair

public jListPair.EnumerateListPair(jListPair head,
                                   iTermToObject conv)
Method Detail

hasMoreElements

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

nextElement

public java.lang.Object nextElement()
Specified by:
nextElement in interface java.util.Enumeration