ubc.cs.JLog.Terms
Class jList

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jType
      extended by ubc.cs.JLog.Terms.jTerm
          extended by ubc.cs.JLog.Terms.jList
All Implemented Interfaces:
iType, iUnifiable, iConsultable, iList, iName, iTerm, iValue
Direct Known Subclasses:
jListPair, jNullList

public abstract class jList
extends jTerm
implements iList


Field Summary
 
Fields inherited from class ubc.cs.JLog.Foundation.jType
type
 
Fields inherited from interface ubc.cs.JLog.Terms.iList
LIST_NULL, LIST_PAIR
 
Fields inherited from interface ubc.cs.JLog.Terms.iTerm
EQUAL, GREATER_THAN, LESS_THAN
 
Fields inherited from interface ubc.cs.JLog.Foundation.iType
TYPE_ARITHMETIC, TYPE_ATOM, TYPE_BUILTINPREDICATE, TYPE_COMMAND, TYPE_COMPARE, TYPE_COMPOUND, TYPE_CONS, TYPE_IF, TYPE_INTEGER, TYPE_LIST, TYPE_NULLLIST, TYPE_NUMERICCOMPARE, TYPE_OBJECT, TYPE_OPERATOR, TYPE_OR, TYPE_ORPREDICATE, TYPE_PREDICATE, TYPE_PREDICATETERMS, TYPE_REAL, TYPE_TYPE, TYPE_UNARYARITHMETIC, TYPE_UNARYOPERATOR, TYPE_UNDEFINED, TYPE_VARIABLE
 
Constructor Summary
jList()
           
 
Method Summary
abstract  java.util.Enumeration elements(iTermToObject conv)
          Generates a converted enumeration of the list.
 
Methods inherited from class ubc.cs.JLog.Terms.jTerm
compare, compare, consult, consultReset, copy, copy, duplicate, enumerateVariables, equivalence, getName, getTerm, getValue, isConsultNeeded, registerUnboundVariables, registerVariables, requiresCompleteVariableState, toString, toString, unify
 
Methods inherited from class ubc.cs.JLog.Foundation.jType
getType, objectToString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface ubc.cs.JLog.Terms.iTerm
compare, consult, consultReset, copy, copy, duplicate, enumerateVariables, equivalence, getName, getTerm, getValue, isConsultNeeded, registerUnboundVariables, registerVariables, requiresCompleteVariableState, toString, unify
 

Constructor Detail

jList

public jList()
Method Detail

elements

public abstract java.util.Enumeration elements(iTermToObject conv)
Generates a converted enumeration of the list.

Parameters:
conv - The iObjectFromTerm conversion object used to convert between Prolog terms and objects.
Returns:
An Enumeration that iterates throught the list, returning converted object for each term element in the list.