Package daikon

Class VarInfoName.ElementsFinder

Object

VarInfoName.AbstractVisitor<VarInfoName.Elements>

ElementsFinder

All Implemented Interfaces:

VarInfoName.Visitor<VarInfoName.Elements>

Enclosing class:

VarInfoName

public static class VarInfoName.ElementsFinder
extends VarInfoName.AbstractVisitor<VarInfoName.Elements>

Use to traverse a tree, find the first (elements ...) node, and report whether it's in pre or post-state.

Constructor Summary

Constructors

Constructor	Description
ElementsFinder(VarInfoName name)

Method Summary

Modifier and Type	Method	Description
VarInfoName.Elements	elems()
boolean	inPre()
VarInfoName.Elements	visitElements(VarInfoName.Elements o)
VarInfoName.Elements	visitFunctionOfN(VarInfoName.FunctionOfN o)	By default, return effect on first argument, but traverse all, backwards.
VarInfoName.Elements	visitPoststate(VarInfoName.Poststate o)
VarInfoName.Elements	visitPrestate(VarInfoName.Prestate o)
VarInfoName.Elements	visitSlice(VarInfoName.Slice o)
VarInfoName.Elements	visitSubscript(VarInfoName.Subscript o)

Methods inherited from class VarInfoName.AbstractVisitor

visitAdd, visitField, visitFunctionOf, visitSimple, visitSizeOf, visitTypeOf

Methods inherited from class Object

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

Constructor Detail

ElementsFinder

public ElementsFinder(VarInfoName name)

Method Detail

inPre

public boolean inPre()

elems

public VarInfoName.Elements elems()

visitFunctionOfN

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

Overrides:

visitFunctionOfN in class VarInfoName.AbstractVisitor<VarInfoName.Elements>

visitPrestate

public VarInfoName.Elements visitPrestate(VarInfoName.Prestate o)

Specified by:

visitPrestate in interface VarInfoName.Visitor<VarInfoName.Elements>

Overrides:

visitPrestate in class VarInfoName.AbstractVisitor<VarInfoName.Elements>

visitPoststate

public VarInfoName.Elements visitPoststate(VarInfoName.Poststate o)

Specified by:

visitPoststate in interface VarInfoName.Visitor<VarInfoName.Elements>

Overrides:

visitPoststate in class VarInfoName.AbstractVisitor<VarInfoName.Elements>

visitElements

public VarInfoName.Elements visitElements(VarInfoName.Elements o)

Specified by:

visitElements in interface VarInfoName.Visitor<VarInfoName.Elements>

Overrides:

visitElements in class VarInfoName.AbstractVisitor<VarInfoName.Elements>

visitSubscript

public VarInfoName.Elements visitSubscript(VarInfoName.Subscript o)

Specified by:

visitSubscript in interface VarInfoName.Visitor<VarInfoName.Elements>

Specified by:

visitSubscript in class VarInfoName.AbstractVisitor<VarInfoName.Elements>

visitSlice

public VarInfoName.Elements visitSlice(VarInfoName.Slice o)

Specified by:

visitSlice in interface VarInfoName.Visitor<VarInfoName.Elements>

Specified by:

visitSlice in class VarInfoName.AbstractVisitor<VarInfoName.Elements>