ControlFlowGraphPass (cpg 1.4.0 API)

java.lang.Object
- de.fraunhofer.aisec.cpg.passes.Pass
- - de.fraunhofer.aisec.cpg.passes.ControlFlowGraphPass

All Implemented Interfaces:

java.util.function.Consumer<TranslationResult>
```
public class ControlFlowGraphPass
extends Pass
```
Creates a simple control flow graph (CFG) based on AST.
The CFG is a directed cyclic graph with Node representing statements and edges representing the program control flow.
- Return statements will have no successors.
- Branch statements (if/switch/exception traps) will have multiple successors.
- Simple statements will have their following statement as sole successor
- break / continue will create respective edges

Field Summary
- Fields inherited from class de.fraunhofer.aisec.cpg.passes.Pass
  lang

Constructor Summary

Constructors
Constructor Description

ControlFlowGraphPass()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`accept(TranslationResult t)`
`void`	`addTodo(int index, Statement... statements)`	Adds statements to this.remaining, omitting null.
`void`	`addTodo(int index, java.util.List<Statement> stmts)`
`void`	`cleanup()`

Methods inherited from class de.fraunhofer.aisec.cpg.passes.Pass
getLang, setLang, supportsLanguageFrontend

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.function.Consumer
andThen

Constructor Detail
- ControlFlowGraphPass
```
public ControlFlowGraphPass()
```

Method Detail

cleanup
```
public void cleanup()
```
Specified by:

cleanup in class Pass

accept

public void accept(TranslationResult t)

addTodo

public void addTodo(int index,
                    java.util.List<Statement> stmts)

addTodo
```
public void addTodo(int index,
                    Statement... statements)
```
Adds statements to this.remaining, omitting null.

Parameters:

index - the index

statements - the statements to add