public class TermAdapter extends Object implements TermContentHandler
Modifier and Type | Field and Description |
---|---|
protected TermContentHandler |
contentHandler |
Constructor and Description |
---|
TermAdapter(TermContentHandler contentHandler) |
Modifier and Type | Method and Description |
---|---|
TermContentHandler |
endCompound() |
TermContentHandler |
getContentHandler() |
TermContentHandler |
startAtom(String atomName) |
TermContentHandler |
startCompound() |
TermContentHandler |
startFloatTerm(double value) |
TermContentHandler |
startIntegerTerm(long value) |
TermContentHandler |
startJRef(Object ref) |
TermContentHandler |
startVariable(String variableName) |
protected TermContentHandler contentHandler
public TermAdapter(TermContentHandler contentHandler)
public TermContentHandler getContentHandler()
public TermContentHandler startIntegerTerm(long value)
startIntegerTerm
in interface TermContentHandler
public TermContentHandler startFloatTerm(double value)
startFloatTerm
in interface TermContentHandler
public TermContentHandler startVariable(String variableName)
startVariable
in interface TermContentHandler
public TermContentHandler startAtom(String atomName)
startAtom
in interface TermContentHandler
public TermContentHandler startJRef(Object ref)
startJRef
in interface TermContentHandler
public TermContentHandler startCompound()
startCompound
in interface TermContentHandler
public TermContentHandler endCompound()
endCompound
in interface TermContentHandler
Copyright © 2014. All rights reserved.