public class ExceptionalUnitGraphFactory extends Object
| Constructor and Description |
|---|
ExceptionalUnitGraphFactory(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
static ExceptionalUnitGraph |
createExceptionalUnitGraph(Body body) |
static ExceptionalUnitGraph |
createExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis) |
static ExceptionalUnitGraph |
createExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis,
boolean omitExceptingUnitEdges) |
protected ExceptionalUnitGraph |
newExceptionalUnitGraph(Body body,
ThrowAnalysis throwAnalysis,
boolean omitExceptingUnitEdges) |
static ExceptionalUnitGraphFactory |
v() |
public ExceptionalUnitGraphFactory(Singletons.Global g)
public static ExceptionalUnitGraphFactory v()
public static ExceptionalUnitGraph createExceptionalUnitGraph(Body body)
public static ExceptionalUnitGraph createExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis)
public static ExceptionalUnitGraph createExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)
protected ExceptionalUnitGraph newExceptionalUnitGraph(Body body, ThrowAnalysis throwAnalysis, boolean omitExceptingUnitEdges)
Copyright © 2024 Soot OSS. All rights reserved.