public class Preprocess.FixIdVisitor extends Object implements net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.BindExprVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.BindSelExprVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.QntExprVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.QntPredVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.ZNameVisitor<net.sourceforge.czt.base.ast.Term>
Constructor and Description |
---|
FixIdVisitor() |
Modifier and Type | Method and Description |
---|---|
net.sourceforge.czt.base.ast.Term |
visitBindExpr(net.sourceforge.czt.z.ast.BindExpr e)
For bindings, we recurse into the expressions,
and set all field names to have ID=0 (global).
|
net.sourceforge.czt.base.ast.Term |
visitBindSelExpr(net.sourceforge.czt.z.ast.BindSelExpr e)
For binding selections, E.x, we check only E, not x.
|
net.sourceforge.czt.base.ast.Term |
visitQntExpr(net.sourceforge.czt.z.ast.QntExpr term) |
net.sourceforge.czt.base.ast.Term |
visitQntPred(net.sourceforge.czt.z.ast.QntPred pred) |
net.sourceforge.czt.base.ast.Term |
visitTerm(net.sourceforge.czt.base.ast.Term term) |
net.sourceforge.czt.base.ast.Term |
visitZName(net.sourceforge.czt.z.ast.ZName name) |
public net.sourceforge.czt.base.ast.Term visitTerm(net.sourceforge.czt.base.ast.Term term)
visitTerm
in interface net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>
public net.sourceforge.czt.base.ast.Term visitBindExpr(net.sourceforge.czt.z.ast.BindExpr e)
visitBindExpr
in interface net.sourceforge.czt.z.visitor.BindExprVisitor<net.sourceforge.czt.base.ast.Term>
public net.sourceforge.czt.base.ast.Term visitBindSelExpr(net.sourceforge.czt.z.ast.BindSelExpr e)
visitBindSelExpr
in interface net.sourceforge.czt.z.visitor.BindSelExprVisitor<net.sourceforge.czt.base.ast.Term>
public net.sourceforge.czt.base.ast.Term visitZName(net.sourceforge.czt.z.ast.ZName name)
visitZName
in interface net.sourceforge.czt.z.visitor.ZNameVisitor<net.sourceforge.czt.base.ast.Term>
public net.sourceforge.czt.base.ast.Term visitQntExpr(net.sourceforge.czt.z.ast.QntExpr term)
visitQntExpr
in interface net.sourceforge.czt.z.visitor.QntExprVisitor<net.sourceforge.czt.base.ast.Term>
public net.sourceforge.czt.base.ast.Term visitQntPred(net.sourceforge.czt.z.ast.QntPred pred)
visitQntPred
in interface net.sourceforge.czt.z.visitor.QntPredVisitor<net.sourceforge.czt.base.ast.Term>
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.