tarau.jinni
Class ClauseReader

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

class ClauseReader

extends CharReader

Builds Jinni Fluents from Java Streams

Field Summary

protected Parser

parser

Fields inherited from class tarau.jinni.CharReader

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)	ClauseReader(Prog p)
(package private)	ClauseReader(java.io.Reader reader, Prog p)
(package private)	ClauseReader(java.lang.String f, Prog p)
(package private)	ClauseReader(Term t, Prog p) parses from a string representation of a term

Method Summary

(package private) static Fun	extract_info(Clause C)
Term	getElement()
(package private) void	make_parser(java.lang.String f)
void	stop()

Methods inherited from class tarau.jinni.CharReader

makeReader

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

parser

protected Parser parser

Constructor Detail

ClauseReader

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

ClauseReader

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

ClauseReader

ClauseReader(Prog p)

ClauseReader

ClauseReader(Term t,
             Prog p)

parses from a string representation of a term

Method Detail

make_parser

void make_parser(java.lang.String f)

getElement

public Term getElement()

Overrides:

getElement in class CharReader

extract_info

static Fun extract_info(Clause C)

stop

public void stop()

Overrides:

stop in class CharReader