daikon.inv
Class ValueSet

Object
  LimitedSizeIntSet
      ValueSet

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

ValueSet.ValueSetFloat, ValueSet.ValueSetFloatArray, ValueSet.ValueSetScalar, ValueSet.ValueSetScalarArray, ValueSet.ValueSetString, ValueSet.ValueSetStringArray

public abstract class ValueSet
extends LimitedSizeIntSet
implements Serializable, Cloneable

ValueSet stores a set of unique integers. When adding a value, for efficiency its hash code is added rather than the value itself. If the set size exceeds a specified limit, then its rep is nulled.

This class is used for efficient justification tests. Relevant subclasses are: ValueSetScalar ValueSetFloat ValueSetScalarArray ValueSetFloatArray ValueSetString ValueSetStringArray

See Also:

Serialized Form

Nested Class Summary

static class	ValueSet.ValueSetFloat
static class	ValueSet.ValueSetFloatArray
static class	ValueSet.ValueSetScalar
static class	ValueSet.ValueSetScalarArray
static class	ValueSet.ValueSetString
static class	ValueSet.ValueSetStringArray

Field Summary

Fields inherited from class LimitedSizeIntSet

values

Constructor Summary

ValueSet(int max_values)

Method Summary

protected abstract void	add_stats(ValueSet other) Add stats from the specified value set.
abstract void	add(Object v1) Track the specified object.
void	add(ValueSet other)
static ValueSet	factory(VarInfo var_info)
abstract String	repr_short() Returns a short description of the values seen.

Methods inherited from class LimitedSizeIntSet

add, addAll, clone, contains, max_size, merge, repNulled, size, toString

Methods inherited from class Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ValueSet

public ValueSet(int max_values)

Method Detail

factory

public static ValueSet factory(VarInfo var_info)

add

public abstract void add(Object v1)

Track the specified object.

add_stats

protected abstract void add_stats(ValueSet other)

Add stats from the specified value set.

repr_short

public abstract String repr_short()

Returns a short description of the values seen.

add

public void add(ValueSet other)