| ConsequentCVFPairComparator |
Comparator for sorting invariants.
|
| ConsequentCVFSortComparator |
Comparator for sorting invariants.
|
| ConsequentExtractorVisitor |
ConsequentExtractorVisitor is a visitor that takes in RootNode tree used by the other
visitors in Diff and only modifies the first inv tree out of the pair of two inv trees (the
second tree is never read or modified).
|
| ConsequentPairComparator |
Comparator for pairing invariants.
|
| ConsequentSortComparator |
Comparator for sorting invariants.
|
| DepthFirstVisitor |
Provides default methods which visit each node in the tree in depth-first order.
|
| DetailedStatisticsVisitor |
Computes statistics about the differences between the sets of invariants.
|
| Diff |
Diff is the main class for the invariant diff program.
|
| InvMap |
Maps ppts to lists of invariants.
|
| InvNode |
Contains a pair of Invariants.
|
| MatchCountVisitor |
MatchCountVisitor is a visitor that almost does the opposite of PrintDifferingInvariantsVisitor.
|
| MinusVisitor |
Computes A - B, where A and B are the two sets of invariants.
|
| MultiDiff |
MultiDiff is an executable application that performs the same functionality as Diff with a
few key change.
|
| MultiDiffVisitor |
MultiDiffVisitor is a state-storing NodeVisitor that works across multiple files
regardless of the current two-file infrastructure.
|
| Node<CONTENT extends @Nullable Object,CHILD> |
All nodes must subclass this class.
|
| PptNode |
Contains a pair of Ppts.
|
| PrintAllVisitor |
Prints all the invariant pairs, including pairs containing identical invariants.
|
| PrintDifferingInvariantsVisitor |
Prints the differing invariant pairs.
|
| PrintNullDiffVisitor |
PrintNullDiffVIsitor is a NodeVisitor that only reports an invariant as different when its
existence in one set is not in another set.
|
| RootNode |
The root of the tree.
|
| UnionVisitor |
Computes A union B, where A and B are the two sets of invariants.
|
| XorInvariantsVisitor |
XorInvariantsVisitor is a visitor that performs a standard Diff on two PptMaps, that is,
finds the set of Invariants in the XOR set of two PptMaps.
|
| XorVisitor |
Computes A xor B, where A and B are the two sets of invariants.
|