| Package | Description |
|---|---|
| com.google.gwt.dev.jjs.impl.gflow.constants |
| Modifier and Type | Field and Description |
|---|---|
static ConstantsAssumption |
ConstantsAssumption.TOP
A TOP for the lattice.
|
| Modifier and Type | Method and Description |
|---|---|
ConstantsAssumption |
ConstantsAssumption.join(ConstantsAssumption other) |
ConstantsAssumption |
ConstantsAssumption.Updater.unwrap() |
| Modifier and Type | Method and Description |
|---|---|
static JValueLiteral |
ExpressionEvaluator.evaluate(JExpression expression,
ConstantsAssumption assumptions) |
ConstantsAssumption |
ConstantsAssumption.join(ConstantsAssumption other) |
| Modifier and Type | Method and Description |
|---|---|
void |
ConstantsFlowFunction.interpret(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsIntegratedFlowFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
void |
ConstantsAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
TransformationFunction.Transformation<CfgTransformer,Cfg> |
ConstantsTransformationFunction.transform(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,ConstantsAssumption> assumptionMap) |
| Constructor and Description |
|---|
ConstantsAssumption(ConstantsAssumption a) |
Updater(ConstantsAssumption assumption) |
Copyright © 2018. All rights reserved.