AndJoiner |
This is a special invariant used internally by Daikon to represent an antecedent invariant in an
implication where that antecedent consists of two invariants anded together.
|
DiscardCode |
DiscardCode is an enumeration type.
|
DiscardInfo |
A class used for holding a DiscardCode and a string that contains more detailed information about
why an Invariant was discarded, as well as the classname and what would be returned by the
Invariant's format() method.
|
DummyInvariant |
This is a special invariant used internally by Daikon to represent invariants whose meaning
Daikon doesn't understand.
|
Equality |
Keeps track of sets of variables that are equal.
|
GuardingImplication |
This is a special implication invariant that guards any invariants that are over variables that
are sometimes missing.
|
Implication |
The Implication invariant class is used internally within Daikon to handle invariants that are
only true when certain other conditions are also true (splitting).
|
Invariant |
Base implementation for Invariant objects.
|
Invariant.ClassVarnameComparator |
|
Invariant.ClassVarnameFormulaComparator |
Orders invariants by class, then variable names, then formula.
|
Invariant.InvariantComparatorForPrinting |
Compare based on arity, then printed representation.
|
Invariant.Match |
Class used as a key to store invariants in a MAP where their equality depends on the invariant
representing the same invariant (i.e., their class is the same) and the same internal state
(when multiple invariants with the same class are possible)
|
InvariantInfo |
Container class for holding all info needed to describe an Invariant.
|
InvDef |
Class that defines an invariant so that it can be searched for as part of suppression.
|
Joiner |
|
ValueSet |
ValueSet stores a set of values.
|
ValueSet.ValueSetFloat |
|
ValueSet.ValueSetFloatArray |
|
ValueSet.ValueSetScalar |
|
ValueSet.ValueSetScalarArray |
|
ValueSet.ValueSetString |
|
ValueSet.ValueSetStringArray |
|