Package daikon
Class VarInfoName.BooleanAndVisitor
- Object
-
- VarInfoName.AbstractVisitor<Boolean>
-
- BooleanAndVisitor
-
- All Implemented Interfaces:
VarInfoName.Visitor<Boolean>
- Direct Known Subclasses:
VarInfoName.IsAllNonPoststateVisitor
,VarInfoName.IsAllPrestateVisitor
- Enclosing class:
- VarInfoName
public abstract static class VarInfoName.BooleanAndVisitor extends VarInfoName.AbstractVisitor<Boolean>
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
BooleanAndVisitor(VarInfoName name)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
result()
Boolean
visitFunctionOfN(VarInfoName.FunctionOfN o)
By default, return effect on first argument, but traverse all, backwards.Boolean
visitSlice(VarInfoName.Slice o)
Boolean
visitSubscript(VarInfoName.Subscript o)
-
Methods inherited from class VarInfoName.AbstractVisitor
visitAdd, visitElements, visitField, visitFunctionOf, visitPoststate, visitPrestate, visitSimple, visitSizeOf, visitTypeOf
-
-
-
-
Constructor Detail
-
BooleanAndVisitor
protected BooleanAndVisitor(VarInfoName name)
-
-
Method Detail
-
result
public boolean result()
-
visitFunctionOfN
public Boolean 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 interfaceVarInfoName.Visitor<Boolean>
- Overrides:
visitFunctionOfN
in classVarInfoName.AbstractVisitor<Boolean>
-
visitSubscript
public Boolean visitSubscript(VarInfoName.Subscript o)
- Specified by:
visitSubscript
in interfaceVarInfoName.Visitor<Boolean>
- Specified by:
visitSubscript
in classVarInfoName.AbstractVisitor<Boolean>
-
visitSlice
public Boolean visitSlice(VarInfoName.Slice o)
- Specified by:
visitSlice
in interfaceVarInfoName.Visitor<Boolean>
- Specified by:
visitSlice
in classVarInfoName.AbstractVisitor<Boolean>
-
-