Package daikon
Class Quantify.QuantifyReturn
- Object
-
- QuantifyReturn
-
- Enclosing class:
- Quantify
public static class Quantify.QuantifyReturn extends Object
-
-
Field Summary
Fields Modifier and Type Field Description @Nullable Quantify.Term
index
Index into the variable.VarInfo
var
Variable being quantified.
-
Constructor Summary
Constructors Constructor Description QuantifyReturn(VarInfo var)
-
-
-
Field Detail
-
index
public @Nullable Quantify.Term index
Index into the variable. If null, variable is not a sequence.
-
-
Constructor Detail
-
QuantifyReturn
public QuantifyReturn(VarInfo var)
-
-