public interface TermTransformer<R>
| Modifier and Type | Method and Description |
|---|---|
Factory |
getFactory() |
net.sourceforge.czt.util.Visitor<R> |
getTermVisitor()
Returns a visitor implementing a VCG protocol.
|
boolean |
isApplyingTransformer()
Flag determining whether to apply transformer or not.
|
void |
setApplyTransformer(boolean value) |
R |
visit(net.sourceforge.czt.base.ast.Term term)
Visit the given term.
|
Factory getFactory()
boolean isApplyingTransformer()
void setApplyTransformer(boolean value)
net.sourceforge.czt.util.Visitor<R> getTermVisitor()
R - resClass - R visit(net.sourceforge.czt.base.ast.Term term)
term - net.sourceforge.czt.util.CztException - if term is nullCopyright © 2003–2016 Community Z Tools Project. All rights reserved.