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.