Class Builder

Constructs the CFG

Index

Constructors

Methods

withCluster addNode cloneNode addMarker addEdge getGraph setDefault

Constructors

constructor

new Builder(): Builder
Returns Builder

Methods

withCluster

withCluster<T>(type: ClusterType, fn: (cluster: Cluster) => T): T
Calls the function within the context of a cluster. Clusters are used for representing context managers and exceptions.

Clustered can be nested.
Type Parameters
- T
Parameters
- type: ClusterType
  The type of the cluster.
- fn: (cluster: Cluster) => T
  The function to run in the context of the cluster.
Returns T
- Defined in builder.ts:50

addNode

addNode(type: NodeType, code: string, startOffset: number): string
Add a node to the CFG
Parameters
- type: NodeType
- code: string
- startOffset: number
  The offset in the code for which the node is generated
Returns string
- Defined in builder.ts:65

cloneNode

cloneNode(node: string, overrides?: { cluster: Cluster }): string
Clones a node.

Useful for finally blocks, where the "same" node exists in multiple paths.
Parameters
- node: string
  The node to clone
- Optionaloverrides: { cluster: Cluster }
  Node attributes to override
Returns string
- Defined in builder.ts:88

addMarker

addMarker(node: string, marker: string): void
Marks a given node.

This is currently only used for testing, to denote nodes of interest for reachability tests.
Parameters
- node: string
  The node to mark
- marker: string
  The desired marker
Returns void
- Defined in builder.ts:107

addEdge

addEdge(source: string, target: string, type?: EdgeType): void
Adds an edge to the CFG
Parameters
- source: string
  Source node
- target: string
  Target node
- type: EdgeType = "regular"
  Edge type
Returns void
- Defined in builder.ts:117

getGraph

getGraph(): CFGGraph
Returns the current CFG

Returns CFGGraph
- Defined in builder.ts:130

setDefault

setDefault(node: string, defaults: Partial<GraphNode>): void
Sets node attributes if they are not yet set (make them default to a value).
Parameters
- node: string
  The node to modify
- defaults: Partial<GraphNode>
  Attributes to set
Returns void
- Defined in builder.ts:139