tarau.jinni
Class JavaSource

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.SystemObject
                    |
                    +--tarau.jinni.Fluent
                          |
                          +--tarau.jinni.Source
                                |
                                +--tarau.jinni.JavaSource

Direct Known Subclasses:

ListSource, SourceMerger

class JavaSource

extends Source

Builds Jinni Iterators from Java Sequences and Iterator type classes

Field Summary

private java.util.Enumeration

e

Fields inherited from class tarau.jinni.Fluent

persistent

Fields inherited from class tarau.jinni.SystemObject

ctr, ordinal

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

(package private)	JavaSource(java.util.Enumeration e, Prog p)
(package private)	JavaSource(Prog p)
(package private)	JavaSource(java.util.Vector V, Prog p)

Method Summary

Term	getElement()
void	stop()

Methods inherited from class tarau.jinni.Source

toFun, toList

Methods inherited from class tarau.jinni.Fluent

getPersistent, setPersistent, trailMe, undo

Methods inherited from class tarau.jinni.SystemObject

bind_to, getArity, name, toString

Methods inherited from class tarau.jinni.Nonvar

eq, listify, unify_to

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, exec, fromString, getKey, isBuiltin, isClause, matches, matching_copy, numbervars, pprint, pprint, reaction, ref, stringToChars, toChars, toClause, token, toObject, toTerm, toUnquoted, unify, varsOf

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

e

private java.util.Enumeration e

Constructor Detail

JavaSource

JavaSource(Prog p)

JavaSource

JavaSource(java.util.Enumeration e,
           Prog p)

JavaSource

JavaSource(java.util.Vector V,
           Prog p)

Method Detail

getElement

public Term getElement()

Overrides:

getElement in class Source

stop

public void stop()

Overrides:

stop in class Fluent