Package daikon
Class VarInfoName.IsAllNonPoststateVisitor
- Object
-
- VarInfoName.AbstractVisitor<Boolean>
-
- VarInfoName.BooleanAndVisitor
-
- IsAllNonPoststateVisitor
-
- All Implemented Interfaces:
VarInfoName.Visitor<Boolean>
- Enclosing class:
- VarInfoName
public static class VarInfoName.IsAllNonPoststateVisitor extends VarInfoName.BooleanAndVisitor
-
-
Constructor Summary
Constructors Constructor Description IsAllNonPoststateVisitor(VarInfoName vin)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Boolean
visitPoststate(VarInfoName.Poststate 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, visitPrestate, visitSizeOf, visitTypeOf
-
-
-
-
Constructor Detail
-
IsAllNonPoststateVisitor
public IsAllNonPoststateVisitor(VarInfoName vin)
-
-
Method Detail
-
visitSimple
public Boolean visitSimple(VarInfoName.Simple o)
- Specified by:
visitSimple
in interfaceVarInfoName.Visitor<Boolean>
- Overrides:
visitSimple
in classVarInfoName.AbstractVisitor<Boolean>
-
visitPoststate
public Boolean visitPoststate(VarInfoName.Poststate o)
- Specified by:
visitPoststate
in interfaceVarInfoName.Visitor<Boolean>
- Overrides:
visitPoststate
in classVarInfoName.AbstractVisitor<Boolean>
-
-