Package | Description |
---|---|
com.google.gwt.dev.jjs.impl.gflow.unreachable |
Modifier and Type | Field and Description |
---|---|
static UnreachableAssumptions |
UnreachableAssumptions.REACHABLE |
static UnreachableAssumptions |
UnreachableAssumptions.UNREACHABLE |
Modifier and Type | Method and Description |
---|---|
UnreachableAssumptions |
UnreachableAssumptions.join(UnreachableAssumptions value) |
Modifier and Type | Method and Description |
---|---|
IntegratedFlowFunction<CfgNode<?>,CfgEdge,CfgTransformer,Cfg,UnreachableAssumptions> |
UnreachableAnalysis.getIntegratedFlowFunction() |
Modifier and Type | Method and Description |
---|---|
static boolean |
UnreachableAssumptions.isReachable(UnreachableAssumptions in) |
UnreachableAssumptions |
UnreachableAssumptions.join(UnreachableAssumptions value) |
Modifier and Type | Method and Description |
---|---|
TransformationFunction.Transformation<CfgTransformer,Cfg> |
UnreachabeIntegratedTransformationFunction.interpretOrReplace(CfgNode<?> node,
Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
void |
UnreachableAnalysis.setInitialGraphAssumptions(Cfg graph,
AssumptionMap<CfgEdge,UnreachableAssumptions> assumptionMap) |
Copyright © 2018. All rights reserved.