Package daikon

Class VarInfoName.SimpleNamesVisitor

Object

VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

SimpleNamesVisitor

All Implemented Interfaces:

VarInfoName.Visitor<VarInfoName.NoReturnValue>

Enclosing class:

VarInfoName

public static class VarInfoName.SimpleNamesVisitor
extends VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

Constructor Summary

Constructors

Constructor	Description
SimpleNamesVisitor(VarInfoName root)

Method Summary

Modifier and Type	Method	Description
Set<String>	simples()	Returns collection of simple identifiers used in this expression, as Strings.
VarInfoName.NoReturnValue	visitElements(VarInfoName.Elements o)
VarInfoName.NoReturnValue	visitFunctionOf(VarInfoName.FunctionOf o)
VarInfoName.NoReturnValue	visitFunctionOfN(VarInfoName.FunctionOfN o)	By default, return effect on first argument, but traverse all, backwards.
VarInfoName.NoReturnValue	visitSimple(VarInfoName.Simple o)
VarInfoName.NoReturnValue	visitSlice(VarInfoName.Slice o)
VarInfoName.NoReturnValue	visitSubscript(VarInfoName.Subscript o)

Methods inherited from class VarInfoName.AbstractVisitor

visitAdd, visitField, visitPoststate, visitPrestate, visitSizeOf, visitTypeOf

Methods inherited from class Object

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

Constructor Detail

SimpleNamesVisitor

public SimpleNamesVisitor(VarInfoName root)

Method Detail

simples

public Set<String> simples()

Returns collection of simple identifiers used in this expression, as Strings. (Used, for instance, to check for conflict with a quantifier variable name.)

Returns:

collection of simple identifiers used in this expression, as Strings

visitSimple

public VarInfoName.NoReturnValue visitSimple(VarInfoName.Simple o)

Specified by:

visitSimple in interface VarInfoName.Visitor<VarInfoName.NoReturnValue>

Overrides:

visitSimple in class VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

visitElements

public VarInfoName.NoReturnValue visitElements(VarInfoName.Elements o)

Specified by:

visitElements in interface VarInfoName.Visitor<VarInfoName.NoReturnValue>

Overrides:

visitElements in class VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

visitFunctionOf

public VarInfoName.NoReturnValue visitFunctionOf(VarInfoName.FunctionOf o)

Specified by:

visitFunctionOf in interface VarInfoName.Visitor<VarInfoName.NoReturnValue>

Overrides:

visitFunctionOf in class VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

visitFunctionOfN

public VarInfoName.NoReturnValue 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.NoReturnValue>

Overrides:

visitFunctionOfN in class VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

visitSubscript

public VarInfoName.NoReturnValue visitSubscript(VarInfoName.Subscript o)

Specified by:

visitSubscript in interface VarInfoName.Visitor<VarInfoName.NoReturnValue>

Specified by:

visitSubscript in class VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>

visitSlice

public VarInfoName.NoReturnValue visitSlice(VarInfoName.Slice o)

Specified by:

visitSlice in interface VarInfoName.Visitor<VarInfoName.NoReturnValue>

Specified by:

visitSlice in class VarInfoName.AbstractVisitor<VarInfoName.NoReturnValue>