net.sourceforge.czt.rules.oracles

Class RenameOracle.RenameVisitor

java.lang.Object

net.sourceforge.czt.rules.oracles.RenameOracle.RenameVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.util.Visitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.InclDeclVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.ZNameVisitor<net.sourceforge.czt.base.ast.Term>

Enclosing class:

RenameOracle

public static class RenameOracle.RenameVisitor
extends Object
implements net.sourceforge.czt.z.visitor.InclDeclVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>, net.sourceforge.czt.z.visitor.ZNameVisitor<net.sourceforge.czt.base.ast.Term>

Assumes that the term is properly typechecked (i.e. the ids are correct). When decorating expressions and predicates, it decorates only names that exactly match a member of declNames_ (including ids). We hope that nested schema expressions are therefore not a problem (we should prove this).

Constructor Summary

Constructors

Constructor and Description
RenameVisitor(Set<net.sourceforge.czt.z.ast.Name> declNames, net.sourceforge.czt.z.ast.ZRenameList renameList)

Method Summary

Modifier and Type	Method and Description
net.sourceforge.czt.base.ast.Term	visitInclDecl(net.sourceforge.czt.z.ast.InclDecl inclDecl)
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 zName)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RenameVisitor

public RenameVisitor(Set<net.sourceforge.czt.z.ast.Name> declNames,
                     net.sourceforge.czt.z.ast.ZRenameList renameList)

Method Detail

visitInclDecl

public net.sourceforge.czt.base.ast.Term visitInclDecl(net.sourceforge.czt.z.ast.InclDecl inclDecl)

Specified by:

visitInclDecl in interface net.sourceforge.czt.z.visitor.InclDeclVisitor<net.sourceforge.czt.base.ast.Term>

visitTerm

public net.sourceforge.czt.base.ast.Term visitTerm(net.sourceforge.czt.base.ast.Term term)

Specified by:

visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor<net.sourceforge.czt.base.ast.Term>

visitZName

public net.sourceforge.czt.base.ast.Term visitZName(net.sourceforge.czt.z.ast.ZName zName)

Specified by:

visitZName in interface net.sourceforge.czt.z.visitor.ZNameVisitor<net.sourceforge.czt.base.ast.Term>