Object
- AbstractVisitor<T>

All Implemented Interfaces:

VarInfoName.Visitor<T>

Direct Known Subclasses:

VarInfoName.BooleanAndVisitor, VarInfoName.ElementsFinder, VarInfoName.Finder, VarInfoName.InorderFlattener, VarInfoName.NodeFinder, VarInfoName.QuantifierVisitor, VarInfoName.Replacer, VarInfoName.SimpleNamesVisitor

Enclosing class:

VarInfoName
```
public abstract static class VarInfoName.AbstractVisitor<T>
extends Object
implements VarInfoName.Visitor<T>
```
Traverse the tree elements that have exactly one branch (so the traversal order doesn't matter). Visitors need to implement methods for traversing elements (e.g. FunctionOfN) with more than one branch.

Constructor Summary

Constructors
Constructor Description

AbstractVisitor()

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`T`	`visitAdd(VarInfoName.Add o)`
`T`	`visitElements(VarInfoName.Elements o)`
`T`	`visitField(VarInfoName.Field o)`
`T`	`visitFunctionOf(VarInfoName.FunctionOf o)`
`T`	`visitFunctionOfN(VarInfoName.FunctionOfN o)`	By default, return effect on first argument, but traverse all, backwards.
`T`	`visitPoststate(VarInfoName.Poststate o)`
`T`	`visitPrestate(VarInfoName.Prestate o)`
`T`	`visitSimple(VarInfoName.Simple o)`
`T`	`visitSizeOf(VarInfoName.SizeOf o)`
`abstract T`	`visitSlice(VarInfoName.Slice o)`
`abstract T`	`visitSubscript(VarInfoName.Subscript o)`
`T`	`visitTypeOf(VarInfoName.TypeOf o)`

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

- Constructor Detail
  - AbstractVisitor
```
public AbstractVisitor()
```
- Method Detail
  - visitSimple
```
public T visitSimple(VarInfoName.Simple o)
```
    Specified by:
    
    visitSimple in interface VarInfoName.Visitor<T>
  - visitSizeOf
```
public T visitSizeOf(VarInfoName.SizeOf o)
```
    Specified by:
    
    visitSizeOf in interface VarInfoName.Visitor<T>
  - visitFunctionOf
```
public T visitFunctionOf(VarInfoName.FunctionOf o)
```
    Specified by:
    
    visitFunctionOf in interface VarInfoName.Visitor<T>
  - visitFunctionOfN
```
public T visitFunctionOfN(VarInfoName.FunctionOfN o)
```
    By default, return effect on first argument, but traverse all, backwards.
    
    Specified by:
    
    visitFunctionOfN in interface VarInfoName.Visitor<T>
  - visitField
```
public T visitField(VarInfoName.Field o)
```
    Specified by:
    
    visitField in interface VarInfoName.Visitor<T>
  - visitTypeOf
```
public T visitTypeOf(VarInfoName.TypeOf o)
```
    Specified by:
    
    visitTypeOf in interface VarInfoName.Visitor<T>
  - visitPrestate
```
public T visitPrestate(VarInfoName.Prestate o)
```
    Specified by:
    
    visitPrestate in interface VarInfoName.Visitor<T>
  - visitPoststate
```
public T visitPoststate(VarInfoName.Poststate o)
```
    Specified by:
    
    visitPoststate in interface VarInfoName.Visitor<T>
  - visitAdd
```
public T visitAdd(VarInfoName.Add o)
```
    Specified by:
    
    visitAdd in interface VarInfoName.Visitor<T>
  - visitElements
```
public T visitElements(VarInfoName.Elements o)
```
    Specified by:
    
    visitElements in interface VarInfoName.Visitor<T>
  - visitSubscript
```
public abstract T visitSubscript(VarInfoName.Subscript o)
```
    Specified by:
    
    visitSubscript in interface VarInfoName.Visitor<T>
  - visitSlice
```
public abstract T visitSlice(VarInfoName.Slice o)
```
    Specified by:
    
    visitSlice in interface VarInfoName.Visitor<T>

Class VarInfoName.AbstractVisitor<T>

Constructor Summary

Method Summary

Methods inherited from class Object

Constructor Detail

AbstractVisitor

Method Detail

visitSimple

visitSizeOf

visitFunctionOf

visitFunctionOfN

visitField

visitTypeOf

visitPrestate

visitPoststate

visitAdd

visitElements

visitSubscript

visitSlice