tarau.jinni
Class TermCollector

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

class TermCollector

extends Sink

Builds Jinni Fluents from Java Streams

Field Summary

protected java.util.Vector	buffer
private Prog	p

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)

TermCollector(Prog p)

Method Summary

Term	collect()
int	putElement(Term T)
void	stop()

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

buffer

protected java.util.Vector buffer

p

private Prog p

Constructor Detail

TermCollector

TermCollector(Prog p)

Method Detail

putElement

public int putElement(Term T)

Overrides:

putElement in class Sink

stop

public void stop()

Overrides:

stop in class Fluent

collect

public Term collect()

Overrides:

collect in class Sink