| CAstRewriterExt |
Extension of CAstRewriter which allows adding or deleting control flow edges, and keeps
track of the current entity.
|
| CAstRewriterExt.Edge |
A control flow edge to be added to the CFG.
|
| ChildPos |
A NodePos for a non-root node; includes information about the parent node, the child
index, and the position of the parent node.
|
| ClosureExtractor |
A CAst rewriter for extracting bits of code into one-shot closures.
|
| CorrelatedPairExtractionPolicy |
|
| CorrelatedPairExtractorFactory |
|
| ExtractionPolicy |
An extraction policy tells a ClosureExtractor which bits of code to extract into
closures.
|
| ExtractionPolicyFactory |
|
| ExtractionPos |
A special ChildPos representing the position of a node which is the body of a for-in
loop.
|
| ExtractionRegion |
|
| ForInBodyExtractionPolicy |
|
| LabelPos |
A NodePos for a node that labels a CFG edge; currently only seems to occur with 'switch'
statements.
|
| NodeLabeller |
A node labeller keeps a mapping from nodes to integers to allow consistent labelling of nodes.
|
| NodePos |
Representation of a node's position in a CAst entity's syntax tree.
|
| PosSwitch<A> |
|
| RootPos |
|
| TwoLevelExtractionRegion |
|