com.uppaal.model.core2

Class PrintVisitor

java.lang.Object

com.uppaal.model.core2.AbstractVisitor

com.uppaal.model.core2.PrintVisitor

All Implemented Interfaces:

Visitor

public class PrintVisitor
extends AbstractVisitor

Field Summary

Fields

Modifier and Type	Field and Description
protected int	indentation

Constructor Summary

Constructors

Constructor and Description
PrintVisitor()

Method Summary

Modifier and Type	Method and Description
protected void	indent()
protected void	print(String s)
void	visitBranchPoint(BranchPoint b)
void	visitEdge(Edge e)
void	visitElement(Element e)
void	visitLocation(Location l)
void	visitNail(Nail n)
void	visitTemplate(AbstractTemplate t)

Methods inherited from class com.uppaal.model.core2.AbstractVisitor

visitCondition, visitCut, visitDocument, visitInstanceLine, visitMessage, visitNode, visitPrechart, visitProperty, visitQueries, visitQuery, visitUpdate

Methods inherited from class java.lang.Object

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

Field Detail

indentation

protected int indentation

Constructor Detail

PrintVisitor

public PrintVisitor()

Method Detail

indent

protected void indent()

print

protected void print(String s)

visitElement

public void visitElement(Element e)
                  throws Exception

Specified by:

visitElement in interface Visitor

Overrides:

visitElement in class AbstractVisitor

Throws:

Exception

visitTemplate

public void visitTemplate(AbstractTemplate t)
                   throws Exception

Specified by:

visitTemplate in interface Visitor

Overrides:

visitTemplate in class AbstractVisitor

Throws:

Exception

visitLocation

public void visitLocation(Location l)
                   throws Exception

Specified by:

visitLocation in interface Visitor

Overrides:

visitLocation in class AbstractVisitor

Throws:

Exception

visitBranchPoint

public void visitBranchPoint(BranchPoint b)
                      throws Exception

Specified by:

visitBranchPoint in interface Visitor

Overrides:

visitBranchPoint in class AbstractVisitor

Throws:

Exception

visitEdge

public void visitEdge(Edge e)
               throws Exception

Specified by:

visitEdge in interface Visitor

Overrides:

visitEdge in class AbstractVisitor

Throws:

Exception

visitNail

public void visitNail(Nail n)
               throws Exception

Specified by:

visitNail in interface Visitor

Overrides:

visitNail in class AbstractVisitor

Throws:

Exception