Package daikon
Class VarInfoName.IsAllPrestateVisitor
- Object
-
- VarInfoName.AbstractVisitor<Boolean>
-
- VarInfoName.BooleanAndVisitor
-
- IsAllPrestateVisitor
-
- All Implemented Interfaces:
VarInfoName.Visitor<Boolean>
- Enclosing class:
- VarInfoName
public static class VarInfoName.IsAllPrestateVisitor extends VarInfoName.BooleanAndVisitor
-
-
Constructor Summary
Constructors Constructor Description IsAllPrestateVisitor(VarInfoName vin)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Boolean
visitPrestate(VarInfoName.Prestate o)
Boolean
visitSimple(VarInfoName.Simple o)
-
Methods inherited from class VarInfoName.BooleanAndVisitor
result, visitFunctionOfN, visitSlice, visitSubscript
-
Methods inherited from class VarInfoName.AbstractVisitor
visitAdd, visitElements, visitField, visitFunctionOf, visitPoststate, visitSizeOf, visitTypeOf
-
-
-
-
Constructor Detail
-
IsAllPrestateVisitor
public IsAllPrestateVisitor(VarInfoName vin)
-
-
Method Detail
-
visitSimple
public Boolean visitSimple(VarInfoName.Simple o)
- Specified by:
visitSimple
in interfaceVarInfoName.Visitor<Boolean>
- Overrides:
visitSimple
in classVarInfoName.AbstractVisitor<Boolean>
-
visitPrestate
public Boolean visitPrestate(VarInfoName.Prestate o)
- Specified by:
visitPrestate
in interfaceVarInfoName.Visitor<Boolean>
- Overrides:
visitPrestate
in classVarInfoName.AbstractVisitor<Boolean>
-
-