ubc.cs.JLog.Terms
Class jListPair.EnumerateListPair

java.lang.Object
  ubc.cs.JLog.Terms.jListPair.EnumerateListPair

All Implemented Interfaces:

Enumeration

Enclosing class:

jListPair

protected class jListPair.EnumerateListPair
extends Object
implements Enumeration

Field Summary

protected iTermToObject	convert
protected jListPair	next

Constructor Summary

jListPair.EnumerateListPair(jListPair head, iTermToObject conv)

Method Summary

boolean	hasMoreElements()
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 Enumeration

nextElement

public Object nextElement()

Specified by:

nextElement in interface Enumeration