|
Class Summary |
| 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. |
| MatchCountVisitor2 |
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,CHILD> |
All nodes must subclass this class. |
| PptCountVisitor |
PptCountVisitor is currently not documented. |
| 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. |