tarau.jinni
Class source_lazy_list

java.lang.Object
  |
  +--tarau.jinni.Term
        |
        +--tarau.jinni.Nonvar
              |
              +--tarau.jinni.Const
                    |
                    +--tarau.jinni.Fun
                          |
                          +--tarau.jinni.FunBuiltin
                                |
                                +--tarau.jinni.source_lazy_list

class source_lazy_list

extends FunBuiltin

Converts Source into a Lazy List which will memorize its elements as it grows.

Fields inherited from class tarau.jinni.Fun

args

Fields inherited from class tarau.jinni.Const

aFail, anEof, aNil, aNo, aTrue, aYes, sym

Fields inherited from class tarau.jinni.Term

CONST, INT, JAVA, REAL, VAR

Constructor Summary

(package private)

source_lazy_list()

Method Summary

int	exec(Prog p) Executed when a builtin is called.

Methods inherited from class tarau.jinni.FunBuiltin

isBuiltin

Methods inherited from class tarau.jinni.Fun

bind_to, funClone, funToString, getArg, getArity, getIntArg, init, initializedClone, isClause, listify, putArg, reaction, setArg, show_args, toBuiltin, token, toString, unify_to, unInitializedClone, watchNull

Methods inherited from class tarau.jinni.Const

eq, getKey, name, qname, the, toUnquoted

Methods inherited from class tarau.jinni.Term

action, charsToString, copy, exec, fromString, matches, matching_copy, numbervars, pprint, pprint, ref, stringToChars, toChars, toClause, toObject, toTerm, undo, unify, varsOf

Methods inherited from class java.lang.Object

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

Constructor Detail

source_lazy_list

source_lazy_list()

Method Detail

exec

public int exec(Prog p)

Description copied from class: Term

Executed when a builtin is called. Needs to be overriden. Returns a run-time warning if this is forgotten.

Overrides:

exec in class FunBuiltin