Package | Description |
---|---|
com.google.gwt.dev.jjs.impl.gflow | |
com.google.gwt.dev.jjs.impl.gflow.cfg |
Modifier and Type | Interface and Description |
---|---|
interface |
Analysis<N,E,G extends Graph<N,E,?>,A extends Assumption<A>>
A simple, non-transforming flow analysis.
|
class |
AnalysisSolver<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
A solver to solve all kinds of analyses defined in the package.
|
class |
CombinedIntegratedAnalysis<N,E,T,G extends Graph<N,E,T>>
Integrated analysis, which combines several other integrated analyses into
one.
|
interface |
FlowFunction<N,E,G extends Graph<N,E,?>,A extends Assumption<A>>
A flow function receives node assumptions and transforms them according to
node semantics.
|
interface |
IntegratedAnalysis<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
Integrated analysis combines analysis with transformation as described in
Lerner et al.
|
interface |
IntegratedFlowFunction<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
Integrated flow function should either interpret the node, or produce
node transformation based on already computed assumptions.
|
interface |
TransformationFunction<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
Transformation function defines an optional transformation of a graph node
based on node assumptions.
|
static interface |
TransformationFunction.Transformation<T,G extends Graph<?,?,T>>
Transformation defines new subgraph replacement for a node, and
transformation which will be applied during the last (actualizing) step
of analysis.
|
Modifier and Type | Method and Description |
---|---|
static <N,E,T,G extends Graph<N,E,T>> |
CombinedIntegratedAnalysis.createAnalysis()
Factory method.
|
static <N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>> |
AnalysisSolver.solve(G g,
Analysis<N,E,G,A> analysis,
boolean forward)
Solve a non-integrated analysis.
|
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 |
Cfg
Control flow graph representation for gflow framework.
|
Copyright © 2018. All rights reserved.