DAGTransform

java.lang.Object
- com.kcsl.paths.transforms.DAGTransform

All Implemented Interfaces:: ProgramGraphTransform

public class DAGTransform
extends java.lang.Object
implements ProgramGraphTransform

Field Summary

Fields
Modifier and Type Field Description

static java.lang.String REDIRECTED_CONTROL_FLOW_BACK_EDGE

Constructor Summary

Constructors
Constructor Description

DAGTransform()

Method Summary

Modifier and Type	Method	Description
`com.ensoftcorp.atlas.core.query.Q`	`transform(com.ensoftcorp.atlas.core.query.Q cfg)`	Transforms a CFG to an acyclic graph by redirecting control flow back edges to loop successors that are 1) not inside the loop body and 2) not inside trap regions (exception handlers).

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

- Field Detail
  - REDIRECTED_CONTROL_FLOW_BACK_EDGE
```
public static final java.lang.String REDIRECTED_CONTROL_FLOW_BACK_EDGE
```
    See Also:
    
    Constant Field Values
- Constructor Detail
  - DAGTransform
```
public DAGTransform()
```
- Method Detail
  - transform
```
public com.ensoftcorp.atlas.core.query.Q transform(com.ensoftcorp.atlas.core.query.Q cfg)
```
    Transforms a CFG to an acyclic graph by redirecting control flow back edges to loop successors that are 1) not inside the loop body and 2) not inside trap regions (exception handlers).
    
    Specified by:
    
    transform in interface ProgramGraphTransform
    
    Parameters:
    
    cfg -
    
    Returns: