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<Object>, net.sourceforge.czt.util.Visitor<Object>, AxParaVisitor<Object>, RefExprVisitor<Object>, SchExprVisitor<Object>

public class ToSpiveyZVisitor
extends Object
implements net.sourceforge.czt.base.visitor.TermVisitor<Object>, AxParaVisitor<Object>, RefExprVisitor<Object>, SchExprVisitor<Object>

A translator to Spivey Z AST.

• create named schemas for schema expressions.

Author:

Petra Malik

Constructor Summary

Constructors

Constructor and Description
ToSpiveyZVisitor()

Method Summary

Modifier and Type	Method and Description
protected static void	countIncrement()
protected AxPara	createSchema(String name, SchExpr schExpr)
protected String	getNextName()
Object	visitAxPara(AxPara axPara)
Object	visitRefExpr(RefExpr refExpr) Visit the expression list only when explicit is true.
Object	visitSchExpr(SchExpr schExpr)
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 Object visitTerm(net.sourceforge.czt.base.ast.Term term)

Specified by:

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

visitSchExpr

public Object visitSchExpr(SchExpr schExpr)

Specified by:

visitSchExpr in interface SchExprVisitor<Object>

visitAxPara

public Object visitAxPara(AxPara axPara)

Specified by:

visitAxPara in interface AxParaVisitor<Object>

visitRefExpr

public Object visitRefExpr(RefExpr refExpr)

Visit the expression list only when explicit is true.

Specified by:

visitRefExpr in interface RefExprVisitor<Object>

countIncrement

protected static void countIncrement()

getNextName

protected String getNextName()

createSchema

protected AxPara createSchema(String name,
                              SchExpr schExpr)