tarau.jinni
Class CharWriter

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

Direct Known Subclasses:

ClauseWriter

class CharWriter

extends Sink

Writer

Field Summary

protected java.io.Writer

writer

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)	CharWriter(Prog p)
(package private)	CharWriter(java.lang.String f, Prog p)

Method Summary

int	putElement(Term t)
void	stop()

Methods inherited from class tarau.jinni.Sink

collect

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

writer

protected java.io.Writer writer

Constructor Detail

CharWriter

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

CharWriter

CharWriter(Prog p)

Method Detail

putElement

public int putElement(Term t)

Overrides:

putElement in class Sink

stop

public void stop()

Overrides:

stop in class Fluent