Object
- VarInfoName.AbstractVisitor<VarInfoName>
- - NodeFinder

All Implemented Interfaces:

VarInfoName.Visitor<VarInfoName>

Enclosing class:

VarInfoName
```
public static class VarInfoName.NodeFinder
extends VarInfoName.AbstractVisitor<VarInfoName>
```
Use to report whether a node is in a pre- or post-state context. Throws an assertion error if a given goal isn't present.

Constructor Summary

Constructors
Constructor Description

NodeFinder(VarInfoName root, VarInfoName goal)
Creates a new NodeFinder.

Method Summary

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

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

- Constructor Detail
  - NodeFinder
```
public NodeFinder(VarInfoName root,
                  VarInfoName goal)
```
    Creates a new NodeFinder.
    
    Parameters:
    
    root - the root of the tree to search
    
    goal - the goal to find
- Method Detail
  - inPre
```
public boolean inPre()
```
  - visitSimple
```
public VarInfoName visitSimple(VarInfoName.Simple o)
```
    Specified by:
    
    visitSimple in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitSimple in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitSizeOf
```
public VarInfoName visitSizeOf(VarInfoName.SizeOf o)
```
    Specified by:
    
    visitSizeOf in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitSizeOf in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitFunctionOf
```
public VarInfoName visitFunctionOf(VarInfoName.FunctionOf o)
```
    Specified by:
    
    visitFunctionOf in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitFunctionOf in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitFunctionOfN
```
public VarInfoName visitFunctionOfN(VarInfoName.FunctionOfN o)
```
    Description copied from class: VarInfoName.AbstractVisitor
    
    By default, return effect on first argument, but traverse all, backwards.
    
    Specified by:
    
    visitFunctionOfN in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitFunctionOfN in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitField
```
public VarInfoName visitField(VarInfoName.Field o)
```
    Specified by:
    
    visitField in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitField in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitTypeOf
```
public VarInfoName visitTypeOf(VarInfoName.TypeOf o)
```
    Specified by:
    
    visitTypeOf in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitTypeOf in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitPrestate
```
public VarInfoName visitPrestate(VarInfoName.Prestate o)
```
    Specified by:
    
    visitPrestate in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitPrestate in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitPoststate
```
public VarInfoName visitPoststate(VarInfoName.Poststate o)
```
    Specified by:
    
    visitPoststate in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitPoststate in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitAdd
```
public VarInfoName visitAdd(VarInfoName.Add o)
```
    Specified by:
    
    visitAdd in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitAdd in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitElements
```
public VarInfoName visitElements(VarInfoName.Elements o)
```
    Specified by:
    
    visitElements in interface VarInfoName.Visitor<VarInfoName>
    
    Overrides:
    
    visitElements in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitSubscript
```
public VarInfoName visitSubscript(VarInfoName.Subscript o)
```
    Specified by:
    
    visitSubscript in interface VarInfoName.Visitor<VarInfoName>
    
    Specified by:
    
    visitSubscript in class VarInfoName.AbstractVisitor<VarInfoName>
  - visitSlice
```
public VarInfoName visitSlice(VarInfoName.Slice o)
```
    Specified by:
    
    visitSlice in interface VarInfoName.Visitor<VarInfoName>
    
    Specified by:
    
    visitSlice in class VarInfoName.AbstractVisitor<VarInfoName>

Class VarInfoName.NodeFinder

Constructor Summary

Method Summary

Methods inherited from class Object

Constructor Detail

NodeFinder

Method Detail

inPre

visitSimple

visitSizeOf

visitFunctionOf

visitFunctionOfN

visitField

visitTypeOf

visitPrestate

visitPoststate

visitAdd

visitElements

visitSubscript

visitSlice