Package daikon.inv.unary
Interface OneOf
-
- All Known Implementing Classes:
EltOneOf
,EltOneOfFloat
,EltOneOfString
,OneOfFloat
,OneOfFloatSequence
,OneOfScalar
,OneOfSequence
,OneOfString
,OneOfStringSequence
public interface OneOf
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Object
elt()
The single value represented by the OneOf invariant.int
num_elts()
The number of elements in the OneOf invariant.VarInfo
var()
-
-
-
Method Detail
-
num_elts
int num_elts()
The number of elements in the OneOf invariant.
-
elt
Object elt()
The single value represented by the OneOf invariant. Throws an error if not exactly one value is represented by this.
-
var
VarInfo var(@GuardSatisfied @UnknownInitialization(OneOf.class) OneOf this)
-
-