public interface TermWalker
Modifier and Type | Method and Description |
---|---|
void |
acceptAtom(String sFunctor,
AtomicTerm atomicTerm)
The receiver has been dispatched to from the given atom.
|
void |
acceptNode(String sFunctor,
NodeTerm term)
The receiver has been dispatched to from the given node.
|
void |
acceptTerm(String sFunctor,
Term term)
The receiver has been dispatched to from the given atom.
|
Object |
getResult()
Return the result of the previous TermTree walk.
|
Object |
walk(Term term)
Return the result of the walking the specified TermTree.
|
void acceptNode(String sFunctor, NodeTerm term)
sFunctor
- the node functorterm
- the NodeTermvoid acceptAtom(String sFunctor, AtomicTerm atomicTerm)
sFunctor
- the node functoratomicTerm
- the AtomicTermvoid acceptTerm(String sFunctor, Term term)
sFunctor
- the node functorterm
- the TermObject getResult()