Package-level declarations
Types
Measures the time between creating the object to calling its stop() method.
Class used to encapsulate functions used for the heuristic comment matching. Comments are matched to the closest AST node with priority on predecessor nodes in the same line as the comment, then successor nodes and lastly enclosing nodes.
Find the common root path for a list of files
This class implements the MutableSet interface with an underlying map and reference-equality instead of object-equality. That means, objects are only considered equal, if they are the same object. This logic is primarily implemented by the underlying IdentityHashMap.
Represents some kind of measurements, e.g., on the performance or problems.
Implements the LatticeElement for a lattice over a set of nodes. The lattice itself is constructed by the powerset.
Stores the current state. I.e., it maps K (e.g. a Node or Edge) to a LatticeElement. It provides some useful functions e.g. to check if the mapping has to be updated (e.g. because there are new nodes or because a new lattice element is bigger than the old one).
Interface definition to hold different statistics about the translation process.
Helper class for graph walking: Walking through ast-, cfg-, ...- edges
Functions
Returns the part of the code described by subRegion, embedded in nodeRegion. newLineType can be used to specify the type of new-line char(s) used on the platform.
Iterates through the worklist of the Evaluation Order Graph starting at startNode and with the State. For each node, the transformation is applied which should update the state.