| Class | Description |
|---|---|
| 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 |
An
ExtractionPolicy that specifies that correlated pairs should be extracted. |
| 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 |
A region for the
ClosureExtractor to extract. |
| ForInBodyExtractionPolicy |
A policy telling a
ClosureExtractor to extract the body of every for-in loop. |
| 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 |
Copyright © 2017. All rights reserved.