org.jpc.salt

Class PrologEngineWriter

java.lang.Object

org.jpc.salt.DefaultTermContentHandler

org.jpc.salt.TermWriter<Term>

org.jpc.salt.JpcTermWriter

org.jpc.salt.PrologWriter

org.jpc.salt.PrologEngineWriter

All Implemented Interfaces:

PrologContentHandler, TermContentHandler

public class PrologEngineWriter
extends PrologWriter

Assert processed terms to the logic database given by a logic engine

Constructor Summary

Constructors

Constructor and Description
PrologEngineWriter(PrologEngine prologEngine)

Method Summary

Modifier and Type	Method and Description
PrologEngine	getPrologEngine()
void	writeLogtalkObjectClause(Term clause)
void	writeLogtalkObjectDirective(Term directive)
void	writePrologClause(Term clause)
void	writePrologDirective(Term directive)

Methods inherited from class org.jpc.salt.PrologWriter

endLogtalkObjectContext, followingDirectives, followingDynamicClauses, getCurrentLogtalkObjectTerm, startLogtalkObjectContext, write, writeClause, writeDirective

Methods inherited from class org.jpc.salt.JpcTermWriter

createCompoundBuilder, startAtom, startFloatTerm, startIntegerTerm, startJRef, startVariable

Methods inherited from class org.jpc.salt.TermWriter

addLast, endCompound, getFirst, getTerms, process, startCompound

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.jpc.salt.TermContentHandler

endCompound, startAtom, startCompound, startFloatTerm, startIntegerTerm, startJRef, startVariable

Constructor Detail

PrologEngineWriter

public PrologEngineWriter(PrologEngine prologEngine)

Method Detail

getPrologEngine

public PrologEngine getPrologEngine()

writePrologDirective

public void writePrologDirective(Term directive)

Specified by:

writePrologDirective in class PrologWriter

writeLogtalkObjectDirective

public void writeLogtalkObjectDirective(Term directive)

Specified by:

writeLogtalkObjectDirective in class PrologWriter

writePrologClause

public void writePrologClause(Term clause)

Specified by:

writePrologClause in class PrologWriter

writeLogtalkObjectClause

public void writeLogtalkObjectClause(Term clause)

Specified by:

writeLogtalkObjectClause in class PrologWriter