LayoutVisitor (UPPAAL model library)

java.lang.Object
- com.uppaal.model.core2.AbstractVisitor
- - com.uppaal.model.LayoutVisitor

All Implemented Interfaces:: Visitor

public class LayoutVisitor
extends AbstractVisitor

Constructor Summary

Constructors
Constructor Description

LayoutVisitor()

Method Summary

Modifier and Type	Method	Description
`void`	`visitBranchPoint(BranchPoint element)`
`void`	`visitEdge(Edge element)`
`void`	`visitLocation(Location element)`
`void`	`visitProperty(Property element)`
`void`	`visitTemplate(AbstractTemplate element)`

Methods inherited from class com.uppaal.model.core2.AbstractVisitor
visitCondition, visitCut, visitDocument, visitElement, visitInstanceLine, visitMessage, visitNail, visitNode, visitPrechart, visitQueries, visitQuery, visitUpdate

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - LayoutVisitor
```
public LayoutVisitor()
```
- Method Detail
  - visitTemplate
```
public void visitTemplate(AbstractTemplate element)
                   throws Exception
```
    Specified by:
    
    visitTemplate in interface Visitor
    
    Overrides:
    
    visitTemplate in class AbstractVisitor
    
    Throws:
    
    Exception
  - visitProperty
```
public void visitProperty(Property element)
```
    Specified by:
    
    visitProperty in interface Visitor
    
    Overrides:
    
    visitProperty in class AbstractVisitor
  - visitLocation
```
public void visitLocation(Location element)
                   throws Exception
```
    Specified by:
    
    visitLocation in interface Visitor
    
    Overrides:
    
    visitLocation in class AbstractVisitor
    
    Throws:
    
    Exception
  - visitBranchPoint
```
public void visitBranchPoint(BranchPoint element)
                      throws Exception
```
    Specified by:
    
    visitBranchPoint in interface Visitor
    
    Overrides:
    
    visitBranchPoint in class AbstractVisitor
    
    Throws:
    
    Exception
  - visitEdge
```
public void visitEdge(Edge element)
               throws Exception
```
    Specified by:
    
    visitEdge in interface Visitor
    
    Overrides:
    
    visitEdge in class AbstractVisitor
    
    Throws:
    
    Exception