daikon.inv
Interface OneOf

All Known Implementing Classes:

EltOneOf, EltOneOfFloat, EltOneOfString, OneOfFloat, OneOfFloatSequence, OneOfScalar, OneOfSequence, OneOfString, OneOfStringSequence

public interface OneOf

Method Summary

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()