net.sourceforge.czt.print.z
Class ToSpiveyZVisitor

java.lang.Object
  net.sourceforge.czt.print.z.ToSpiveyZVisitor

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor, net.sourceforge.czt.util.Visitor, net.sourceforge.czt.z.visitor.AxParaVisitor, net.sourceforge.czt.z.visitor.RefExprVisitor, net.sourceforge.czt.z.visitor.SchExprVisitor

public class ToSpiveyZVisitor
extends java.lang.Object
implements net.sourceforge.czt.base.visitor.TermVisitor, net.sourceforge.czt.z.visitor.AxParaVisitor, net.sourceforge.czt.z.visitor.RefExprVisitor, net.sourceforge.czt.z.visitor.SchExprVisitor

A translator to Spivey Z AST.

• create named schemas for schema expressions.

Author:

Petra Malik

Constructor Summary

ToSpiveyZVisitor()

Method Summary

protected net.sourceforge.czt.z.ast.AxPara	createSchema(java.lang.String name, net.sourceforge.czt.z.ast.SchExpr schExpr)
protected java.lang.String	getNextName()
java.lang.Object	visitAxPara(net.sourceforge.czt.z.ast.AxPara axPara)
java.lang.Object	visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr) Visit the expression list only when explicit is true.
java.lang.Object	visitSchExpr(net.sourceforge.czt.z.ast.SchExpr schExpr)
java.lang.Object	visitTerm(net.sourceforge.czt.base.ast.Term term)

Methods inherited from class java.lang.Object

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

Constructor Detail

ToSpiveyZVisitor

public ToSpiveyZVisitor()

Method Detail

visitTerm

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

Specified by:

visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor

visitSchExpr

public java.lang.Object visitSchExpr(net.sourceforge.czt.z.ast.SchExpr schExpr)

Specified by:

visitSchExpr in interface net.sourceforge.czt.z.visitor.SchExprVisitor

visitAxPara

public java.lang.Object visitAxPara(net.sourceforge.czt.z.ast.AxPara axPara)

Specified by:

visitAxPara in interface net.sourceforge.czt.z.visitor.AxParaVisitor

visitRefExpr

public java.lang.Object visitRefExpr(net.sourceforge.czt.z.ast.RefExpr refExpr)

Visit the expression list only when explicit is true.

Specified by:

visitRefExpr in interface net.sourceforge.czt.z.visitor.RefExprVisitor

getNextName

protected java.lang.String getNextName()

createSchema

protected net.sourceforge.czt.z.ast.AxPara createSchema(java.lang.String name,
                                                        net.sourceforge.czt.z.ast.SchExpr schExpr)