|
Class Summary |
| 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. |
| FeatureExtractor |
An invariant feature extractor. |
| FeatureExtractor.ClassifyInvariants |
A tool for classifying SVMfu and C5 files. |
| FeatureExtractor.CombineFiles |
A tool for combining and normalizing multiple SVMfu and C5 files. |
| 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)
Note that this is based on the Invariant type (i.e., class) and the
internal state and not on what ppt the invariant is in or what
variables it is over. |
| InvariantInfo |
Container class for holding all info needed to describe an Invariant. |
| Invariants |
This is essentially a collection of Invariant objects, but with a few
convenience methods. |
| InvariantStatus |
This class is an enumerated type representing the possible results of
adding an sample to an invariant. |
| InvDef |
Class that defines an invariant so that it can be searched for as
part of suppression. |
| IsEqualityComparison |
This Filter returns true if its argument is an Invariant which satisfies
the following conditions:
the Invariant is a Comparison (which reports <, >, =, <=, or >=)
the relationship reported by the comparison is = (not <, <=, >, or >=)
This does not consider PairwiseIntComparison to be an equality invariant. |
| Joiner |
|
| ValueSet |
ValueSet stores a set of unique integers. |
| ValueSet.ValueSetFloat |
|
| ValueSet.ValueSetFloatArray |
|
| ValueSet.ValueSetScalar |
|
| ValueSet.ValueSetScalarArray |
|
| ValueSet.ValueSetString |
|
| ValueSet.ValueSetStringArray |
|