Object
- VarInfoName.AbstractVisitor<VarInfoName>
- - Finder

All Implemented Interfaces:

VarInfoName.Visitor<VarInfoName>

Enclosing class:

VarInfoName
```
public static class VarInfoName.Finder
extends VarInfoName.AbstractVisitor<VarInfoName>
```
Finds if a given VarInfoName is contained in a set of nodes in the VarInfoName tree using == comparison. Recurse through everything except fields, so in x.a, we don't look at a.

Constructor Summary

Constructors
Constructor Description

Finder(Set<VarInfoName> argGoals)
Creates a new Finder.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`contains(VarInfoName root)`	Returns true iff some part of root is contained in this.goals.
`@Nullable VarInfoName`	`getPart(VarInfoName root)`	Returns the part of root that is contained in this.goals, or null if not found.
`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
  - Finder
```
public Finder(Set<VarInfoName> argGoals)
```
    Creates a new Finder. Uses equals() to find.
    
    Parameters:
    
    argGoals - the goals to find
- Method Detail
  - contains
```
@EnsuresNonNullIf(result=true,
                  expression="getPart(#1")
public boolean contains(VarInfoName root)
```
    Returns true iff some part of root is contained in this.goals.
  - getPart
```
public @Nullable VarInfoName getPart(VarInfoName root)
```
    Returns the part of root that is contained in this.goals, or null if not found.
  - 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.Finder

Constructor Summary

Method Summary

Methods inherited from class Object

Constructor Detail

Finder

Method Detail

contains

getPart

visitSimple

visitSizeOf

visitFunctionOf

visitFunctionOfN

visitField

visitTypeOf

visitPrestate

visitPoststate

visitAdd

visitElements

visitSubscript

visitSlice