tarau.jinni
Class Source

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

Direct Known Subclasses:

CharReader, IntegerSource, JavaSource, Prog, SourceLoop, TermSource, Unfolder

public abstract class Source

extends Fluent

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

Source(Prog p)

Method Summary

abstract Term	getElement()
(package private) Term	toFun()
(package private) Const	toList()

Methods inherited from class tarau.jinni.Fluent

getPersistent, setPersistent, stop, 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

Constructor Detail

Source

public Source(Prog p)

Method Detail

getElement

public abstract Term getElement()

toList

Const toList()

toFun

Term toFun()