Modifier and Type | Class and Description |
---|---|
class |
CombinedIntegratedAnalysis<N,E,T,G extends Graph<N,E,T>>
Integrated analysis, which combines several other integrated analyses into
one.
|
Modifier and Type | Method and Description |
---|---|
void |
CombinedIntegratedAnalysis.addAnalysis(IntegratedAnalysis<N,E,T,G,?> analysis)
Adds analysis to the combined one.
|
static <N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>> |
AnalysisSolver.solveIntegrated(G g,
IntegratedAnalysis<N,E,T,G,A> analysis,
boolean forward)
Solve a integrated analysis.
|
Modifier and Type | Class and Description |
---|---|
class |
ConstantsAnalysis
Constant propagation optimization.
|
Modifier and Type | Class and Description |
---|---|
class |
CopyAnalysis
Analysis which detects that one variable is the copy of the other,
and uses older var instead.
|
Modifier and Type | Class and Description |
---|---|
class |
LivenessAnalysis
Analysis which detects when variable is not used after the assignment,
and eliminates assignment.
|
Modifier and Type | Class and Description |
---|---|
class |
UnreachableAnalysis |
Copyright © 2018. All rights reserved.