tarau.jinni
Class CharReader

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

Direct Known Subclasses:

ClauseReader

class CharReader

extends Source

Builds Jinni Fluents from Java Streams

Field Summary

protected java.io.Reader

reader

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)	CharReader(Prog p)
(package private)	CharReader(java.io.Reader reader, Prog p)
(package private)	CharReader(java.lang.String f, Prog p)
(package private)	CharReader(Term t, Prog p)

Method Summary

Term	getElement()
protected void	makeReader(java.lang.String f)
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

reader

protected java.io.Reader reader

Constructor Detail

CharReader

CharReader(java.io.Reader reader,
           Prog p)

CharReader

CharReader(java.lang.String f,
           Prog p)

CharReader

CharReader(Term t,
           Prog p)

CharReader

CharReader(Prog p)

Method Detail

makeReader

protected void makeReader(java.lang.String f)

getElement

public Term getElement()

Overrides:

getElement in class Source

stop

public void stop()

Overrides:

stop in class Fluent