public class JpcTermWriter extends TermWriter<Term>
Constructor and Description |
---|
JpcTermWriter() |
Modifier and Type | Method and Description |
---|---|
protected TermBuilder<Term> |
createCompoundBuilder() |
TermContentHandler |
startAtom(String name) |
TermContentHandler |
startFloatTerm(double value) |
TermContentHandler |
startIntegerTerm(long value) |
TermContentHandler |
startJRef(Object ref) |
TermContentHandler |
startVariable(String name) |
addLast, endCompound, getFirst, getTerms, process, startCompound, write
public TermContentHandler startIntegerTerm(long value)
startIntegerTerm
in interface TermContentHandler
startIntegerTerm
in class DefaultTermContentHandler
public TermContentHandler startFloatTerm(double value)
startFloatTerm
in interface TermContentHandler
startFloatTerm
in class DefaultTermContentHandler
public TermContentHandler startVariable(String name)
startVariable
in interface TermContentHandler
startVariable
in class DefaultTermContentHandler
public TermContentHandler startAtom(String name)
startAtom
in interface TermContentHandler
startAtom
in class DefaultTermContentHandler
public TermContentHandler startJRef(Object ref)
startJRef
in interface TermContentHandler
startJRef
in class DefaultTermContentHandler
protected TermBuilder<Term> createCompoundBuilder()
createCompoundBuilder
in class TermWriter<Term>
Copyright © 2014. All rights reserved.